cprover
|
#include <goto_harness_parse_options.h>
Classes | |
struct | goto_harness_configt |
Public Member Functions | |
int | doit () override |
void | help () override |
goto_harness_parse_optionst (int argc, const char *argv[]) | |
![]() | |
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 () |
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 | |
![]() | |
cmdlinet | cmdline |
![]() | |
ui_message_handlert | ui_message_handler |
messaget | log |
Definition at line 33 of file goto_harness_parse_options.h.
goto_harness_parse_optionst::goto_harness_parse_optionst | ( | int | argc, |
const char * | argv[] | ||
) |
Definition at line 187 of file goto_harness_parse_options.cpp.
|
private |
Gather all the options that are not handled by handle_common_options()
.
Definition at line 254 of file goto_harness_parse_options.cpp.
|
overridevirtual |
Implements parse_options_baset.
Definition at line 96 of file goto_harness_parse_options.cpp.
|
private |
Handle command line arguments that are common to all harness generators.
Definition at line 198 of file goto_harness_parse_options.cpp.
|
overridevirtual |
Reimplemented from parse_options_baset.
Definition at line 161 of file goto_harness_parse_options.cpp.
|
private |
Setup the generator factory.
This is the function you need to change when you add a new generator.
Definition at line 237 of file goto_harness_parse_options.cpp.