cprover
|
Jsil Language. More...
Go to the source code of this file.
Functions | |
typet | jsil_any_type () |
typet | jsil_value_or_empty_type () |
typet | jsil_value_or_reference_type () |
typet | jsil_value_type () |
typet | jsil_prim_type () |
typet | jsil_reference_type () |
typet | jsil_member_reference_type () |
typet | jsil_variable_reference_type () |
typet | jsil_object_type () |
typet | jsil_user_object_type () |
typet | jsil_builtin_object_type () |
typet | jsil_null_type () |
typet | jsil_undefined_type () |
typet | jsil_kind () |
typet | jsil_empty_type () |
bool | jsil_is_subtype (const typet &type1, const typet &type2) |
bool | jsil_incompatible_types (const typet &type1, const typet &type2) |
typet | jsil_union (const typet &type1, const typet &type2) |
bool | compare_components (const union_typet::componentt &comp1, const union_typet::componentt &comp2) |
Jsil Language.
Definition in file jsil_types.cpp.
bool compare_components | ( | const union_typet::componentt & | comp1, |
const union_typet::componentt & | comp2 | ||
) |
Definition at line 125 of file jsil_types.cpp.
References irept::id(), and exprt::type().
Referenced by jsil_union_typet::intersect_with(), jsil_union_typet::jsil_union_typet(), and jsil_union_typet::union_with().
typet jsil_any_type | ( | ) |
Definition at line 16 of file jsil_types.cpp.
References jsil_empty_type(), jsil_reference_type(), and jsil_value_type().
Referenced by jsil_typecheckt::typecheck_function_call().
typet jsil_builtin_object_type | ( | ) |
Definition at line 73 of file jsil_types.cpp.
Referenced by jsil_internal_additions(), and jsil_object_type().
typet jsil_empty_type | ( | ) |
Definition at line 93 of file jsil_types.cpp.
Referenced by jsil_any_type(), jsil_value_or_empty_type(), and jsil_typecheckt::typecheck_expr_constant().
Definition at line 113 of file jsil_types.cpp.
References struct_union_typet::components(), and jsil_union_typet::intersect_with().
Referenced by jsil_typecheckt::make_type_compatible().
Definition at line 98 of file jsil_types.cpp.
References irept::id(), jsil_union_typet::is_subtype(), and to_jsil_union_type().
Referenced by jsil_typecheckt::make_type_compatible().
typet jsil_kind | ( | ) |
Definition at line 88 of file jsil_types.cpp.
Referenced by jsil_typecheckt::typecheck_expr_main(), jsil_typecheckt::typecheck_expr_ref(), and jsil_typecheckt::typecheck_expr_subtype().
typet jsil_member_reference_type | ( | ) |
Definition at line 52 of file jsil_types.cpp.
Referenced by jsil_reference_type(), and jsil_typecheckt::typecheck_expr_ref().
typet jsil_null_type | ( | ) |
Definition at line 78 of file jsil_types.cpp.
Referenced by jsil_value_type(), and jsil_typecheckt::typecheck_expr_constant().
typet jsil_object_type | ( | ) |
Definition at line 62 of file jsil_types.cpp.
References jsil_builtin_object_type(), and jsil_user_object_type().
Referenced by jsil_value_type(), jsil_typecheckt::typecheck_expr_delete(), jsil_typecheckt::typecheck_expr_has_field(), jsil_typecheckt::typecheck_expr_index(), jsil_typecheckt::typecheck_expr_proto_field(), and jsil_typecheckt::typecheck_expr_proto_obj().
typet jsil_prim_type | ( | ) |
Definition at line 41 of file jsil_types.cpp.
Referenced by jsil_value_type().
typet jsil_reference_type | ( | ) |
Definition at line 46 of file jsil_types.cpp.
References jsil_member_reference_type(), and jsil_variable_reference_type().
Referenced by jsil_any_type(), jsil_value_or_reference_type(), jsil_typecheckt::typecheck_expr_base(), and jsil_typecheckt::typecheck_expr_field().
typet jsil_undefined_type | ( | ) |
Definition at line 83 of file jsil_types.cpp.
Referenced by jsil_value_type(), jsil_typecheckt::typecheck_expr_constant(), and jsil_typecheckt::typecheck_function_call().
Definition at line 119 of file jsil_types.cpp.
References jsil_union_typet::to_type(), and jsil_union_typet::union_with().
Referenced by jsil_typecheckt::make_type_compatible(), and jsil_typecheckt::update_expr_type().
typet jsil_user_object_type | ( | ) |
Definition at line 68 of file jsil_types.cpp.
Referenced by jsil_object_type(), and jsil_typecheckt::typecheck_expr_main().
typet jsil_value_or_empty_type | ( | ) |
Definition at line 22 of file jsil_types.cpp.
References jsil_empty_type(), and jsil_value_type().
Referenced by jsil_typecheckt::typecheck_expr_proto_field(), and jsil_typecheckt::typecheck_type().
typet jsil_value_or_reference_type | ( | ) |
Definition at line 27 of file jsil_types.cpp.
References jsil_reference_type(), and jsil_value_type().
Referenced by jsil_typecheckt::typecheck_type().
typet jsil_value_type | ( | ) |
Definition at line 32 of file jsil_types.cpp.
References jsil_null_type(), jsil_object_type(), jsil_prim_type(), and jsil_undefined_type().
Referenced by jsil_any_type(), jsil_value_or_empty_type(), jsil_value_or_reference_type(), jsil_typecheckt::typecheck_expr_base(), jsil_typecheckt::typecheck_expr_index(), jsil_typecheckt::typecheck_expr_ref(), and jsil_typecheckt::typecheck_type().
typet jsil_variable_reference_type | ( | ) |
Definition at line 57 of file jsil_types.cpp.
Referenced by jsil_reference_type(), and jsil_typecheckt::typecheck_expr_ref().