CBMC
|
#include <typecheck.h>
Classes | |
class | errort |
Public Member Functions | |
typecheckt (message_handlert &_message_handler) | |
virtual | ~typecheckt () |
virtual bool | typecheck_main () |
Protected Member Functions | |
virtual void | typecheck ()=0 |
Additional Inherited Members |
Definition at line 15 of file typecheck.h.
|
inlineexplicit |
Definition at line 18 of file typecheck.h.
|
inlinevirtual |
Definition at line 23 of file typecheck.h.
|
protectedpure virtual |
Implemented in c_typecheck_baset, statement_list_typecheckt, cpp_typecheckt, ansi_c_typecheckt, and java_bytecode_typecheckt.
|
virtual |
Definition at line 14 of file typecheck.cpp.