CBMC
|
#include <util/c_types.h>
Go to the source code of this file.
Classes | |
class | jsil_builtin_code_typet |
class | jsil_spec_code_typet |
class | jsil_union_typet |
Functions | |
typet | jsil_kind () |
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_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) |
jsil_builtin_code_typet & | to_jsil_builtin_code_type (code_typet &code) |
bool | is_jsil_builtin_code_type (const typet &type) |
jsil_spec_code_typet & | to_jsil_spec_code_type (code_typet &code) |
bool | is_jsil_spec_code_type (const typet &type) |
jsil_union_typet & | to_jsil_union_type (typet &type) |
const jsil_union_typet & | to_jsil_union_type (const typet &type) |
Jsil Language
Definition in file jsil_types.h.
|
inline |
Definition at line 54 of file jsil_types.h.
|
inline |
Definition at line 77 of file jsil_types.h.
typet jsil_any_type | ( | ) |
Definition at line 18 of file jsil_types.cpp.
typet jsil_builtin_object_type | ( | ) |
Definition at line 75 of file jsil_types.cpp.
typet jsil_empty_type | ( | ) |
Definition at line 95 of file jsil_types.cpp.
Definition at line 115 of file jsil_types.cpp.
Definition at line 100 of file jsil_types.cpp.
typet jsil_kind | ( | ) |
Definition at line 90 of file jsil_types.cpp.
typet jsil_member_reference_type | ( | ) |
Definition at line 54 of file jsil_types.cpp.
typet jsil_null_type | ( | ) |
Definition at line 80 of file jsil_types.cpp.
typet jsil_object_type | ( | ) |
Definition at line 64 of file jsil_types.cpp.
typet jsil_prim_type | ( | ) |
Definition at line 43 of file jsil_types.cpp.
typet jsil_reference_type | ( | ) |
Definition at line 48 of file jsil_types.cpp.
typet jsil_undefined_type | ( | ) |
Definition at line 85 of file jsil_types.cpp.
Definition at line 121 of file jsil_types.cpp.
typet jsil_user_object_type | ( | ) |
Definition at line 70 of file jsil_types.cpp.
typet jsil_value_or_empty_type | ( | ) |
Definition at line 24 of file jsil_types.cpp.
typet jsil_value_or_reference_type | ( | ) |
Definition at line 29 of file jsil_types.cpp.
typet jsil_value_type | ( | ) |
Definition at line 34 of file jsil_types.cpp.
typet jsil_variable_reference_type | ( | ) |
Definition at line 59 of file jsil_types.cpp.
|
inline |
Definition at line 47 of file jsil_types.h.
|
inline |
Definition at line 70 of file jsil_types.h.
|
inline |
Definition at line 108 of file jsil_types.h.
|
inline |
Definition at line 102 of file jsil_types.h.