cprover
jsil_types.cpp File Reference

Jsil Language. More...

#include "jsil_types.h"
#include <algorithm>
+ Include dependency graph for jsil_types.cpp:

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)
 

Detailed Description

Jsil Language.

Definition in file jsil_types.cpp.

Function Documentation

◆ compare_components()

bool compare_components ( const union_typet::componentt comp1,
const union_typet::componentt comp2 
)

Definition at line 125 of file jsil_types.cpp.

◆ jsil_any_type()

typet jsil_any_type ( )

Definition at line 16 of file jsil_types.cpp.

◆ jsil_builtin_object_type()

typet jsil_builtin_object_type ( )

Definition at line 73 of file jsil_types.cpp.

◆ jsil_empty_type()

typet jsil_empty_type ( )

Definition at line 93 of file jsil_types.cpp.

◆ jsil_incompatible_types()

bool jsil_incompatible_types ( const typet type1,
const typet type2 
)

Definition at line 113 of file jsil_types.cpp.

◆ jsil_is_subtype()

bool jsil_is_subtype ( const typet type1,
const typet type2 
)

Definition at line 98 of file jsil_types.cpp.

◆ jsil_kind()

typet jsil_kind ( )

Definition at line 88 of file jsil_types.cpp.

◆ jsil_member_reference_type()

typet jsil_member_reference_type ( )

Definition at line 52 of file jsil_types.cpp.

◆ jsil_null_type()

typet jsil_null_type ( )

Definition at line 78 of file jsil_types.cpp.

◆ jsil_object_type()

typet jsil_object_type ( )

Definition at line 62 of file jsil_types.cpp.

◆ jsil_prim_type()

typet jsil_prim_type ( )

Definition at line 41 of file jsil_types.cpp.

◆ jsil_reference_type()

typet jsil_reference_type ( )

Definition at line 46 of file jsil_types.cpp.

◆ jsil_undefined_type()

typet jsil_undefined_type ( )

Definition at line 83 of file jsil_types.cpp.

◆ jsil_union()

typet jsil_union ( const typet type1,
const typet type2 
)

Definition at line 119 of file jsil_types.cpp.

◆ jsil_user_object_type()

typet jsil_user_object_type ( )

Definition at line 68 of file jsil_types.cpp.

◆ jsil_value_or_empty_type()

typet jsil_value_or_empty_type ( )

Definition at line 22 of file jsil_types.cpp.

◆ jsil_value_or_reference_type()

typet jsil_value_or_reference_type ( )

Definition at line 27 of file jsil_types.cpp.

◆ jsil_value_type()

typet jsil_value_type ( )

Definition at line 32 of file jsil_types.cpp.

◆ jsil_variable_reference_type()

typet jsil_variable_reference_type ( )

Definition at line 57 of file jsil_types.cpp.