cpp_parser.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Parser
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/

 
#ifndef CPROVER_CPP_CPP_PARSER_H
#define CPROVER_CPP_CPP_PARSER_H
 
#include <util/parser.h>
 
#include <ansi-c/ansi_c_parser.h>
 
#include "cpp_parse_tree.h"
#include "cpp_token_buffer.h"
 
#include <optional>
 
class cpp_parsert:public parsert
{
public:
  cpp_parse_treet parse_tree;
 
  virtual bool parse() override;
 
  explicit cpp_parsert(message_handlert &message_handler)
    : parsert(message_handler),
      mode(configt::ansi_ct::flavourt::ANSI),
      recognize_wchar_t(true),
      token_buffer(message_handler),
      asm_block_following(false),
      support_float16(std::nullopt)
  {
  }
 
public:
  // internal state
  ansi_c_parsert::modet mode;
 
  // We can furthermore twiddle the recognition of various
  // keywords. This is honored in particular modes.
  bool recognize_wchar_t;
 
  cpp_token_buffert token_buffer;
 
  cpp_tokent &current_token()
  {
    return token_buffer.current_token();
  }
 
  void add_location()
  {
    token_buffer.current_token().line_no=get_line_no()-1;
    token_buffer.current_token().filename = source_location().get_file();
  }
 
  // scanner
  unsigned parenthesis_counter;
  bool asm_block_following;
 
protected:
  std::optional<bool> support_float16;
};
 
#endif // CPROVER_CPP_CPP_PARSER_H