cprover
|
#include <memory_analyzer_parse_options.h>
Public Member Functions | |
memory_analyzer_parse_optionst (int argc, const char *argv[]) | |
int | doit () override |
void | help () override |
![]() | |
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 () |
Protected Attributes | |
messaget | message |
![]() | |
ui_message_handlert | ui_message_handler |
messaget | log |
Additional Inherited Members | |
![]() | |
cmdlinet | cmdline |
Definition at line 30 of file memory_analyzer_parse_options.h.
memory_analyzer_parse_optionst::memory_analyzer_parse_optionst | ( | int | argc, |
const char * | argv[] | ||
) |
Definition at line 34 of file memory_analyzer_parse_options.cpp.
|
overridevirtual |
Implements parse_options_baset.
Definition at line 46 of file memory_analyzer_parse_options.cpp.
|
overridevirtual |
Reimplemented from parse_options_baset.
Definition at line 167 of file memory_analyzer_parse_options.cpp.
|
protected |
Definition at line 39 of file memory_analyzer_parse_options.h.