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;
33 
34  return cpp_parse();
35 }
std::istream * in
Definition: parser.h:26
bool cpp_parse()
Definition: parse.cpp:8396
configt config
Definition: config.cpp:23
virtual bool parse() override
Definition: cpp_parser.cpp:20
void set_file(const irep_idt &file)
Definition: parser.h:85
enum configt::cppt::cpp_standardt cpp_standard
virtual void set_message_handler(message_handlert &_message_handler)
Definition: message.h:148
ansi_c_parsert::modet mode
Definition: cpp_parser.h:50
irep_idt get_file() const
Definition: parser.h:92
struct configt::cppt cpp
message_handlert & get_message_handler()
Definition: message.h:153
ansi_c_parsert ansi_c_parser
bool ts_18661_3_Floatn_types
Definition: ansi_c_parser.h:83
C++ Parser.
cpp_parsert cpp_parser
Definition: cpp_parser.cpp:16