Go to the documentation of this file.
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");
105 assert(type.
id()==ID_union);
111 assert(type.
id()==ID_union);
115 #endif // CPROVER_JSIL_JSIL_TYPES_H
typet jsil_reference_type()
typet jsil_user_object_type()
The type of an expression, extends irept.
typet jsil_value_or_reference_type()
jsil_union_typet intersect_with(const jsil_union_typet &other) const
jsil_builtin_code_typet & to_jsil_builtin_code_type(code_typet &code)
jsil_builtin_code_typet(code_typet &code)
const typet & to_type() const
typet jsil_value_or_empty_type()
Defines typet, type_with_subtypet and type_with_subtypest.
bool jsil_is_subtype(const typet &type1, const typet &type2)
bool get_bool(const irep_namet &name) const
jsil_spec_code_typet & to_jsil_spec_code_type(code_typet &code)
typet jsil_builtin_object_type()
typet jsil_union(const typet &type1, const typet &type2)
const irep_idt & id() const
bool is_subtype(const jsil_union_typet &other) const
jsil_union_typet(const typet &type)
typet jsil_variable_reference_type()
jsil_union_typet & to_jsil_union_type(typet &type)
bool is_jsil_builtin_code_type(const typet &type)
void set(const irep_namet &name, const irep_idt &value)
jsil_union_typet union_with(const jsil_union_typet &other) const
jsil_spec_code_typet(code_typet &code)
bool is_jsil_spec_code_type(const typet &type)
bool jsil_incompatible_types(const typet &type1, const typet &type2)
typet jsil_undefined_type()
typet jsil_member_reference_type()