#include "statement_list_parse_tree_io.h"
#include "converters/statement_list_types.h"
#include <util/arith_tools.h>
#include <util/bitvector_types.h>
#include <util/ieee_float.h>

Include dependency graph for statement_list_parse_tree_io.cpp:

Macros
#define	NO_VALUE "(none)"
	String to indicate that there is no value. More...

Functions
static void	output_constant (std::ostream &os, const constant_exprt &constant)
	Prints a constant to the given output stream. More...

static void	output_parameter_assignment (std::ostream &os, const code_frontend_assignt &assignment)
	Prints the assignment of a module parameter to the given output stream. More...

void	output_parse_tree (std::ostream &out, const statement_list_parse_treet &parse_tree)
	Prints the given Statement List parse tree in a human-readable form to the given output stream. More...

void	output_function_block (std::ostream &os, const statement_list_parse_treet::function_blockt &function_block)
	Prints the given Statement List function block in a human-readable form to the given output stream. More...

void	output_function (std::ostream &os, const statement_list_parse_treet::functiont &function)
	Prints the given Statement List function in a human-readable form to the given output stream. More...

void	output_tia_module_properties (const statement_list_parse_treet::tia_modulet &module, std::ostream &os)
	Prints the basic information about a TIA module to the given output stream. More...

void	output_return_value (const statement_list_parse_treet::functiont &function, std::ostream &os)
	Prints the return value of a function to the given output stream. More...

void	output_common_var_declarations (std::ostream &os, const statement_list_parse_treet::tia_modulet &module)
	Prints all variable declarations functions and function blocks have in common to the given output stream. More...

void	output_static_var_declarations (std::ostream &os, const statement_list_parse_treet::function_blockt &block)
	Prints the static variable declarations of a function block to the given output stream. More...

void	output_var_declaration_list (std::ostream &os, const statement_list_parse_treet::var_declarationst &declarations)
	Prints all variable declarations of the given list to the given output stream. More...

void	output_var_declaration (std::ostream &os, const statement_list_parse_treet::var_declarationt &declaration)
	Prints the given Statement List variable declaration in a human-readable form to the given output stream. More...

void	output_network_list (std::ostream &os, const statement_list_parse_treet::networkst &networks)
	Prints the given network list in a human-readable form to the given output stream. More...

void	output_network (std::ostream &os, const statement_list_parse_treet::networkt &network)
	Prints the given Statement List network in a human-readable form to the given output stream. More...

void	output_instruction (std::ostream &os, const statement_list_parse_treet::instructiont &instruction)
	Prints the given Statement List instruction in a human-readable form to the given output stream. More...

Detailed Description

Statement List Language Parse Tree Output

Definition in file statement_list_parse_tree_io.cpp.

Macro Definition Documentation

◆ NO_VALUE

#define NO_VALUE "(none)"

String to indicate that there is no value.

Definition at line 20 of file statement_list_parse_tree_io.cpp.

Function Documentation

◆ output_common_var_declarations()

void output_common_var_declarations	(	std::ostream &	os,
		const statement_list_parse_treet::tia_modulet &	module
	)

Prints all variable declarations functions and function blocks have in common to the given output stream.

Parameters

os	Stream that should receive the result.
module	TIA module whose variable declarations should be printed.

Definition at line 125 of file statement_list_parse_tree_io.cpp.

◆ output_constant()

static void output_constant	(	std::ostream &	os,
		const constant_exprt &	constant
	)

static

Prints a constant to the given output stream.

Parameters

[out]	os	Stream that should receive the result.
	constant	Constant that shall be printed.

Definition at line 25 of file statement_list_parse_tree_io.cpp.

◆ output_function()

void output_function	(	std::ostream &	os,
		const statement_list_parse_treet::functiont &	function
	)

Prints the given Statement List function in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
function	Function whose contents should be printed.

Definition at line 95 of file statement_list_parse_tree_io.cpp.

◆ output_function_block()

void output_function_block	(	std::ostream &	os,
		const statement_list_parse_treet::function_blockt &	block
	)

