cprover
|
Jsil Language. More...
Go to the source code of this file.
Classes | |
class | jsil_typecheckt |
Functions | |
bool | jsil_typecheck (symbol_table_baset &symbol_table, message_handlert &message_handler) |
bool | jsil_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns) |
Jsil Language.
Definition in file jsil_typecheck.h.
bool jsil_typecheck | ( | exprt & | expr, |
message_handlert & | message_handler, | ||
const namespacet & | ns ) |
Definition at line 901 of file jsil_typecheck.cpp.
bool jsil_typecheck | ( | symbol_table_baset & | symbol_table, |
message_handlert & | message_handler ) |
Definition at line 893 of file jsil_typecheck.cpp.