Functions

Check that the given code statement is well-formed (shallow checks only, i.e., enclosed statements, subexpressions, etc.

Check that the given code statement is well-formed, assuming that all its enclosed statements, subexpressions, etc.

Check that the given code statement is well-formed (full check, including checks of all subexpressions)

Function Documentation

void check_code ( const codet & code,

)

Check that the given code statement is well-formed (shallow checks only, i.e., enclosed statements, subexpressions, etc.

are not checked)

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

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

Definition at line 70 of file validate_code.cpp.

void validate_code ( const codet & code,

const namespacet & ns,

)

Check that the given code statement is well-formed, assuming that all its enclosed statements, subexpressions, etc.

have already been checked for well-formedness.

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

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

Definition at line 84 of file validate_code.cpp.

void validate_full_code ( const codet & code,

const namespacet & ns,

)

Check that the given code statement is well-formed (full check, including checks of all subexpressions)

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

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

Definition at line 100 of file validate_code.cpp.