cprover
cpp_parser.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Parser
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPP_CPP_PARSER_H
13 #define CPROVER_CPP_CPP_PARSER_H
14 
15 #include <util/parser.h>
16 
17 #include <ansi-c/ansi_c_parser.h>
18 
19 #include "cpp_parse_tree.h"
20 #include "cpp_token_buffer.h"
21 
22 class cpp_parsert:public parsert
23 {
24 public:
26 
27  virtual bool parse() override;
28 
29  virtual void clear() override
30  {
32  parse_tree.clear();
34  asm_block_following=false;
35  }
36 
38  mode(configt::ansi_ct::flavourt::ANSI),
39  recognize_wchar_t(true),
40  asm_block_following(false)
41  {
42  }
43 
44 public:
45  // internal state
47 
48  // We can furthermore twiddle the recognition of various
49  // keywords. This is honored in particular modes.
51 
53 
55  {
56  return token_buffer.current_token();
57  }
58 
59  void add_location()
60  {
63  }
64 
65  // scanner
68 };
69 
70 extern cpp_parsert cpp_parser;
71 
72 #endif // CPROVER_CPP_CPP_PARSER_H
Globally accessible architectural configuration.
Definition: config.h:104
bool asm_block_following
Definition: cpp_parser.h:67
cpp_token_buffert token_buffer
Definition: cpp_parser.h:52
virtual void clear() override
Definition: cpp_parser.h:29
cpp_parse_treet parse_tree
Definition: cpp_parser.h:25
void add_location()
Definition: cpp_parser.h:59
cpp_tokent & current_token()
Definition: cpp_parser.h:54
virtual bool parse() override
Definition: cpp_parser.cpp:20
ansi_c_parsert::modet mode
Definition: cpp_parser.h:46
bool recognize_wchar_t
Definition: cpp_parser.h:50
unsigned parenthesis_counter
Definition: cpp_parser.h:66
cpp_tokent & current_token()
irep_idt filename
Definition: cpp_token.h:26
unsigned line_no
Definition: cpp_token.h:25
Definition: parser.h:24
source_locationt source_location
Definition: parser.h:135
unsigned get_line_no() const
Definition: parser.h:97
virtual void clear()
Definition: parser.h:32
const irep_idt & get_file() const
C++ Parser.
cpp_parsert cpp_parser
Definition: cpp_parser.cpp:16
C++ Parser: Token Buffer.
Parser utilities.