cprover
|
#include <janalyzer_parse_options.h>
Public Member Functions | |
virtual int | doit () override |
invoke main modules More... | |
virtual void | help () override |
display command line help More... | |
janalyzer_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 153 of file janalyzer_parse_options.h.
janalyzer_parse_optionst::janalyzer_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 60 of file janalyzer_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 271 of file janalyzer_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 330 of file janalyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 72 of file janalyzer_parse_options.cpp.
|
inlineprotected |
Definition at line 176 of file janalyzer_parse_options.h.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 733 of file janalyzer_parse_options.cpp.
|
protectedvirtual |
Depending on the command line mode, run one of the analysis tasks.
Definition at line 434 of file janalyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 666 of file janalyzer_parse_options.cpp.
|
protectedvirtual |
Definition at line 67 of file janalyzer_parse_options.cpp.
|
protected |
Definition at line 638 of file janalyzer_parse_options.cpp.
|
protected |
Definition at line 163 of file janalyzer_parse_options.h.
|
protected |
Definition at line 162 of file janalyzer_parse_options.h.