statement_list_types.cpp File Reference

Statement List Type Helper. More...

#include "statement_list_types.h"
#include <util/bitvector_types.h>
#include <util/ieee_float.h>

Include dependency graph for statement_list_types.cpp:

Go to the source code of this file.

Functions
signedbv_typet	get_int_type ()
	Creates a new type that resembles the 'Int' type of the Siemens PLC languages. More...
signedbv_typet	get_dint_type ()
	Creates a new type that resembles the 'DInt' type of the Siemens PLC languages. More...
floatbv_typet	get_real_type ()
	Creates a new type that resembles the 'Real' type of the Siemens PLC languages. More...
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.cpp.

Function Documentation

get_bool_type()

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

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

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

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.