|
CBMC
|
#include <cw_mode.h>
Inheritance diagram for cw_modet:
Collaboration diagram for cw_modet:Public Member Functions | |
| virtual int | doit () |
| does it. More... | |
| virtual void | help_mode () |
| display command line help More... | |
| cw_modet (gcc_cmdlinet &_gcc_cmdline, const std::string &_base_name) | |
Public Member Functions inherited from goto_cc_modet | |
| int | main (int argc, const char **argv) |
| starts the compiler More... | |
| void | help () |
| display command line help More... | |
| virtual void | usage_error () |
| prints a message informing the user about incorrect options More... | |
| goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &) | |
| constructor More... | |
| ~goto_cc_modet () | |
| constructor More... | |
Protected Attributes | |
| gcc_cmdlinet & | cmdline |
| console_message_handlert | message_handler |
Protected Attributes inherited from goto_cc_modet | |
| goto_cc_cmdlinet & | cmdline |
| const std::string | base_name |
| message_handlert & | message_handler |
Additional Inherited Members | |
Protected Member Functions inherited from goto_cc_modet | |
| void | register_languages () |
|
inline |
|
virtual |
|
virtual |
|
protected |
|
protected |