Structure for a simple function block in Statement List. More...

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.

Constructor & Destructor Documentation

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.

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.

var_declarationst statement_list_parse_treet::function_blockt::var_static

FB-exclusive static variable declarations.

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