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

Inheritance diagram for statement_list_parse_treet::functiont:

Collaboration diagram for statement_list_parse_treet::functiont:

Public Member Functions
	functiont (const irep_idt &name, const std::string &version, const typet &return_type)
	Create the function `name` with a specific `version` and a `return_value`.

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
const typet	return_type
	FC-exclusive return type.

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 in Statement List.

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

Constructor & Destructor Documentation

statement_list_parse_treet::functiont::functiont	(	const irep_idt &	name,
		const std::string &	version,
		const typet &	return_type
	)

Create the function name with a specific version and a return_value.

Parameters

name	Name of the function.
version	Version of the function.
return_type	Type of the function's return value.

const typet statement_list_parse_treet::functiont::return_type

FC-exclusive return type.

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