cprover
|
#include <goto_cc_mode.h>
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 | ||
) |
goto_cc_modet::~goto_cc_modet | ( | ) |
constructor
Definition at line 40 of file goto_cc_mode.cpp.
|
pure virtual |
Implemented in armcc_modet, cw_modet, ms_cl_modet, as_modet, and gcc_modet.
Referenced by main().
|
virtual |
display command line help
Definition at line 45 of file goto_cc_mode.cpp.
References CBMC_VERSION, and help_mode().
Referenced by as_modet::doit(), gcc_modet::doit(), ms_cl_modet::doit(), armcc_modet::doit(), cw_modet::doit(), and usage_error().
|
pure virtual |
Implemented in armcc_modet, cw_modet, ms_cl_modet, as_modet, and gcc_modet.
Referenced by help().
|
virtual |
starts the compiler
Definition at line 72 of file goto_cc_mode.cpp.
References cmdline, doit(), messaget::eom(), messaget::error(), goto_cc_cmdlinet::parse(), and usage_error().
Referenced by main().
|
protected |
Definition at line 25 of file goto_cc_languages.cpp.
References new_ansi_c_language(), new_cpp_language(), new_java_bytecode_language(), new_jsil_language(), and register_language().
Referenced by goto_cc_modet().
|
virtual |
prints a message informing the user about incorrect options
Definition at line 111 of file goto_cc_mode.cpp.
References help().
Referenced by main().
|
protected |
Definition at line 38 of file goto_cc_mode.h.
Referenced by as_modet::doit(), gcc_modet::doit(), ms_cl_modet::doit(), armcc_modet::doit(), cw_modet::doit(), and gcc_modet::gcc_hybrid_binary().
|
protected |
Definition at line 37 of file goto_cc_mode.h.
Referenced by as_modet::as_hybrid_binary(), gcc_modet::asm_output(), gcc_modet::doit(), as_modet::doit(), gcc_modet::gcc_hybrid_binary(), main(), gcc_modet::preprocess(), as_modet::run_as(), and gcc_modet::run_gcc().