CBMC
statement_list_parse_tree.h File Reference

Statement List Language Parse Tree. More...

#include <util/std_code_base.h>
#include <util/std_expr.h>
#include <list>
+ Include dependency graph for statement_list_parse_tree.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  statement_list_parse_treet
 Intermediate representation of a parsed Statement List file before converting it into a goto program. More...
 
struct  statement_list_parse_treet::var_declarationt
 Struct for a single variable declaration in Statement List. More...
 
struct  statement_list_parse_treet::instructiont
 Represents a regular Statement List instruction which consists out of one or more codet tokens. More...
 
struct  statement_list_parse_treet::networkt
 Representation of a network in Siemens TIA. More...
 
struct  statement_list_parse_treet::tia_modulet
 Base element of all modules in the Totally Integrated Automation (TIA) portal by Siemens. More...
 
struct  statement_list_parse_treet::functiont
 Structure for a simple function in Statement List. More...
 
struct  statement_list_parse_treet::function_blockt
 Structure for a simple function block in Statement List. More...
 

Detailed Description

Statement List Language Parse Tree.

Definition in file statement_list_parse_tree.h.