28 symbol.base_name = symbol.name;
29 symbol.is_lvalue=
true;
30 symbol.is_state_var=
true;
31 symbol.is_thread_local=
true;
33 symbol.is_extern=
true;
42 symbolt symbol{
"eval", eval_type,
"jsil"};
51 symbol.base_name=
"nan";
53 symbol.is_extern=
true;
61 symbol.base_name=
"decl_symbol";
63 symbol.is_extern=
true;
68 const std::vector<std::string> builtin_objects=
70 "#lg",
"#lg_isNan",
"#lg_isFinite",
"#lop",
"#lop_toString",
71 "#lop_valueOf",
"#lop_isPrototypeOf",
"#lfunction",
"#lfp",
72 "#leval",
"#lerror",
"#lep",
"#lrerror",
"#lrep",
"#lterror",
73 "#ltep",
"#lserror",
"#lsep",
"#levalerror",
"#levalerrorp",
74 "#lrangeerror",
"#lrangeerrorp",
"#lurierror",
"#lurierrorp",
75 "#lobject",
"#lobject_get_prototype_of",
"#lboolean",
"#lbp",
76 "#lbp_toString",
"#lbp_valueOf",
"#lnumber",
"#lnp",
77 "#lnp_toString",
"#lnp_valueOf",
"#lmath",
"#lstring",
"#lsp",
78 "#lsp_toString",
"#lsp_valueOf",
"#larray",
"#lap",
"#ljson"
81 for(
const auto &identifier : builtin_objects)
84 new_symbol.base_name=identifier;
86 new_symbol.is_extern=
true;
irep_idt rounding_mode_identifier()
Return the identifier of the program symbol used to store the current rounding mode.
signedbv_typet signed_int_type()
Fixed-width bit-vector with IEEE floating-point interpretation.
The symbol table base class interface.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
irep_idt base_name
Base (non-scoped) name.
The type of an expression, extends irept.
void jsil_internal_additions(symbol_table_baset &dest)
typet jsil_builtin_object_type()