as_modet Class Reference

#include <as_mode.h>

Inheritance diagram for as_modet:

Collaboration diagram for as_modet:

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)
Public Member Functions inherited from goto_cc_modet
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...
Public Member Functions inherited from messaget
virtual void	set_message_handler (message_handlert &_message_handler)
message_handlert &	get_message_handler ()
	messaget ()
	messaget (const messaget &other)
	messaget (message_handlert &_message_handler)
virtual	~messaget ()
mstreamt &	get_mstream (unsigned message_level)
mstreamt &	error ()
mstreamt &	warning ()
mstreamt &	result ()
mstreamt &	status ()
mstreamt &	statistics ()
mstreamt &	progress ()
mstreamt &	debug ()

Protected Member Functions
int	run_as ()
	run as or as86 with original command line More...
int	as_hybrid_binary ()
Protected Member Functions inherited from goto_cc_modet
void	register_languages ()

Protected Attributes
gcc_message_handlert	message_handler
const bool	produce_hybrid_binary
const std::string	native_tool_name
Protected Attributes inherited from goto_cc_modet
goto_cc_cmdlinet &	cmdline
const std::string	base_name
Protected Attributes inherited from messaget
message_handlert *	message_handler
mstreamt	mstream

Additional Inherited Members
Public Types inherited from messaget
enum	message_levelt {   M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6,   M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10 }
Static Public Member Functions inherited from messaget
static mstreamt &	eom (mstreamt &m)
static mstreamt &	endl (mstreamt &m)

Detailed Description

Definition at line 21 of file as_mode.h.

Constructor & Destructor Documentation

as_modet()

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.

Member Function Documentation

as_hybrid_binary()

int as_modet::as_hybrid_binary ( )

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().

doit()

int as_modet::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().

help_mode()

void as_modet::help_mode ( )

virtual

display command line help

Implements goto_cc_modet.

Definition at line 363 of file as_mode.cpp.

run_as()

int as_modet::run_as ( )

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().

Member Data Documentation

message_handler

gcc_message_handlert as_modet::message_handler

protected

Definition at line 33 of file as_mode.h.

Referenced by doit().

native_tool_name

const std::string as_modet::native_tool_name

protected

Definition at line 35 of file as_mode.h.

Referenced by as_hybrid_binary(), and run_as().

produce_hybrid_binary

const bool as_modet::produce_hybrid_binary

protected

Definition at line 34 of file as_mode.h.

Referenced by doit().

---

The documentation for this class was generated from the following files:

• goto-cc/as_mode.h
• goto-cc/as_mode.cpp