cprover
|
#include <clobber_parse_options.h>
Public Member Functions | |
virtual int | doit () |
invoke main modules More... | |
virtual void | help () |
display command line help More... | |
clobber_parse_optionst (int argc, const char **argv) | |
clobber_parse_optionst (int argc, const char **argv, const std::string &extra_options) | |
![]() | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | usage_error () |
virtual int | main () |
virtual | ~parse_options_baset () |
![]() | |
language_uit (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler) | |
Constructor. More... | |
virtual | ~language_uit () |
Destructor. More... | |
virtual bool | parse () |
virtual bool | parse (const std::string &filename) |
virtual bool | typecheck () |
virtual bool | final () |
virtual void | clear_parse () |
virtual void | show_symbol_table (bool brief=false) |
virtual void | show_symbol_table_plain (std::ostream &out, bool brief) |
virtual void | show_symbol_table_xml_ui (bool brief) |
uit | get_ui () |
Protected Member Functions | |
void | get_command_line_options (optionst &) |
bool | process_goto_program (const optionst &options, goto_modelt &) |
bool | set_properties (goto_functionst &) |
void | report_success () |
void | report_failure () |
void | show_counterexample (const class goto_tracet &) |
Protected Attributes | |
ui_message_handlert | ui_message_handler |
![]() | |
const cmdlinet & | _cmdline |
ui_message_handlert & | ui_message_handler |
Additional Inherited Members | |
![]() | |
typedef ui_message_handlert::uit | uit |
![]() | |
cmdlinet | cmdline |
![]() | |
language_filest | language_files |
symbol_tablet | symbol_table |
Definition at line 41 of file clobber_parse_options.h.
clobber_parse_optionst::clobber_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 38 of file clobber_parse_options.cpp.
clobber_parse_optionst::clobber_parse_optionst | ( | int | argc, |
const char ** | argv, | ||
const std::string & | extra_options | ||
) |
|
virtual |
invoke main modules
Implements parse_options_baset.
Definition at line 80 of file clobber_parse_options.cpp.
References parse_options_baset::cmdline, messaget::debug(), dump_c(), messaget::endl(), messaget::eom(), messaget::error(), messaget::eval_verbosity(), get_command_line_options(), messaget::get_message_handler(), ui_message_handlert::get_ui(), language_uit::get_ui(), cmdlinet::get_value(), initialize_goto_model(), cmdlinet::isset(), label_properties(), messaget::M_STATISTICS, memory_info(), new_ansi_c_language(), new_cpp_language(), register_language(), set_properties(), show_goto_functions(), show_loop_ids(), show_properties(), messaget::status(), and ui_message_handler.
|
protected |
Definition at line 45 of file clobber_parse_options.cpp.
References parse_options_baset::cmdline, config, cmdlinet::get_value(), cmdlinet::isset(), PARSE_OPTIONS_GOTO_CHECK, configt::set(), optionst::set_option(), and parse_options_baset::usage_error().
Referenced by doit().
|
virtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 349 of file clobber_parse_options.cpp.
References banner_string(), HELP_GOTO_CHECK, HELP_SHOW_GOTO_FUNCTIONS, configt::this_architecture(), and configt::this_operating_system().
|
protected |
Definition at line 189 of file clobber_parse_options.cpp.
References parse_options_baset::cmdline, goto_functionst::compute_loop_numbers(), messaget::eom(), messaget::get_message_handler(), goto_check(), goto_modelt::goto_functions, goto_partial_inline(), cmdlinet::isset(), make_assertions_false(), messaget::status(), and goto_functionst::update().
|
protected |
Definition at line 325 of file clobber_parse_options.cpp.
References xmlt::data, messaget::eom(), language_uit::get_ui(), ui_message_handlert::PLAIN, messaget::result(), UNREACHABLE, xml(), and ui_message_handlert::XML_UI.
|
protected |
Definition at line 277 of file clobber_parse_options.cpp.
References xmlt::data, messaget::eom(), language_uit::get_ui(), ui_message_handlert::PLAIN, messaget::result(), UNREACHABLE, xml(), and ui_message_handlert::XML_UI.
|
protected |
Definition at line 181 of file clobber_parse_options.cpp.
References parse_options_baset::cmdline, cmdlinet::get_values(), and cmdlinet::isset().
Referenced by doit().
|
protected |
Definition at line 300 of file clobber_parse_options.cpp.
References convert(), language_uit::get_ui(), ui_message_handlert::PLAIN, show_goto_trace(), language_uit::symbol_table, UNREACHABLE, xml(), and ui_message_handlert::XML_UI.
|
protected |
Definition at line 56 of file clobber_parse_options.h.
Referenced by doit().