statement_list_parse_tree.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Parse Tree
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H
#define CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H
 
#include <util/std_code_base.h>
#include <util/std_expr.h>
 
#include <list>
 
class statement_list_parse_treet
{
public:
  void clear();
 
  struct var_declarationt
  {
    symbol_exprt variable;
    std::optional<exprt> default_value;
 
    explicit var_declarationt(const symbol_exprt &symbol);
  };
  struct var_declarationt {…};
  using var_declarationst = std::list<var_declarationt>;
 
  struct instructiont
  {
    std::vector<codet> tokens;
 
    void add_token(const codet &token);
  };
  struct instructiont {…};
  using instructionst = std::list<instructiont>;
 
  struct networkt
  {
    std::optional<std::string> title;
    instructionst instructions;
 
    void set_title(const std::string &value);
    void add_instruction(const instructiont &inst);
 
    explicit networkt(const std::string &title);
 
    networkt() = default;
  };
  struct networkt {…};
  using networkst = std::list<networkt>;
 
  struct tia_modulet
  {
    const irep_idt name;
    const std::string version;
 
    var_declarationst var_input;
    var_declarationst var_inout;
    var_declarationst var_output;
    var_declarationst var_temp;
    var_declarationst var_constant;
 
    networkst networks;
 
    void add_var_input_entry(const var_declarationt &declaration);
    void add_var_inout_entry(const var_declarationt &declaration);
    void add_var_output_entry(const var_declarationt &declaration);
    void add_var_temp_entry(const var_declarationt &declaration);
    void add_var_constant_entry(const var_declarationt &declaration);
    void add_network(networkt &network);
 
    tia_modulet(const irep_idt &name, const std::string &version);
  };
  struct tia_modulet {…};
 
  struct functiont : tia_modulet
  {
    const typet return_type;
 
    functiont(
      const irep_idt &name,
      const std::string &version,
      const typet &return_type);
  };
  struct functiont : tia_modulet {…};
  using functionst = std::list<functiont>;
 
  struct function_blockt : tia_modulet
  {
    var_declarationst var_static;
 
    function_blockt(const irep_idt &name, const std::string &version);
 
    void add_var_static_entry(const var_declarationt &declaration);
  };
  struct function_blockt : tia_modulet {…};
  using function_blockst = std::list<function_blockt>;
 
  void add_function_block(function_blockt &block);
  void add_function(functiont &function);
  void swap(statement_list_parse_treet &other);
 
  function_blockst function_blocks;
  functionst functions;
  std::vector<symbol_exprt> tags;
};
class statement_list_parse_treet {…};
 
#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSE_TREE_H