Base element of all modules in the Totally Integrated Automation (TIA) portal by Siemens. More...
#include <statement_list_parse_tree.h>
Inheritance diagram for statement_list_parse_treet::tia_modulet: Collaboration diagram for statement_list_parse_treet::tia_modulet:Public Member Functions | |
| void | add_var_input_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of input variables. More... | |
| void | add_var_inout_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of inout variables. More... | |
| void | add_var_output_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of output variables. More... | |
| void | add_var_temp_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of temp variables. More... | |
| void | add_var_constant_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of constant variables. More... | |
| void | add_network (networkt &network) |
| Adds a network to the function. More... | |
| tia_modulet (const irep_idt &name, const std::string &version) | |
Create the module name with a specific version. More... | |
Public Attributes | |
| const irep_idt | name |
| Name of the module. More... | |
| const std::string | version |
| Version of the module. More... | |
| var_declarationst | var_input |
| Input variable declarations. More... | |
| var_declarationst | var_inout |
| Inout variable declarations. More... | |
| var_declarationst | var_output |
| Output variable declarations. More... | |
| var_declarationst | var_temp |
| Temp variable declarations. More... | |
| var_declarationst | var_constant |
| Constant variable declarations. More... | |
| networkst | networks |
| List of all networks of this module. More... | |
Detailed Description
Base element of all modules in the Totally Integrated Automation (TIA) portal by Siemens.
Definition at line 82 of file statement_list_parse_tree.h.
Constructor & Destructor Documentation
◆ tia_modulet()
| statement_list_parse_treet::tia_modulet::tia_modulet | ( | const irep_idt & | name, |
| const std::string & | version | ||
| ) |
Create the module name with a specific version.
- Parameters
-
name Name of the module. version Version of the module.
Definition at line 74 of file statement_list_parse_tree.cpp.
Member Function Documentation
◆ add_network()
| void statement_list_parse_treet::tia_modulet::add_network | ( | networkt & | network | ) |
Adds a network to the function.
- Parameters
-
network Network to be added.
Definition at line 50 of file statement_list_parse_tree.cpp.
◆ add_var_constant_entry()
| void statement_list_parse_treet::tia_modulet::add_var_constant_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of constant variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 32 of file statement_list_parse_tree.cpp.
◆ add_var_inout_entry()
| void statement_list_parse_treet::tia_modulet::add_var_inout_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of inout variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 20 of file statement_list_parse_tree.cpp.
◆ add_var_input_entry()
| void statement_list_parse_treet::tia_modulet::add_var_input_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of input variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 14 of file statement_list_parse_tree.cpp.
◆ add_var_output_entry()
| void statement_list_parse_treet::tia_modulet::add_var_output_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of output variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 26 of file statement_list_parse_tree.cpp.
◆ add_var_temp_entry()
| void statement_list_parse_treet::tia_modulet::add_var_temp_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of temp variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 38 of file statement_list_parse_tree.cpp.
Member Data Documentation
◆ name
| const irep_idt statement_list_parse_treet::tia_modulet::name |
Name of the module.
Definition at line 85 of file statement_list_parse_tree.h.
◆ networks
| networkst statement_list_parse_treet::tia_modulet::networks |
List of all networks of this module.
Definition at line 101 of file statement_list_parse_tree.h.
◆ var_constant
| var_declarationst statement_list_parse_treet::tia_modulet::var_constant |
Constant variable declarations.
Definition at line 98 of file statement_list_parse_tree.h.
◆ var_inout
| var_declarationst statement_list_parse_treet::tia_modulet::var_inout |
Inout variable declarations.
Definition at line 92 of file statement_list_parse_tree.h.
◆ var_input
| var_declarationst statement_list_parse_treet::tia_modulet::var_input |
Input variable declarations.
Definition at line 90 of file statement_list_parse_tree.h.
◆ var_output
| var_declarationst statement_list_parse_treet::tia_modulet::var_output |
Output variable declarations.
Definition at line 94 of file statement_list_parse_tree.h.
◆ var_temp
| var_declarationst statement_list_parse_treet::tia_modulet::var_temp |
Temp variable declarations.
Definition at line 96 of file statement_list_parse_tree.h.
◆ version
| const std::string statement_list_parse_treet::tia_modulet::version |
Version of the module.
Definition at line 87 of file statement_list_parse_tree.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/statement-list/statement_list_parse_tree.h
- /home/runner/work/cbmc/cbmc/src/statement-list/statement_list_parse_tree.cpp
