cprover
jsil_types.h File Reference

Jsil Language. More...

#include <util/type.h>
#include <util/std_types.h>
Include dependency graph for jsil_types.h:
This graph shows which files directly or indirectly include this file:

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_typetto_jsil_builtin_code_type (code_typet &code)
 
bool is_jsil_builtin_code_type (const typet &type)
 
jsil_spec_code_typetto_jsil_spec_code_type (code_typet &code)
 
bool is_jsil_spec_code_type (const typet &type)
 
jsil_union_typetto_jsil_union_type (typet &type)
 
const jsil_union_typetto_jsil_union_type (const typet &type)
 

Detailed Description

Jsil Language.

Definition in file jsil_types.h.

Function Documentation

§ is_jsil_builtin_code_type()

bool is_jsil_builtin_code_type ( const typet type)
inline

Definition at line 55 of file jsil_types.h.

References irept::get_bool(), and irept::id().

Referenced by jsil_typecheckt::typecheck_type().

§ is_jsil_spec_code_type()

bool is_jsil_spec_code_type ( const typet type)
inline

Definition at line 78 of file jsil_types.h.

References irept::get_bool(), and irept::id().

Referenced by jsil_typecheckt::typecheck_type().

§ jsil_any_type()

typet jsil_any_type ( )

§ jsil_builtin_object_type()

typet jsil_builtin_object_type ( )

Definition at line 91 of file jsil_types.cpp.

Referenced by jsil_internal_additions(), and jsil_object_type().

§ jsil_empty_type()

typet jsil_empty_type ( )

§ jsil_incompatible_types()

bool jsil_incompatible_types ( const typet type1,
const typet type2 
)

§ jsil_is_subtype()

bool jsil_is_subtype ( const typet type1,
const typet type2 
)

§ jsil_kind()

§ jsil_member_reference_type()

typet jsil_member_reference_type ( )

Definition at line 68 of file jsil_types.cpp.

Referenced by jsil_reference_type(), and jsil_typecheckt::typecheck_expr_ref().

§ jsil_null_type()

typet jsil_null_type ( )

Definition at line 96 of file jsil_types.cpp.

Referenced by jsil_value_type(), and jsil_typecheckt::typecheck_expr_constant().

§ jsil_object_type()

§ jsil_prim_type()

typet jsil_prim_type ( )

Definition at line 51 of file jsil_types.cpp.

Referenced by jsil_value_type().

§ jsil_reference_type()

§ jsil_undefined_type()

§ jsil_union()

typet jsil_union ( const typet type1,
const typet type2 
)

§ jsil_user_object_type()

typet jsil_user_object_type ( )

Definition at line 86 of file jsil_types.cpp.

Referenced by jsil_object_type(), and jsil_typecheckt::typecheck_expr_main().

§ jsil_value_or_empty_type()

typet jsil_value_or_empty_type ( )

§ jsil_value_or_reference_type()

typet jsil_value_or_reference_type ( )

Definition at line 33 of file jsil_types.cpp.

References jsil_reference_type(), and jsil_value_type().

Referenced by jsil_typecheckt::typecheck_type().

§ jsil_value_type()

§ jsil_variable_reference_type()

typet jsil_variable_reference_type ( )

Definition at line 73 of file jsil_types.cpp.

Referenced by jsil_reference_type(), and jsil_typecheckt::typecheck_expr_ref().

§ to_jsil_builtin_code_type()

jsil_builtin_code_typet& to_jsil_builtin_code_type ( code_typet code)
inline

Definition at line 48 of file jsil_types.h.

References irept::get_bool().

§ to_jsil_spec_code_type()

jsil_spec_code_typet& to_jsil_spec_code_type ( code_typet code)
inline

Definition at line 71 of file jsil_types.h.

References irept::get_bool().

§ to_jsil_union_type() [1/2]

jsil_union_typet& to_jsil_union_type ( typet type)
inline

Definition at line 103 of file jsil_types.h.

References irept::id().

Referenced by jsil_is_subtype().

§ to_jsil_union_type() [2/2]

const jsil_union_typet& to_jsil_union_type ( const typet type)
inline

Definition at line 109 of file jsil_types.h.

References irept::id().