cprover
|
#include <jsil_typecheck.h>
Public Member Functions | |
jsil_typecheckt (symbol_table_baset &_symbol_table, message_handlert &_message_handler) | |
virtual | ~jsil_typecheckt () |
virtual void | typecheck () |
virtual void | typecheck_expr (exprt &expr) |
![]() | |
typecheckt (message_handlert &_message_handler) | |
virtual | ~typecheckt () |
virtual bool | typecheck_main () |
Protected Attributes | |
symbol_table_baset & | symbol_table |
const namespacet | ns |
irep_idt | proc_name |
std::unordered_set< irep_idt > | already_typechecked |
Additional Inherited Members |
Definition at line 40 of file jsil_typecheck.h.
|
inline |
Definition at line 43 of file jsil_typecheck.h.
|
inlinevirtual |
Definition at line 53 of file jsil_typecheck.h.
Prefix parameters and variables with a procedure name.
Definition at line 35 of file jsil_typecheck.cpp.
|
protected |
Definition at line 63 of file jsil_typecheck.cpp.
Definition at line 24 of file jsil_typecheck.cpp.
Definition at line 29 of file jsil_typecheck.cpp.
|
virtual |
Implements typecheckt.
Definition at line 863 of file jsil_typecheck.cpp.
|
protected |
Definition at line 820 of file jsil_typecheck.cpp.
Definition at line 686 of file jsil_typecheck.cpp.
Definition at line 632 of file jsil_typecheck.cpp.
Definition at line 490 of file jsil_typecheck.cpp.
Definition at line 140 of file jsil_typecheck.cpp.
Definition at line 387 of file jsil_typecheck.cpp.
Definition at line 475 of file jsil_typecheck.cpp.
Definition at line 460 of file jsil_typecheck.cpp.
Definition at line 504 of file jsil_typecheck.cpp.
Definition at line 430 of file jsil_typecheck.cpp.
Definition at line 282 of file jsil_typecheck.cpp.
Definition at line 322 of file jsil_typecheck.cpp.
Definition at line 373 of file jsil_typecheck.cpp.
Definition at line 358 of file jsil_typecheck.cpp.
Definition at line 337 of file jsil_typecheck.cpp.
Definition at line 155 of file jsil_typecheck.cpp.
Definition at line 149 of file jsil_typecheck.cpp.
Definition at line 292 of file jsil_typecheck.cpp.
Definition at line 307 of file jsil_typecheck.cpp.
Definition at line 401 of file jsil_typecheck.cpp.
|
protected |
Definition at line 273 of file jsil_typecheck.cpp.
Definition at line 445 of file jsil_typecheck.cpp.
Definition at line 519 of file jsil_typecheck.cpp.
Definition at line 547 of file jsil_typecheck.cpp.
Definition at line 533 of file jsil_typecheck.cpp.
|
protected |
Definition at line 710 of file jsil_typecheck.cpp.
|
protected |
Definition at line 808 of file jsil_typecheck.cpp.
typechecking procedure declaration; any other symbols should have been typechecked during typechecking of procedure declaration
Definition at line 831 of file jsil_typecheck.cpp.
|
protected |
Definition at line 680 of file jsil_typecheck.cpp.
|
protected |
Definition at line 559 of file jsil_typecheck.cpp.
|
protected |
Definition at line 692 of file jsil_typecheck.cpp.
Definition at line 102 of file jsil_typecheck.cpp.
Definition at line 66 of file jsil_typecheck.h.
Definition at line 40 of file jsil_typecheck.cpp.
|
protected |
Definition at line 104 of file jsil_typecheck.h.
|
protected |
Definition at line 60 of file jsil_typecheck.h.
|
protected |
Definition at line 62 of file jsil_typecheck.h.
|
protected |
Definition at line 59 of file jsil_typecheck.h.