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

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 152 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