#include <cbmc_parse_options.h>
Inheritance diagram for cbmc_parse_optionst: Collaboration diagram for cbmc_parse_optionst: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) | |
| Public Member Functions inherited from parse_options_baset | |
| 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 () |
| void | log_version_and_architecture (const std::string &front_end) |
| Write version and system architecture to log.status(). More... | |
Static Public Member Functions | |
| static void | set_default_options (optionst &) |
| Set the options that have default values. More... | |
| static void | set_default_analysis_flags (optionst &, const bool enabled) |
| Setup default analysis flags. More... | |
| 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 () |
Protected Attributes | |
| goto_modelt | goto_model |
| Protected Attributes inherited from parse_options_baset | |
| ui_message_handlert | ui_message_handler |
| messaget | log |
Additional Inherited Members | |
| Public Attributes inherited from parse_options_baset | |
| cmdlinet | cmdline |
Detailed Description
Definition at line 76 of file cbmc_parse_options.h.
Constructor & Destructor Documentation
◆ cbmc_parse_optionst() [1/2]
| cbmc_parse_optionst::cbmc_parse_optionst | ( | int | argc, |
| const char ** | argv | ||
| ) |
Definition at line 68 of file cbmc_parse_options.cpp.
◆ cbmc_parse_optionst() [2/2]
| cbmc_parse_optionst::cbmc_parse_optionst | ( | int | argc, |
| const char ** | argv, | ||
| const std::string & | extra_options | ||
| ) |
Definition at line 77 of file cbmc_parse_options.cpp.
Member Function Documentation
◆ doit()
|
overridevirtual |
invoke main modules
Implements parse_options_baset.
Definition at line 487 of file cbmc_parse_options.cpp.
◆ get_command_line_options()
|
protected |
Definition at line 144 of file cbmc_parse_options.cpp.
◆ get_goto_program()
|
static |
Definition at line 793 of file cbmc_parse_options.cpp.
◆ help()
|
overridevirtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 1005 of file cbmc_parse_options.cpp.
◆ preprocessing()
|
protected |
Definition at line 846 of file cbmc_parse_options.cpp.
◆ process_goto_program()
|
static |
Definition at line 878 of file cbmc_parse_options.cpp.
◆ register_languages()
|
overrideprotectedvirtual |
Reimplemented from parse_options_baset.
Definition at line 21 of file cbmc_languages.cpp.
◆ set_default_analysis_flags()
|
static |
Setup default analysis flags.
This function sets up the default analysis checks as discussed in RFC https://github.com/diffblue/cbmc/issues/7975.
Definition at line 109 of file cbmc_parse_options.cpp.
◆ set_default_options()
|
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 93 of file cbmc_parse_options.cpp.
◆ set_properties()
|
protected |
Definition at line 782 of file cbmc_parse_options.cpp.
Member Data Documentation
◆ goto_model
|
protected |
Definition at line 108 of file cbmc_parse_options.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/cbmc/cbmc_parse_options.h
- /home/runner/work/cbmc/cbmc/src/cbmc/cbmc_languages.cpp
- /home/runner/work/cbmc/cbmc/src/cbmc/cbmc_parse_options.cpp
