statement_list_types.h File Reference

Statement List Type Helper. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	STL_INT_WIDTH   16u
#define	STL_DINT_WIDTH   32u

Functions
class signedbv_typet	get_int_type ()
	Creates a new type that resembles the 'Int' type of the Siemens PLC languages. More...
class signedbv_typet	get_dint_type ()
	Creates a new type that resembles the 'DInt' type of the Siemens PLC languages. More...
class floatbv_typet	get_real_type ()
	Creates a new type that resembles the 'Real' type of the Siemens PLC languages. More...
class bool_typet	get_bool_type ()
	Creates a new type that resembles the 'Bool' type of the Siemens PLC languages. More...

Detailed Description

Statement List Type Helper.

Definition in file statement_list_types.h.

Macro Definition Documentation

STL_DINT_WIDTH

#define STL_DINT_WIDTH   32u

Definition at line 16 of file statement_list_types.h.

STL_INT_WIDTH

#define STL_INT_WIDTH   16u

Definition at line 15 of file statement_list_types.h.

Function Documentation

get_bool_type()

class bool_typet get_bool_type

(

)

Creates a new type that resembles the 'Bool' type of the Siemens PLC languages.

Returns

The type object for 'Bool'.

Definition at line 29 of file statement_list_types.cpp.

get_dint_type()

class signedbv_typet get_dint_type

(

)

Creates a new type that resembles the 'DInt' type of the Siemens PLC languages.

Returns

The type object for 'DInt'.

Definition at line 21 of file statement_list_types.cpp.

get_int_type()

class signedbv_typet get_int_type

(

)

Creates a new type that resembles the 'Int' type of the Siemens PLC languages.

Returns

The type object for 'Int'.

Definition at line 17 of file statement_list_types.cpp.

get_real_type()

class floatbv_typet get_real_type

(

)

Creates a new type that resembles the 'Real' type of the Siemens PLC languages.

Returns

The type object for 'Real'.

Definition at line 25 of file statement_list_types.cpp.