cprover
|
Jsil Language. More...
Go to the source code of this file.
Functions | |
void | jsil_internal_additions (symbol_tablet &dest) |
Jsil Language.
Definition in file jsil_internal_additions.h.
void jsil_internal_additions | ( | symbol_tablet & | dest | ) |
Definition at line 22 of file jsil_internal_additions.cpp.
References symbol_tablet::add(), symbolt::base_name, CPROVER_PREFIX, symbolt::is_extern, symbolt::is_lvalue, symbolt::is_state_var, symbolt::is_thread_local, symbolt::is_type, jsil_builtin_object_type(), symbolt::mode, symbolt::name, code_typet::parameters(), pointer_type(), signed_int_type(), and symbolt::type.
Referenced by jsil_languaget::interfaces().