cprover
Loading...
Searching...
No Matches
cpp_parser.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Parser
4
5Author: Daniel Kroening, kroening@cs.cmu.edu
6
7\*******************************************************************/
8
11
12#include "cpp_parser.h"
13
14#include <util/config.h>
15
17
18bool cpp_parse();
19
21{
22 // We use the ANSI-C scanner
33
34 return cpp_parse();
35}
ansi_c_parsert ansi_c_parser
bool ts_18661_3_Floatn_types
struct configt::cppt cpp
virtual bool parse() override
ansi_c_parsert::modet mode
Definition cpp_parser.h:46
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:25
cpp_parsert cpp_parser
bool cpp_parse()
Definition parse.cpp:8381
C++ Parser.
enum configt::cppt::cpp_standardt cpp_standard