cprover
|
#include <cbmc_parse_options.h>
Public Member Functions | |
virtual int | doit () override |
invoke main modules More... | |
virtual void | help () override |
display command line help More... | |
cbmc_parse_optionst (int argc, const char **argv) | |
cbmc_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 () |
![]() | |
xml_interfacet (cmdlinet &_cmdline) | |
Static Public Member Functions | |
static void | set_default_options (optionst &) |
Set the options that have default values. More... | |
static bool | process_goto_program (goto_modelt &, const optionst &, messaget &) |
static int | get_goto_program (goto_modelt &, const optionst &, const cmdlinet &, messaget &, ui_message_handlert &) |
Protected Member Functions | |
void | register_languages () |
void | get_command_line_options (optionst &) |
void | preprocessing (const optionst &) |
bool | set_properties () |
![]() | |
void | get_xml_options (cmdlinet &cmdline) |
XML User Interface. More... | |
void | get_xml_options (const xmlt &xml, cmdlinet &cmdline) |
XML User Interface. More... | |
Protected Attributes | |
goto_modelt | goto_model |
ui_message_handlert | ui_message_handler |
const path_strategy_choosert | path_strategy_chooser |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 86 of file cbmc_parse_options.h.
cbmc_parse_optionst::cbmc_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 66 of file cbmc_parse_options.cpp.
cbmc_parse_optionst::cbmc_parse_optionst | ( | int | argc, |
const char ** | argv, | ||
const std::string & | extra_options | ||
) |
Definition at line 75 of file cbmc_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 418 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 103 of file cbmc_parse_options.cpp.
|
static |
Definition at line 590 of file cbmc_parse_options.cpp.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 892 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 673 of file cbmc_parse_options.cpp.
|
static |
Definition at line 730 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 24 of file cbmc_languages.cpp.
|
static |
Set the options that have default values.
This function can be called from clients that wish to emulate CBMC's default behaviour, for example unit tests.
Definition at line 87 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 558 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 117 of file cbmc_parse_options.h.
|
protected |
Definition at line 119 of file cbmc_parse_options.h.
|
protected |
Definition at line 118 of file cbmc_parse_options.h.