#include "jsil_types.h"
#include <util/bitvector_types.h>
#include <algorithm>

Include dependency graph for jsil_types.cpp:

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 127 of file jsil_types.cpp.

◆ jsil_any_type()

typet jsil_any_type ( )

Definition at line 18 of file jsil_types.cpp.

◆ jsil_builtin_object_type()

typet jsil_builtin_object_type ( )

Definition at line 75 of file jsil_types.cpp.

◆ jsil_empty_type()

typet jsil_empty_type ( )

Definition at line 95 of file jsil_types.cpp.

◆ jsil_incompatible_types()

bool jsil_incompatible_types	(	const typet &	type1,
		const typet &	type2
	)

Definition at line 115 of file jsil_types.cpp.

◆ jsil_is_subtype()

bool jsil_is_subtype	(	const typet &	type1,
		const typet &	type2
	)

Definition at line 100 of file jsil_types.cpp.

◆ jsil_kind()

typet jsil_kind ( )

Definition at line 90 of file jsil_types.cpp.

◆ jsil_member_reference_type()

typet jsil_member_reference_type ( )

Definition at line 54 of file jsil_types.cpp.

◆ jsil_null_type()

typet jsil_null_type ( )

Definition at line 80 of file jsil_types.cpp.

◆ jsil_object_type()

typet jsil_object_type ( )

Definition at line 64 of file jsil_types.cpp.

◆ jsil_prim_type()

typet jsil_prim_type ( )

Definition at line 43 of file jsil_types.cpp.

◆ jsil_reference_type()

typet jsil_reference_type ( )

Definition at line 48 of file jsil_types.cpp.

◆ jsil_undefined_type()

typet jsil_undefined_type ( )

Definition at line 85 of file jsil_types.cpp.

◆ jsil_union()

typet jsil_union	(	const typet &	type1,
		const typet &	type2
	)

Definition at line 121 of file jsil_types.cpp.

◆ jsil_user_object_type()

typet jsil_user_object_type ( )

Definition at line 70 of file jsil_types.cpp.

◆ jsil_value_or_empty_type()

typet jsil_value_or_empty_type ( )

Definition at line 24 of file jsil_types.cpp.

◆ jsil_value_or_reference_type()

typet jsil_value_or_reference_type ( )

Definition at line 29 of file jsil_types.cpp.

◆ jsil_value_type()

typet jsil_value_type ( )

Definition at line 34 of file jsil_types.cpp.

◆ jsil_variable_reference_type()

typet jsil_variable_reference_type ( )

Definition at line 59 of file jsil_types.cpp.

Functions