statement_list_parse_treet::function_blockt Struct Reference
Structure for a simple function block in Statement List. More...
#include <statement_list_parse_tree.h>
Inheritance diagram for statement_list_parse_treet::function_blockt: Collaboration diagram for statement_list_parse_treet::function_blockt:Public Member Functions | |
| function_blockt (const irep_idt &name, const std::string &version) | |
Create the function block name with a specific version. More... | |
| void | add_var_static_entry (const var_declarationt &declaration) |
| Adds a variable declaration to the list of static variables. More... | |
| Public Member Functions inherited from statement_list_parse_treet::tia_modulet | |
| 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 | |
| var_declarationst | var_static |
| FB-exclusive static variable declarations. More... | |
| Public Attributes inherited from statement_list_parse_treet::tia_modulet | |
| 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
Structure for a simple function block in Statement List.
Includes fields for its name, version, variable declarations and networks.
Definition at line 146 of file statement_list_parse_tree.h.
Constructor & Destructor Documentation
◆ function_blockt()
| statement_list_parse_treet::function_blockt::function_blockt | ( | const irep_idt & | name, |
| const std::string & | version | ||
| ) |
Create the function block name with a specific version.
- Parameters
-
name Name of the function block. version Version of the function block.
Definition at line 81 of file statement_list_parse_tree.cpp.
Member Function Documentation
◆ add_var_static_entry()
| void statement_list_parse_treet::function_blockt::add_var_static_entry | ( | const var_declarationt & | declaration | ) |
Adds a variable declaration to the list of static variables.
- Parameters
-
declaration Variable declaration to be added.
Definition at line 44 of file statement_list_parse_tree.cpp.
Member Data Documentation
◆ var_static
| var_declarationst statement_list_parse_treet::function_blockt::var_static |
FB-exclusive static variable declarations.
Definition at line 149 of file statement_list_parse_tree.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/statement-list/statement_list_parse_tree.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/statement-list/statement_list_parse_tree.cpp
