statement_list_parser.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Parser
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSER_H
#define CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSER_H
 
#include <util/parser.h>
 
#include "statement_list_parse_tree.h"
 
class statement_list_parsert : public parsert
{
public:
  explicit statement_list_parsert(message_handlert &message_handler)
    : parsert(message_handler)
  {
    // Simplistic check that we don't attempt to do reentrant parsing as the
    // Bison-generated parser has global state.
    PRECONDITION(++instance_count == 1);
  }
 
  statement_list_parsert(const statement_list_parsert &) = delete;
 
  ~statement_list_parsert() override
  {
    --instance_count;
  }
 
  bool parse() override;
 
  void add_function_block(const exprt &block);
 
  void add_function(const exprt &function);
 
  void add_tag_list(const exprt &tag_list);
 
  void print_tree(std::ostream &out) const;
 
  void swap_tree(statement_list_parse_treet &other);
 
private:
  statement_list_parse_treet parse_tree;
 
  static int instance_count;
};
 
int yystatement_listerror(
  statement_list_parsert &parser,
  void *scanner,
  const std::string &error);
 
#endif // CPROVER_STATEMENT_LIST_STATEMENT_LIST_PARSER_H