cprover
|
Jsil Language. More...
#include <unordered_set>
#include <util/namespace.h>
#include <util/std_code.h>
#include <util/symbol_table_base.h>
#include <util/typecheck.h>
Go to the source code of this file.
Classes | |
class | jsil_typecheckt |
Functions | |
bool | jsil_typecheck (symbol_tablet &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 905 of file jsil_typecheck.cpp.
bool jsil_typecheck | ( | symbol_tablet & | symbol_table, |
message_handlert & | message_handler | ||
) |
Definition at line 897 of file jsil_typecheck.cpp.