cprover
cpp_parser.cpp
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 #include "cpp_parser.h"
13 
14 #include <util/config.h>
15 
17 
18 bool cpp_parse();
19 
21 {
22  // We use the ANSI-C scanner
23  ansi_c_parser.cpp98=true;
32 
33  return cpp_parse();
34 }
ansi_c_parsert ansi_c_parser
bool ts_18661_3_Floatn_types
Definition: ansi_c_parser.h:84
struct configt::cppt cpp
virtual bool parse() override
Definition: cpp_parser.cpp:20
ansi_c_parsert::modet mode
Definition: cpp_parser.h:48
message_handlert & get_message_handler()
Definition: message.h:184
virtual void set_message_handler(message_handlert &_message_handler)
Definition: message.h:179
std::istream * in
Definition: parser.h:26
void set_file(const irep_idt &file)
Definition: parser.h:85
irep_idt get_file() const
Definition: parser.h:92
configt config
Definition: config.cpp:24
cpp_parsert cpp_parser
Definition: cpp_parser.cpp:16
bool cpp_parse()
Definition: parse.cpp:8384
C++ Parser.
enum configt::cppt::cpp_standardt cpp_standard