validate_types.cpp File Reference

#include "validate_types.h"
#include "bitvector_types.h"
#include "c_types.h"
#include "validate_helpers.h"

Include dependency graph for validate_types.cpp:

Go to the source code of this file.

Macros
#define	CALL_ON_TYPE(type_type)    C<typet, type_type>()(type, std::forward<Args>(args)...)

Functions
template<template< typename, typename > class C, typename... Args>
void	call_on_type (const typet &type, Args &&... args)
void	check_type (const typet &type, const validation_modet vm)
	Check that the given type is well-formed (shallow checks only, i.e., subtypes are not checked)
void	validate_type (const typet &type, const namespacet &ns, const validation_modet vm)
	Check that the given type is well-formed, assuming that its subtypes have already been checked for well-formedness.
void	validate_full_type (const typet &type, const namespacet &ns, const validation_modet vm)
	Check that the given type is well-formed (full check, including checks of subtypes)

Macro Definition Documentation

CALL_ON_TYPE

#define CALL_ON_TYPE

(

type_type

)

C<typet, type_type>()(type, std::forward<Args>(args)...)

Definition at line 19 of file validate_types.cpp.

Function Documentation

call_on_type()

template<template< typename, typename > class C, typename... Args>

void call_on_type	(	const typet &	type,
		Args &&...	args
	)

Definition at line 23 of file validate_types.cpp.

check_type()

void check_type	(	const typet &	type,
		const validation_modet	vm
	)

Check that the given type is well-formed (shallow checks only, i.e., subtypes are not checked)

The function determines the type T of the type type (by inspecting the id() field) and then calls T::check(type, vm).

The validation mode indicates whether well-formedness check failures are reported via DATA_INVARIANT violations or exceptions.

Definition at line 79 of file validate_types.cpp.

validate_full_type()

void validate_full_type	(	const typet &	type,
		const namespacet &	ns,
		const validation_modet	vm
	)

Check that the given type is well-formed (full check, including checks of subtypes)

The function determines the type T of the type type (by inspecting the id() field) and then calls T::validate_full(type, ns, vm).

The validation mode indicates whether well-formedness check failures are reported via DATA_INVARIANT violations or exceptions.

Definition at line 108 of file validate_types.cpp.

validate_type()

void validate_type	(	const typet &	type,
		const namespacet &	ns,
		const validation_modet	vm
	)

Check that the given type is well-formed, assuming that its subtypes have already been checked for well-formedness.

The function determines the type T of the type type (by inspecting the id() field) and then calls T::validate(type, ns, vm).

The validation mode indicates whether well-formedness check failures are reported via DATA_INVARIANT violations or exceptions.

Definition at line 92 of file validate_types.cpp.