CBMC
|
#include <crangler_parse_options.h>
Public Member Functions | |
int | doit () override |
void | help () override |
crangler_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... | |
Protected Member Functions | |
void | process_crangler_json (const std::string &file_name) |
Protected Member Functions inherited from parse_options_baset | |
virtual void | register_languages () |
Additional Inherited Members | |
Public Attributes inherited from parse_options_baset | |
cmdlinet | cmdline |
Protected Attributes inherited from parse_options_baset | |
ui_message_handlert | ui_message_handler |
messaget | log |
Definition at line 17 of file crangler_parse_options.h.
|
inline |
Definition at line 23 of file crangler_parse_options.h.
|
overridevirtual |
Implements parse_options_baset.
Definition at line 25 of file crangler_parse_options.cpp.
|
overridevirtual |
Reimplemented from parse_options_baset.
Definition at line 51 of file crangler_parse_options.cpp.
|
protected |
Definition at line 39 of file crangler_parse_options.cpp.