Prints the given Statement List function block in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
block	Function block whose contents should be printed.

Definition at line 85 of file statement_list_parse_tree_io.cpp.

◆ output_instruction()

void output_instruction	(	std::ostream &	os,
		const statement_list_parse_treet::instructiont &	instruction
	)

Prints the given Statement List instruction in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
instruction	Instruction that should be printed.

Definition at line 226 of file statement_list_parse_tree_io.cpp.

◆ output_network()

void output_network	(	std::ostream &	os,
		const statement_list_parse_treet::networkt &	network
	)

Prints the given Statement List network in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
network	Network that should be printed.

Definition at line 210 of file statement_list_parse_tree_io.cpp.

◆ output_network_list()

void output_network_list	(	std::ostream &	os,
		const statement_list_parse_treet::networkst &	networks
	)

Prints the given network list in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
networks	List whose contents should be printed.

Definition at line 198 of file statement_list_parse_tree_io.cpp.

◆ output_parameter_assignment()

static void output_parameter_assignment	(	std::ostream &	os,
		const code_frontend_assignt &	assignment
	)

static

Prints the assignment of a module parameter to the given output stream.

Parameters

[out]	os	Stream that should receive the result.
	assignment	Assignment that shall be printed.

Definition at line 43 of file statement_list_parse_tree_io.cpp.

◆ output_parse_tree()

void output_parse_tree	(	std::ostream &	os,
		const statement_list_parse_treet &	tree
	)

Prints the given Statement List parse tree in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
tree	Parse Tree whose contents should be printed.

Definition at line 56 of file statement_list_parse_tree_io.cpp.

◆ output_return_value()

void output_return_value	(	const statement_list_parse_treet::functiont &	function,
		std::ostream &	os
	)

Prints the return value of a function to the given output stream.

Parameters

function	Function whose return value should be printed.
os	Stream that should receive the result.

Definition at line 113 of file statement_list_parse_tree_io.cpp.

◆ output_static_var_declarations()

void output_static_var_declarations	(	std::ostream &	os,
		const statement_list_parse_treet::function_blockt &	block
	)

Prints the static variable declarations of a function block to the given output stream.

Parameters

os	Stream that should receive the result.
block	Function block whose static variables should be printed.

Definition at line 160 of file statement_list_parse_tree_io.cpp.

◆ output_tia_module_properties()

void output_tia_module_properties	(	const statement_list_parse_treet::tia_modulet &	module,
		std::ostream &	os
	)

Prints the basic information about a TIA module to the given output stream.

Parameters

module	TIA module whose contents should be printed.
os	Stream that should receive the result.

Definition at line 105 of file statement_list_parse_tree_io.cpp.

◆ output_var_declaration()

void output_var_declaration	(	std::ostream &	os,
		const statement_list_parse_treet::var_declarationt &	declaration
	)

Prints the given Statement List variable declaration in a human-readable form to the given output stream.

Parameters

os	Stream that should receive the result.
declaration	Declaration that should be printed.

Definition at line 182 of file statement_list_parse_tree_io.cpp.

◆ output_var_declaration_list()

void output_var_declaration_list	(	std::ostream &	os,
		const statement_list_parse_treet::var_declarationst &	declarations
	)

Prints all variable declarations of the given list to the given output stream.

Parameters

os	Stream that should receive the result.
declarations	List whose contents should be printed.

Definition at line 171 of file statement_list_parse_tree_io.cpp.

Macros

Functions

Detailed Description

Macro Definition Documentation

◆ NO_VALUE

Function Documentation

◆ output_common_var_declarations()

◆ output_constant()

◆ output_function()

◆ output_function_block()

◆ output_instruction()

◆ output_network()

◆ output_network_list()

◆ output_parameter_assignment()

◆ output_parse_tree()

◆ output_return_value()

◆ output_static_var_declarations()

◆ output_tia_module_properties()

◆ output_var_declaration()

◆ output_var_declaration_list()