cprover
|
#include <config.h>
Public Types | |
enum | cpp_standardt { cpp_standardt::CPP98, cpp_standardt::CPP03, cpp_standardt::CPP11, cpp_standardt::CPP14 } |
Public Member Functions | |
void | set_cpp98 () |
void | set_cpp03 () |
void | set_cpp11 () |
void | set_cpp14 () |
Static Public Member Functions | |
static cpp_standardt | default_cpp_standard () |
Public Attributes | |
enum configt::cppt::cpp_standardt | cpp_standard |
|
strong |
|
static |
Definition at line 658 of file config.cpp.
Referenced by goto_analyzer_parse_optionst::help(), cbmc_parse_optionst::help(), and configt::set().
|
inline |
Definition at line 129 of file config.h.
References CPP03, and cpp_standard.
Referenced by goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
|
inline |
Definition at line 130 of file config.h.
References CPP11, and cpp_standard.
Referenced by gcc_modet::doit(), goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
|
inline |
Definition at line 131 of file config.h.
References CPP14, and cpp_standard.
Referenced by gcc_modet::doit().
|
inline |
Definition at line 128 of file config.h.
References CPP98, and cpp_standard.
Referenced by goto_diff_parse_optionst::get_command_line_options(), goto_analyzer_parse_optionst::get_command_line_options(), and cbmc_parse_optionst::get_command_line_options().
enum configt::cppt::cpp_standardt configt::cppt::cpp_standard |
Referenced by cpp_parsert::parse(), configt::set(), set_cpp03(), set_cpp11(), set_cpp14(), and set_cpp98().