cprover
Loading...
Searching...
No Matches
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.
void add_var_static_entry (const var_declarationt &declaration)
 Adds a variable declaration to the list of static variables.
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.
void add_var_inout_entry (const var_declarationt &declaration)
 Adds a variable declaration to the list of inout variables.
void add_var_output_entry (const var_declarationt &declaration)
 Adds a variable declaration to the list of output variables.
void add_var_temp_entry (const var_declarationt &declaration)
 Adds a variable declaration to the list of temp variables.
void add_var_constant_entry (const var_declarationt &declaration)
 Adds a variable declaration to the list of constant variables.
void add_network (networkt &network)
 Adds a network to the function.
 tia_modulet (const irep_idt &name, const std::string &version)
 Create the module name with a specific version.

Public Attributes

var_declarationst var_static
 FB-exclusive static variable declarations.
Public Attributes inherited from statement_list_parse_treet::tia_modulet
const irep_idt name
 Name of the module.
const std::string version
 Version of the module.
var_declarationst var_input
 Input variable declarations.
var_declarationst var_inout
 Inout variable declarations.
var_declarationst var_output
 Output variable declarations.
var_declarationst var_temp
 Temp variable declarations.
var_declarationst var_constant
 Constant variable declarations.
networkst networks
 List of all networks of this module.

Detailed Description

Structure for a simple function block in Statement List.

Includes fields for its name, version, variable declarations and networks.

Definition at line 149 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
nameName of the function block.
versionVersion 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
declarationVariable 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 152 of file statement_list_parse_tree.h.


The documentation for this struct was generated from the following files: