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.
