CBMC
statement_list_parse_tree_io.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Statement List Language Parse Tree Output
4 
5 Author: Matthias Weiss, matthias.weiss@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_IO_H
13 #define CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_IO_H
14 
15 #include "statement_list_parse_tree.h"
16 
21 void output_parse_tree(
22  std::ostream &os,
23  const statement_list_parse_treet &tree);
24 
29 void output_function_block(
30  std::ostream &os,
31  const statement_list_parse_treet::function_blockt &block);
32 
37 void output_function(
38  std::ostream &os,
39  const statement_list_parse_treet::functiont &function);
40 
44 void output_tia_module_properties(
45  const statement_list_parse_treet::tia_modulet &module,
46  std::ostream &os);
47 
51 void output_return_value(
52  const statement_list_parse_treet::functiont &function,
53  std::ostream &os);
54 
59 void output_common_var_declarations(
60  std::ostream &os,
61  const statement_list_parse_treet::tia_modulet &module);
62 
68 void output_static_var_declarations(
69  std::ostream &os,
70  const statement_list_parse_treet::function_blockt &block);
71 
76 void output_var_declaration_list(
77  std::ostream &os,
78  const statement_list_parse_treet::var_declarationst &declarations);
79 
84 void output_var_declaration(
85  std::ostream &os,
86  const statement_list_parse_treet::var_declarationt &declaration);
87 
92 void output_network_list(
93  std::ostream &os,
94  const statement_list_parse_treet::networkst &networks);
95 
100 void output_network(
101  std::ostream &os,
102  const statement_list_parse_treet::networkt &network);
103 
108 void output_instruction(
109  std::ostream &os,
110  const statement_list_parse_treet::instructiont &instruction);
111 
112 #endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_IO_H
statement_list_parse_treet
Intermediate representation of a parsed Statement List file before converting it into a goto program.
Definition: statement_list_parse_tree.h:24
statement_list_parse_treet::var_declarationst
std::list< var_declarationt > var_declarationst
Definition: statement_list_parse_tree.h:42
statement_list_parse_treet::networkst
std::list< networkt > networkst
Definition: statement_list_parse_tree.h:78
statement_list_parse_tree.h
Statement List Language Parse Tree.
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 str...
Definition: statement_list_parse_tree_io.cpp:184
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.
Definition: statement_list_parse_tree_io.cpp:115
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.
Definition: statement_list_parse_tree_io.cpp:228
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.
Definition: statement_list_parse_tree_io.cpp:173
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.
Definition: statement_list_parse_tree_io.cpp:58
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.
Definition: statement_list_parse_tree_io.cpp:107
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.
Definition: statement_list_parse_tree_io.cpp:97
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 str...
Definition: statement_list_parse_tree_io.cpp:127
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.
Definition: statement_list_parse_tree_io.cpp:200
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.
Definition: statement_list_parse_tree_io.cpp:212
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.
Definition: statement_list_parse_tree_io.cpp:162
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.
Definition: statement_list_parse_tree_io.cpp:87
statement_list_parse_treet::function_blockt
Structure for a simple function block in Statement List.
Definition: statement_list_parse_tree.h:150
statement_list_parse_treet::functiont
Structure for a simple function in Statement List.
Definition: statement_list_parse_tree.h:131
statement_list_parse_treet::instructiont
Represents a regular Statement List instruction which consists out of one or more codet tokens.
Definition: statement_list_parse_tree.h:47
statement_list_parse_treet::networkt
Representation of a network in Siemens TIA.
Definition: statement_list_parse_tree.h:62
statement_list_parse_treet::tia_modulet
Base element of all modules in the Totally Integrated Automation (TIA) portal by Siemens.
Definition: statement_list_parse_tree.h:83
statement_list_parse_treet::var_declarationt
Struct for a single variable declaration in Statement List.
Definition: statement_list_parse_tree.h:32