Statement List Language Parser. More...

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

Include dependency graph for statement_list_parser.cpp:

Go to the source code of this file.

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_listlex_init_extra (statement_list_parsert , void *)

int	yystatement_listlex_destroy (void *)

int	yystatement_listparse (statement_list_parsert &, void *)
	Defined in statement_list_y.tab.cpp. More...

void	yystatement_listset_debug (int, void *)

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 141 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 109 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 255 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 31 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 242 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 213 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 227 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 288 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 74 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 94 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 187 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 165 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 56 of file statement_list_parser.cpp.

◆ yystatement_listlex_destroy()

int yystatement_listlex_destroy ( void * )

◆ yystatement_listlex_init_extra()

int yystatement_listlex_init_extra	(	statement_list_parsert *	,
		void **
	)

◆ yystatement_listparse()

int yystatement_listparse	(	statement_list_parsert &	,
		void *
	)

Defined in statement_list_y.tab.cpp.

Main function for the parse process generated by bison, performs all necessary steps to fill the parse tree.

◆ yystatement_listset_debug()

void yystatement_listset_debug	(	int	,
		void *
	)

Functions

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_listlex_destroy()

◆ yystatement_listlex_init_extra()

◆ yystatement_listparse()

◆ yystatement_listset_debug()