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

/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