12 #ifndef CPROVER_JSIL_JSIL_TYPES_H 13 #define CPROVER_JSIL_JSIL_TYPES_H 44 set(
"jsil_builtin_proceduret",
true);
51 assert(code.
get_bool(
"jsil_builtin_proceduret"));
57 return type.
id()==ID_code &&
58 type.
get_bool(
"jsil_builtin_proceduret");
67 set(
"jsil_spec_proceduret",
true);
74 assert(code.
get_bool(
"jsil_spec_proceduret"));
80 return type.
id()==ID_code &&
81 type.
get_bool(
"jsil_spec_proceduret");
100 const typet &to_type()
const;
105 assert(type.
id()==ID_union);
111 assert(type.
id()==ID_union);
115 #endif // CPROVER_JSIL_JSIL_TYPES_H The type of an expression.
bool jsil_incompatible_types(const typet &type1, const typet &type2)
typet jsil_reference_type()
typet jsil_variable_reference_type()
bool get_bool(const irep_namet &name) const
bool is_jsil_spec_code_type(const typet &type)
jsil_builtin_code_typet(code_typet &code)
const irep_idt & id() const
typet jsil_builtin_object_type()
typet jsil_value_or_empty_type()
typet jsil_member_reference_type()
typet jsil_union(const typet &type1, const typet &type2)
typet jsil_user_object_type()
jsil_union_typet(const typet &type)
bool is_jsil_builtin_code_type(const typet &type)
jsil_spec_code_typet & to_jsil_spec_code_type(code_typet &code)
jsil_builtin_code_typet & to_jsil_builtin_code_type(code_typet &code)
typet jsil_value_or_reference_type()
typet jsil_undefined_type()
bool jsil_is_subtype(const typet &type1, const typet &type2)
jsil_spec_code_typet(code_typet &code)
jsil_union_typet & to_jsil_union_type(typet &type)