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.
virtual void	help_mode ()
	display command line help
	as_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary)
Public Member Functions inherited from goto_cc_modet
int	main (int argc, const char **argv)
	starts the compiler
void	help ()
	display command line help
virtual void	usage_error ()
	Prints a message informing the user about incorrect options.
	goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
	constructor
	~goto_cc_modet ()
	constructor

Protected Member Functions
int	run_as ()
	run as or as86 with original command line
int	as_hybrid_binary (const compilet &compiler)
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
message_handlert &	message_handler

Detailed Description

Definition at line 22 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 59 of file as_mode.cpp.

Member Function Documentation

as_hybrid_binary()

int as_modet::as_hybrid_binary ( const compilet &  compiler )

protected

Definition at line 285 of file as_mode.cpp.

doit()

int as_modet::doit ( )

virtual

does it.

Implements goto_cc_modet.

Definition at line 70 of file as_mode.cpp.

help_mode()

void as_modet::help_mode ( )

virtual

display command line help

Implements goto_cc_modet.

Definition at line 331 of file as_mode.cpp.

run_as()

int as_modet::run_as ( )

protected

run as or as86 with original command line

Definition at line 262 of file as_mode.cpp.

Member Data Documentation

message_handler

gcc_message_handlert as_modet::message_handler

protected

Definition at line 34 of file as_mode.h.

native_tool_name

const std::string as_modet::native_tool_name

protected

Definition at line 36 of file as_mode.h.

produce_hybrid_binary

const bool as_modet::produce_hybrid_binary

protected

Definition at line 35 of file as_mode.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-cc/as_mode.h
• /home/runner/work/cbmc/cbmc/src/goto-cc/as_mode.cpp