cprover
Loading...
Searching...
No Matches
statement_list_parse_tree.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Statement List Language Parse Tree
4
5Author: Matthias Weiss, matthias.weiss@diffblue.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H
13#define CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H
14
15#include <util/std_code.h>
16
21{
22public:
24 void clear();
25
39 using var_declarationst = std::list<var_declarationt>;
40
44 {
46 std::vector<codet> tokens;
47
50 void add_token(const codet &token);
51 };
52 using instructionst = std::list<instructiont>;
53
58 struct networkt
59 {
62
66 void set_title(const std::string &value);
69
71 explicit networkt(const std::string &title);
72
73 networkt() = default;
74 };
75 using networkst = std::list<networkt>;
76
124
128 {
131
137 functiont(
138 const irep_idt &name,
139 const std::string &version,
140 const typet &return_type);
141 };
142 using functionst = std::list<functiont>;
143
160 using function_blockst = std::list<function_blockt>;
161
167 void add_function(functiont &function);
170 void swap(statement_list_parse_treet &other);
171
177 std::vector<symbol_exprt> tags;
178};
179
180#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
Data structure for representing an arbitrary statement in a program.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:37
Intermediate representation of a parsed Statement List file before converting it into a goto program.
std::list< function_blockt > function_blockst
std::list< var_declarationt > var_declarationst
void clear()
Removes all functions and function blocks from the parse tree.
void add_function_block(function_blockt &block)
Adds a function block to the parse tree.
functionst functions
List of functions this parse tree includes.
function_blockst function_blocks
List of function blocks this parse tree includes.
std::vector< symbol_exprt > tags
List of tags that were included in the source.
void add_function(functiont &function)
Adds a function to the parse tree.
std::list< instructiont > instructionst
void swap(statement_list_parse_treet &other)
Swaps the contents of the parse tree with the parameter.
Expression to hold a symbol (variable)
Definition std_expr.h:80
The type of an expression, extends irept.
Definition type.h:29
Structure for a simple function block in Statement List.
void add_var_static_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of static variables.
var_declarationst var_static
FB-exclusive static variable declarations.
Structure for a simple function in Statement List.
const typet return_type
FC-exclusive return type.
Represents a regular Statement List instruction which consists out of one or more codet tokens.
void add_token(const codet &token)
Adds a codet element to the list of all tokens.
std::vector< codet > tokens
Data structure for all tokens of the instruction.
Representation of a network in Siemens TIA.
void set_title(const std::string &value)
Sets the title of the network to a specific value.
void add_instruction(const instructiont &inst)
Adds an instruction to the network.
Base element of all modules in the Totally Integrated Automation (TIA) portal by Siemens.
void add_var_inout_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of inout variables.
var_declarationst var_constant
Constant variable declarations.
void add_var_constant_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of constant variables.
var_declarationst var_input
Input variable declarations.
const std::string version
Version of the module.
var_declarationst var_inout
Inout variable declarations.
void add_var_input_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of input variables.
void add_network(networkt &network)
Adds a network to the function.
networkst networks
List of all networks of this module.
var_declarationst var_temp
Temp variable declarations.
var_declarationst var_output
Output variable declarations.
void add_var_output_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of output variables.
void add_var_temp_entry(const var_declarationt &declaration)
Adds a variable declaration to the list of temp variables.
Struct for a single variable declaration in Statement List.
symbol_exprt variable
Representation of the variable, including identifier and type.
optionalt< exprt > default_value
Optional default value of the variable.