cprover
|
#include <cbmc_parse_options.h>
Public Member Functions | |
virtual int | doit () override |
invoke main modules | |
virtual void | help () override |
display command line help | |
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, const std::string &program) | |
virtual void | help () |
virtual void | usage_error () |
virtual int | doit ()=0 |
virtual int | main () |
virtual | ~parse_options_baset () |
void | log_version_and_architecture (const std::string &front_end) |
Write version and system architecture to log.status(). | |
Static Public Member Functions | |
static void | set_default_options (optionst &) |
Set the options that have default values. | |
static bool | process_goto_program (goto_modelt &, const optionst &, messaget &) |
static int | get_goto_program (goto_modelt &, const optionst &, const cmdlinet &, ui_message_handlert &) |
Protected Member Functions | |
void | register_languages () override |
void | get_command_line_options (optionst &) |
void | preprocessing (const optionst &) |
bool | set_properties () |
virtual void | register_languages () |
Protected Attributes | |
goto_modelt | goto_model |
![]() | |
ui_message_handlert | ui_message_handler |
messaget | log |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 88 of file cbmc_parse_options.h.
cbmc_parse_optionst::cbmc_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 78 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 87 of file cbmc_parse_options.cpp.
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 508 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 122 of file cbmc_parse_options.cpp.
|
static |
Definition at line 794 of file cbmc_parse_options.cpp.
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 979 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 845 of file cbmc_parse_options.cpp.
|
static |
Definition at line 878 of file cbmc_parse_options.cpp.
|
overrideprotectedvirtual |
Reimplemented from parse_options_baset.
Definition at line 25 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 103 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 783 of file cbmc_parse_options.cpp.
|
protected |
Definition at line 115 of file cbmc_parse_options.h.