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... | |
Protected Attributes | |
goto_modelt | goto_model |
![]() | |
ui_message_handlert | ui_message_handler |
messaget | log |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 177 of file goto_analyzer_parse_options.h.
goto_analyzer_parse_optionst::goto_analyzer_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 62 of file goto_analyzer_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 384 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 80 of file goto_analyzer_parse_options.cpp.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 702 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Depending on the command line mode, run one of the analysis tasks.
Definition at line 445 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 679 of file goto_analyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 73 of file goto_analyzer_parse_options.cpp.
|
protected |
Definition at line 186 of file goto_analyzer_parse_options.h.