12 #ifndef CPROVER_JSIL_JSIL_TYPES_H
13 #define CPROVER_JSIL_JSIL_TYPES_H
43 set(
"jsil_builtin_proceduret",
true);
50 assert(code.
get_bool(
"jsil_builtin_proceduret"));
56 return type.
id()==ID_code &&
57 type.
get_bool(
"jsil_builtin_proceduret");
66 set(
"jsil_spec_proceduret",
true);
73 assert(code.
get_bool(
"jsil_spec_proceduret"));
79 return type.
id()==ID_code &&
80 type.
get_bool(
"jsil_spec_proceduret");
104 assert(type.
id()==ID_union);
110 assert(type.
id()==ID_union);
void set(const irep_namet &name, const irep_idt &value)
bool get_bool(const irep_namet &name) const
const irep_idt & id() const
jsil_builtin_code_typet(code_typet &code)
jsil_spec_code_typet(code_typet &code)
jsil_union_typet union_with(const jsil_union_typet &other) const
jsil_union_typet(const typet &type)
jsil_union_typet intersect_with(const jsil_union_typet &other) const
bool is_subtype(const jsil_union_typet &other) const
const typet & to_type() const
The type of an expression, extends irept.
jsil_union_typet & to_jsil_union_type(typet &type)
typet jsil_value_or_empty_type()
jsil_spec_code_typet & to_jsil_spec_code_type(code_typet &code)
typet jsil_undefined_type()
typet jsil_variable_reference_type()
bool jsil_is_subtype(const typet &type1, const typet &type2)
bool is_jsil_spec_code_type(const typet &type)
typet jsil_builtin_object_type()
typet jsil_user_object_type()
typet jsil_union(const typet &type1, const typet &type2)
bool jsil_incompatible_types(const typet &type1, const typet &type2)
bool is_jsil_builtin_code_type(const typet &type)
typet jsil_reference_type()
typet jsil_member_reference_type()
jsil_builtin_code_typet & to_jsil_builtin_code_type(code_typet &code)
typet jsil_value_or_reference_type()