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, const std::string &program) | |
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) |
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... | |
Protected Attributes | |
goto_modelt | goto_model |
![]() | |
ui_message_handlert | ui_message_handler |
messaget | log |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 175 of file goto_analyzer_parse_options.h.
goto_analyzer_parse_optionst::goto_analyzer_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 72 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 or parts of it
Definition at line 414 of file goto_analyzer_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 520 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 90 of file goto_analyzer_parse_options.cpp.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 858 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Depending on the command line mode, run one of the analysis tasks.
Definition at line 578 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 804 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 83 of file goto_analyzer_parse_options.cpp.
|
protected |
Definition at line 184 of file goto_analyzer_parse_options.h.