|
cprover
|
#include <goto_cc_mode.h>
Inheritance diagram for goto_cc_modet:
Collaboration diagram for goto_cc_modet:Public Member Functions | |
| virtual int | main (int argc, const char **argv) |
| starts the compiler More... | |
| virtual int | doit ()=0 |
| virtual void | help_mode ()=0 |
| virtual 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 Member Functions | |
| void | register_languages () |
Protected Attributes | |
| goto_cc_cmdlinet & | cmdline |
| const std::string | base_name |
Additional Inherited Members |
Definition at line 21 of file goto_cc_mode.h.
| goto_cc_modet::goto_cc_modet | ( | goto_cc_cmdlinet & | _cmdline, |
| const std::string & | _base_name, | ||
| message_handlert & | _message_handler | ||
| ) |
constructor
Definition at line 30 of file goto_cc_mode.cpp.
| goto_cc_modet::~goto_cc_modet | ( | ) |
constructor
Definition at line 42 of file goto_cc_mode.cpp.
|
pure virtual |
Implemented in gcc_modet, ld_modet, armcc_modet, cw_modet, ms_cl_modet, ms_link_modet, and as_modet.
|
virtual |
display command line help
Definition at line 47 of file goto_cc_mode.cpp.
|
pure virtual |
Implemented in gcc_modet, ld_modet, armcc_modet, cw_modet, ms_cl_modet, ms_link_modet, and as_modet.
|
virtual |
|
protected |
Definition at line 20 of file goto_cc_languages.cpp.
|
virtual |
prints a message informing the user about incorrect options
Definition at line 119 of file goto_cc_mode.cpp.
|
protected |
Definition at line 38 of file goto_cc_mode.h.
|
protected |
Definition at line 37 of file goto_cc_mode.h.