#include <goto_harness_parse_options.h>
Inheritance diagram for goto_harness_parse_optionst: Collaboration diagram for goto_harness_parse_optionst:Classes | |
| struct | goto_harness_configt |
Public Member Functions | |
| int | doit () override |
| void | help () override |
| goto_harness_parse_optionst (int argc, const char *argv[]) | |
| 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... | |
Private Member Functions | |
| goto_harness_configt | handle_common_options () |
| Handle command line arguments that are common to all harness generators. More... | |
| goto_harness_generator_factoryt::generator_optionst | collect_generate_factory_options () |
Gather all the options that are not handled by handle_common_options(). More... | |
| goto_harness_generator_factoryt | make_factory () |
| Setup the generator factory. More... | |
Additional Inherited Members | |
| Public Attributes inherited from parse_options_baset | |
| cmdlinet | cmdline |
| Protected Member Functions inherited from parse_options_baset | |
| virtual void | register_languages () |
| Protected Attributes inherited from parse_options_baset | |
| ui_message_handlert | ui_message_handler |
| messaget | log |
Detailed Description
Definition at line 31 of file goto_harness_parse_options.h.
Constructor & Destructor Documentation
◆ goto_harness_parse_optionst()
| goto_harness_parse_optionst::goto_harness_parse_optionst | ( | int | argc, |
| const char * | argv[] | ||
| ) |
Definition at line 203 of file goto_harness_parse_options.cpp.
Member Function Documentation
◆ collect_generate_factory_options()
|
private |
Gather all the options that are not handled by handle_common_options().
Definition at line 270 of file goto_harness_parse_options.cpp.
◆ doit()
|
overridevirtual |
Implements parse_options_baset.
Definition at line 97 of file goto_harness_parse_options.cpp.
◆ handle_common_options()
|
private |
Handle command line arguments that are common to all harness generators.
Definition at line 214 of file goto_harness_parse_options.cpp.
◆ help()
|
overridevirtual |
Reimplemented from parse_options_baset.
Definition at line 173 of file goto_harness_parse_options.cpp.
◆ make_factory()
|
private |
Setup the generator factory.
This is the function you need to change when you add a new generator.
Definition at line 253 of file goto_harness_parse_options.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-harness/goto_harness_parse_options.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-harness/goto_harness_parse_options.cpp
