#include "statement_list_parser.h"
#include "statement_list_parse_tree.h"
#include "statement_list_parse_tree_io.h"
#include <algorithm>
#include <iostream>
#include <iterator>
#include <util/string_constant.h>

Include dependency graph for statement_list_parser.cpp:

Functions
static irep_idt	find_name (const exprt &root)
	Searches for the name of the TIA module inside of its root expression. More...

static std::string	find_version (const exprt &root)
	Searches for the version of the TIA module inside of its root expression. More...

static typet	find_return_value (const exprt &root)
	Searches for the return type of a function inside of its root expression. More...

static exprt	find_variable_list (const exprt &root)
	Searches for the variable list of the TIA module inside of its root expression. More...

static void	fill_vars_with_default_values (statement_list_parse_treet::var_declarationst &parse_tree_list, const exprt &var_list)
	Adds all variable declarations (which can have a default value) to the given list. More...

static void	fill_temp_vars (statement_list_parse_treet::var_declarationst &parse_tree_list, const exprt &temp_vars)
	Adds all temp variable declarations (variable declarations which can't have a default value) to the given list. More...

static void	find_variables (statement_list_parse_treet::functiont &function, const exprt &var_decls)
	Adds all valid variable declarations to the given function. More...

static void	find_variables (statement_list_parse_treet::function_blockt &block, const exprt &var_decls)
	Adds all valid variable declarations to the given function block. More...

static exprt	find_network_list (const exprt &root)
	Searches for the network list of the TIA element inside of its root expression. More...

static std::string	find_network_title (const exprt &network)
	Searches for the title of a network inside of its root expression. More...

static exprt	find_network_instructions (const exprt &network)
	Searches for the instruction list of a network inside of its root expression. More...

static void	find_instructions (statement_list_parse_treet::networkt &network, const exprt &instructions)
	Adds all valid instructions to the given network. More...

static void	find_networks (statement_list_parse_treet::tia_modulet &module, const exprt &network_list)
	Adds all valid networks and their instructions to the given function element. More...

int	yystatement_listerror (const std::string &error)
	Forwards any errors that are encountered during the parse process. More...

Variables
statement_list_parsert	statement_list_parser
	Instance of the parser, used by other modules. More...

char *	yystatement_listtext

Detailed Description

Statement List Language Parser

Definition in file statement_list_parser.cpp.

Function Documentation

◆ fill_temp_vars()

static void fill_temp_vars	(	statement_list_parse_treet::var_declarationst &	parse_tree_list,
		const exprt &	temp_vars
	)

static

Adds all temp variable declarations (variable declarations which can't have a default value) to the given list.

Parameters

parse_tree_list	The list to fill with all declarations.
temp_vars	The root expression of a temp variable list.

Definition at line 140 of file statement_list_parser.cpp.

◆ fill_vars_with_default_values()

static void fill_vars_with_default_values	(	statement_list_parse_treet::var_declarationst &	parse_tree_list,
		const exprt &	var_list
	)

static

Adds all variable declarations (which can have a default value) to the given list.

Parameters

parse_tree_list	The list to fill with all declarations.
var_list	The root expression of a variable list with optional default values.

Definition at line 108 of file statement_list_parser.cpp.

◆ find_instructions()

static void find_instructions	(	statement_list_parse_treet::networkt &	network,
		const exprt &	instructions
	)

static

Adds all valid instructions to the given network.

Parameters

network	The network to which the instructions belong.
instructions	The root expression of a valid instruction list.

Definition at line 254 of file statement_list_parser.cpp.

◆ find_name()

static irep_idt find_name ( const exprt & root )

static

Searches for the name of the TIA module inside of its root expression.

Parameters

root	Expression that includes the element's name as a direct operand.

Returns: The name of the function element.

Definition at line 30 of file statement_list_parser.cpp.

◆ find_network_instructions()

static exprt find_network_instructions ( const exprt & network )

static

Searches for the instruction list of a network inside of its root expression.

Parameters

network Expression that includes the network's instructions as a direct operand.

Returns: The instruction list expression of the network.

Definition at line 241 of file statement_list_parser.cpp.

◆ find_network_list()

static exprt find_network_list ( const exprt & root )

static

Searches for the network list of the TIA element inside of its root expression.

Parameters

root	Expression that includes the element's network list as a direct operand.

Returns: The network list of the element.

Definition at line 212 of file statement_list_parser.cpp.

◆ find_network_title()

static std::string find_network_title ( const exprt & network )

static

Searches for the title of a network inside of its root expression.

Parameters

network Expression that includes the network's title as a direct operand.

Returns: The title of the network.

Definition at line 226 of file statement_list_parser.cpp.

◆ find_networks()

static void find_networks	(	statement_list_parse_treet::tia_modulet &	module,
		const exprt &	network_list
	)

static

Adds all valid networks and their instructions to the given function element.

Parameters

module	The TIA element to which the networks belong.
network_list	The root expression of a valid network list.

Definition at line 287 of file statement_list_parser.cpp.

◆ find_return_value()

static typet find_return_value ( const exprt & root )

static

Searches for the return type of a function inside of its root expression.

Parameters

root	Expression that includes the function's return type as a direct operand.

Returns: The return type of the function.

Definition at line 73 of file statement_list_parser.cpp.

◆ find_variable_list()

static exprt find_variable_list ( const exprt & root )

static

Searches for the variable list of the TIA module inside of its root expression.

Parameters

root	Expression that includes the element's variable list as a direct operand.

Returns: The variable list of the element.

Definition at line 93 of file statement_list_parser.cpp.

◆ find_variables() [1/2]

static void find_variables	(	statement_list_parse_treet::function_blockt &	block,
		const exprt &	var_decls
	)

static

Adds all valid variable declarations to the given function block.

Parameters

block	The TIA element to which the variables belong.
var_decls	The root expression of a valid variable list.

Definition at line 186 of file statement_list_parser.cpp.

◆ find_variables() [2/2]

static void find_variables	(	statement_list_parse_treet::functiont &	function,
		const exprt &	var_decls
	)

static

Adds all valid variable declarations to the given function.

Parameters

function	The TIA element to which the variables belong.
var_decls	The root expression of a valid variable list.

Definition at line 164 of file statement_list_parser.cpp.

◆ find_version()

static std::string find_version ( const exprt & root )

static

Searches for the version of the TIA module inside of its root expression.

Parameters

root	Expression that includes the element's version as a direct operand.

Returns: The version of the element.

Definition at line 55 of file statement_list_parser.cpp.

◆ yystatement_listerror()

int yystatement_listerror ( const std::string & error )

Forwards any errors that are encountered during the parse process.

This function gets called by the generated files of flex and bison.

Parameters

error Error message.

Returns: Always 0.

Definition at line 340 of file statement_list_parser.cpp.

Variable Documentation

◆ statement_list_parser

statement_list_parsert statement_list_parser

Instance of the parser, used by other modules.

Definition at line 21 of file statement_list_parser.cpp.

◆ yystatement_listtext

char* yystatement_listtext

Functions

Variables

Detailed Description

Function Documentation

◆ fill_temp_vars()

◆ fill_vars_with_default_values()

◆ find_instructions()

◆ find_name()

◆ find_network_instructions()

◆ find_network_list()

◆ find_network_title()

◆ find_networks()

◆ find_return_value()

◆ find_variable_list()

◆ find_variables() [1/2]

◆ find_variables() [2/2]

◆ find_version()

◆ yystatement_listerror()

Variable Documentation

◆ statement_list_parser

◆ yystatement_listtext