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 41 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.
Referenced by main().
|
virtual |
display command line help
Definition at line 46 of file goto_cc_mode.cpp.
References banner_string(), CBMC_VERSION, and help_mode().
Referenced by as_modet::doit(), armcc_modet::doit(), ms_cl_modet::doit(), ms_link_modet::doit(), cw_modet::doit(), ld_modet::doit(), gcc_modet::doit(), and usage_error().
|
pure virtual |
Implemented in gcc_modet, ld_modet, armcc_modet, cw_modet, ms_cl_modet, ms_link_modet, and as_modet.
Referenced by help().
|
virtual |
starts the compiler
Definition at line 74 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 20 of file goto_cc_languages.cpp.
References new_ansi_c_language(), new_cpp_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 113 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(), armcc_modet::doit(), ms_cl_modet::doit(), cw_modet::doit(), ld_modet::doit(), gcc_modet::doit(), gcc_modet::gcc_hybrid_binary(), and ld_modet::ld_hybrid_binary().
|
protected |
Definition at line 37 of file goto_cc_mode.h.
Referenced by as_modet::as_hybrid_binary(), gcc_modet::asm_output(), as_modet::doit(), ms_link_modet::doit(), ld_modet::doit(), gcc_modet::doit(), gcc_modet::gcc_hybrid_binary(), ld_modet::ld_hybrid_binary(), main(), gcc_modet::preprocess(), as_modet::run_as(), gcc_modet::run_gcc(), and ld_modet::run_ld().