12 #ifndef CPROVER_CPP_CPP_TYPECHECK_FARGS_H 13 #define CPROVER_CPP_CPP_TYPECHECK_FARGS_H 64 #endif // CPROVER_CPP_CPP_TYPECHECK_FARGS_H
bool match(const code_typet &code_type, unsigned &distance, cpp_typecheckt &cpp_typecheck) const
exprt::operandst operands
bool cpp_typecheck(cpp_parse_treet &cpp_parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
cpp_typecheck_fargst(const side_effect_expr_function_callt &function_call)
void add_object(const exprt &expr)
std::vector< exprt > operandst
bool has_class_type() const
A function call side effect.
Base class for all expressions.
void build(const side_effect_expr_function_callt &function_call)