66 symbol.
type=eval_type;
89 symbol.
name=
"decl_symbol";
98 const std::vector<std::string> builtin_objects=
100 "#lg",
"#lg_isNan",
"#lg_isFinite",
"#lop",
"#lop_toString",
101 "#lop_valueOf",
"#lop_isPrototypeOf",
"#lfunction",
"#lfp",
102 "#leval",
"#lerror",
"#lep",
"#lrerror",
"#lrep",
"#lterror",
103 "#ltep",
"#lserror",
"#lsep",
"#levalerror",
"#levalerrorp",
104 "#lrangeerror",
"#lrangeerrorp",
"#lurierror",
"#lurierrorp",
105 "#lobject",
"#lobject_get_prototype_of",
"#lboolean",
"#lbp",
106 "#lbp_toString",
"#lbp_valueOf",
"#lnumber",
"#lnp",
107 "#lnp_toString",
"#lnp_valueOf",
"#lmath",
"#lstring",
"#lsp",
108 "#lsp_toString",
"#lsp_valueOf",
"#larray",
"#lap",
"#ljson" 111 for(
const auto &identifier : builtin_objects)
114 new_symbol.
name=identifier;
117 new_symbol.
mode=
"jsil";
122 dest.
add(new_symbol);
irep_idt name
The unique identifier.
pointer_typet pointer_type(const typet &subtype)
Fixed-width bit-vector with IEEE floating-point interpretation.
irep_idt mode
Language mode.
void jsil_internal_additions(symbol_tablet &dest)
typet jsil_builtin_object_type()
typet type
Type of symbol.
const parameterst & parameters() const
irep_idt base_name
Base (non-scoped) name.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
signedbv_typet signed_int_type()