cprover
|
Jsil Language. More...
#include "jsil_typecheck.h"
#include <goto-programs/goto_instruction_code.h>
#include <util/bitvector_types.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/symbol_table.h>
#include "expr2jsil.h"
#include "jsil_types.h"
Go to the source code of this file.
Functions | |
bool | jsil_typecheck (symbol_table_baset &symbol_table, message_handlert &message_handler) |
bool | jsil_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &) |
Jsil Language.
Definition in file jsil_typecheck.cpp.
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.