cprover
|
#include <mmcc_parse_options.h>
Public Member Functions | |
virtual int | doit () |
invoke main modules More... | |
virtual void | help () |
display command line help More... | |
mmcc_parse_optionst (int argc, const char **argv) | |
![]() | |
parse_options_baset (const std::string &optstring, int argc, const char **argv) | |
virtual void | usage_error () |
virtual int | main () |
virtual | ~parse_options_baset () |
Protected Member Functions | |
int | convert (std::istream &, const std::string &) |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 22 of file mmcc_parse_options.h.
mmcc_parse_optionst::mmcc_parse_optionst | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 23 of file mmcc_parse_options.cpp.
|
protected |
Definition at line 75 of file mmcc_parse_options.cpp.
References parsert::in, mm_parsert::instruction, message_handler, mm2cpp(), mm_parser, mm_parsert::model_name, mm_parsert::parse(), parsert::set_file(), and messaget::set_message_handler().
Referenced by doit().
|
virtual |
invoke main modules
Implements parse_options_baset.
Definition at line 29 of file mmcc_parse_options.cpp.
References cmdlinet::args, CBMC_VERSION, parse_options_baset::cmdline, convert(), cmdlinet::isset(), and parse_options_baset::usage_error().
|
virtual |
display command line help
Reimplemented from parse_options_baset.
Definition at line 97 of file mmcc_parse_options.cpp.
References banner_string(), and CBMC_VERSION.