cprover
|
#include <as_mode.h>
Public Member Functions | |
virtual int | doit () |
does it. More... | |
virtual void | help_mode () |
display command line help More... | |
as_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary) | |
![]() | |
virtual int | main (int argc, const char **argv) |
starts the compiler More... | |
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 | |
int | run_as () |
run as or as86 with original command line More... | |
int | as_hybrid_binary () |
![]() | |
void | register_languages () |
Protected Attributes | |
gcc_message_handlert | message_handler |
const bool | produce_hybrid_binary |
const std::string | native_tool_name |
![]() | |
goto_cc_cmdlinet & | cmdline |
const std::string | base_name |
Additional Inherited Members |
as_modet::as_modet | ( | goto_cc_cmdlinet & | _cmdline, |
const std::string & | _base_name, | ||
bool | _produce_hybrid_binary | ||
) |
Definition at line 58 of file as_mode.cpp.
|
protected |
Definition at line 278 of file as_mode.cpp.
References goto_cc_modet::cmdline, messaget::debug(), messaget::eom(), messaget::error(), cmdlinet::get_value(), cmdlinet::isset(), native_tool_name, rename(), messaget::result(), run(), and run_as().
Referenced by doit().
|
virtual |
does it.
Implements goto_cc_modet.
Definition at line 69 of file as_mode.cpp.
References configt::ansi_c, as_hybrid_binary(), goto_cc_modet::base_name, CBMC_VERSION, goto_cc_modet::cmdline, compilet::COMPILE_LINK, compilet::COMPILE_LINK_EXECUTABLE, config, messaget::debug(), messaget::eom(), messaget::error(), configt::ansi_ct::GCC, get_base_name(), cmdlinet::get_value(), goto_cc_modet::help(), cmdlinet::isset(), message_handler, compilet::mode, configt::ansi_ct::mode, goto_cc_cmdlinet::parsed_argv, produce_hybrid_binary, run_as(), configt::set(), message_handlert::set_verbosity(), messaget::status(), goto_cc_cmdlinet::stdin_file, configt::this_architecture(), configt::this_operating_system(), unsafe_string2unsigned(), and messaget::warning().
|
virtual |
|
protected |
run as or as86 with original command line
Definition at line 255 of file as_mode.cpp.
References goto_cc_modet::cmdline, native_tool_name, goto_cc_cmdlinet::parsed_argv, run(), and goto_cc_cmdlinet::stdin_file.
Referenced by as_hybrid_binary(), and doit().
|
protected |
|
protected |
Definition at line 35 of file as_mode.h.
Referenced by as_hybrid_binary(), and run_as().
|
protected |