9 #ifndef CPROVER_UTIL_VALIDATE_EXPRESSIONS_H 10 #define CPROVER_UTIL_VALIDATE_EXPRESSIONS_H void validate_expr(const exprt &expr, const namespacet &ns, const validation_modet vm)
Check that the given expression is well-formed, assuming that its subexpression and type have already...
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void validate_full_expr(const exprt &expr, const namespacet &ns, const validation_modet vm)
Check that the given expression is well-formed (full check, including checks of all subexpressions an...
Base class for all expressions.
void check_expr(const exprt &expr, const validation_modet vm)
Check that the given expression is well-formed (shallow checks only, i.e., subexpressions and its typ...