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_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)

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.

is_jsil_spec_code_type()

bool is_jsil_spec_code_type ( const typet &  type )

inline

Definition at line 78 of file jsil_types.h.

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.

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.

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.

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.

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.