armcc_modet Class Reference
#include <armcc_mode.h>
Inheritance diagram for armcc_modet: Collaboration diagram for armcc_modet:Public Member Functions | |
| int | doit () final |
| does it. More... | |
| void | help_mode () final |
| display command line help More... | |
| armcc_modet (armcc_cmdlinet &_armcc_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 | |
| armcc_cmdlinet & | cmdline |
| gcc_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 () |
Detailed Description
Definition at line 21 of file armcc_mode.h.
Constructor & Destructor Documentation
◆ armcc_modet()
|
inline |
Definition at line 27 of file armcc_mode.h.
Member Function Documentation
◆ doit()
|
finalvirtual |
◆ help_mode()
|
finalvirtual |
Member Data Documentation
◆ cmdline
|
protected |
Definition at line 36 of file armcc_mode.h.
◆ message_handler
|
protected |
Definition at line 37 of file armcc_mode.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/goto-cc/armcc_mode.h
- /home/runner/work/cbmc/cbmc/src/goto-cc/armcc_mode.cpp
