cprover
|
#include <goto_analyzer_parse_options.h>
Public Member Functions | |
virtual int | doit () override |
invoke main modules More... | |
virtual void | help () override |
display command line help More... | |
goto_analyzer_parse_optionst (int argc, const char **argv) | |
![]() | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | usage_error () |
virtual int | main () |
virtual | ~parse_options_baset () |
Protected Member Functions | |
virtual void | register_languages () |
virtual void | get_command_line_options (optionst &options) |
virtual bool | process_goto_program (const optionst &options) |
bool | set_properties () |
virtual int | perform_analysis (const optionst &options) |
Depending on the command line mode, run one of the analysis tasks. More... | |
ai_baset * | build_analyzer (const optionst &, const namespacet &ns) |
For the task, build the appropriate kind of analyzer Ideally this should be a pure function of options. More... | |
ui_message_handlert::uit | get_ui () |
Protected Attributes | |
ui_message_handlert | ui_message_handler |
goto_modelt | goto_model |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 156 of file goto_analyzer_parse_options.h.
goto_analyzer_parse_optionst::goto_analyzer_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 67 of file goto_analyzer_parse_options.cpp.
|
protected |
For the task, build the appropriate kind of analyzer Ideally this should be a pure function of options.
However at the moment some domains require the goto_model
Definition at line 314 of file goto_analyzer_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 373 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 83 of file goto_analyzer_parse_options.cpp.
|
inlineprotected |
Definition at line 181 of file goto_analyzer_parse_options.h.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 817 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Depending on the command line mode, run one of the analysis tasks.
Definition at line 483 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 744 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 76 of file goto_analyzer_parse_options.cpp.
|
protected |
Definition at line 716 of file goto_analyzer_parse_options.cpp.
|
protected |
Definition at line 168 of file goto_analyzer_parse_options.h.
|
protected |
Definition at line 167 of file goto_analyzer_parse_options.h.