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.
|
protectedvirtual |
Definition at line 24 of file jsil_typecheck.cpp.
|
protectedvirtual |
Definition at line 29 of file jsil_typecheck.cpp.
|
virtual |
Implements typecheckt.
Definition at line 870 of file jsil_typecheck.cpp.
|
protected |
Definition at line 827 of file jsil_typecheck.cpp.
Definition at line 689 of file jsil_typecheck.cpp.
Definition at line 635 of file jsil_typecheck.cpp.
Definition at line 489 of file jsil_typecheck.cpp.
Definition at line 140 of file jsil_typecheck.cpp.
Definition at line 386 of file jsil_typecheck.cpp.
Definition at line 474 of file jsil_typecheck.cpp.
Definition at line 459 of file jsil_typecheck.cpp.
Definition at line 503 of file jsil_typecheck.cpp.
Definition at line 429 of file jsil_typecheck.cpp.
Definition at line 281 of file jsil_typecheck.cpp.
Definition at line 321 of file jsil_typecheck.cpp.
Definition at line 372 of file jsil_typecheck.cpp.
Definition at line 357 of file jsil_typecheck.cpp.
Definition at line 336 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 291 of file jsil_typecheck.cpp.
Definition at line 306 of file jsil_typecheck.cpp.
Definition at line 400 of file jsil_typecheck.cpp.
|
protected |
Definition at line 272 of file jsil_typecheck.cpp.
Definition at line 444 of file jsil_typecheck.cpp.
Definition at line 518 of file jsil_typecheck.cpp.
Definition at line 546 of file jsil_typecheck.cpp.
Definition at line 532 of file jsil_typecheck.cpp.
|
protected |
Definition at line 713 of file jsil_typecheck.cpp.
|
protected |
Definition at line 815 of file jsil_typecheck.cpp.
typechecking procedure declaration; any other symbols should have been typechecked during typechecking of procedure declaration
Definition at line 838 of file jsil_typecheck.cpp.
|
protected |
Definition at line 683 of file jsil_typecheck.cpp.
|
protected |
Definition at line 558 of file jsil_typecheck.cpp.
|
protected |
Definition at line 695 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.