10 #ifndef CPROVER_UTIL_TYPECHECK_H 11 #define CPROVER_UTIL_TYPECHECK_H 52 #endif // CPROVER_UTIL_TYPECHECK_H
The type of an expression.
void err_location(const exprt &src)
void err_location(const typet &src)
const source_locationt & find_source_location() const
source_locationt source_location
virtual void typecheck()=0
void err_location(const source_locationt &loc)
const source_locationt & source_location() const
Base class for all expressions.
typecheckt(message_handlert &_message_handler)
virtual bool typecheck_main()