cprover
|
Jsil Language. More...
#include "jsil_typecheck.h"
#include <util/symbol_table.h>
#include <util/prefix.h>
#include <util/std_expr.h>
#include "expr2jsil.h"
#include "jsil_types.h"
Go to the source code of this file.
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.cpp.
bool jsil_typecheck | ( | symbol_tablet & | symbol_table, |
message_handlert & | message_handler | ||
) |
Definition at line 913 of file jsil_typecheck.cpp.
References jsil_typecheck(), and typecheckt::typecheck_main().
Referenced by jsil_typecheck(), jsil_languaget::to_expr(), and jsil_languaget::typecheck().
bool jsil_typecheck | ( | exprt & | expr, |
message_handlert & | message_handler, | ||
const namespacet & | ns | ||
) |
Definition at line 921 of file jsil_typecheck.cpp.
References messaget::eom(), messaget::error(), message_handlert::get_message_count(), jsil_typecheck(), messaget::M_ERROR, jsil_typecheckt::symbol_table, and jsil_typecheckt::typecheck_expr().