goto_cc_modet Class Reference

#include <goto_cc_mode.h>

Inheritance diagram for goto_cc_modet:

Collaboration diagram for goto_cc_modet:

Public Member Functions
int	main (int argc, const char **argv)
	starts the compiler
virtual int	doit ()=0
virtual void	help_mode ()=0
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
void	register_languages ()

Protected Attributes
goto_cc_cmdlinet &	cmdline
const std::string	base_name
message_handlert &	message_handler

Detailed Description

Definition at line 22 of file goto_cc_mode.h.

Constructor & Destructor Documentation

goto_cc_modet()

goto_cc_modet::goto_cc_modet	(	goto_cc_cmdlinet &	_cmdline,
		const std::string &	_base_name,
		message_handlert &	_message_handler
	)

constructor

Definition at line 33 of file goto_cc_mode.cpp.

~goto_cc_modet()

goto_cc_modet::~goto_cc_modet

(

)

constructor

Definition at line 43 of file goto_cc_mode.cpp.

Member Function Documentation

doit()

virtual int goto_cc_modet::doit ( )

pure virtual

Implemented in as_modet, cw_modet, ms_cl_modet, armcc_modet, gcc_modet, ld_modet, and ms_link_modet.

help()

void goto_cc_modet::help

(

)

display command line help

Definition at line 48 of file goto_cc_mode.cpp.

help_mode()

virtual void goto_cc_modet::help_mode ( )

pure virtual

Implemented in as_modet, cw_modet, ms_cl_modet, armcc_modet, gcc_modet, ld_modet, and ms_link_modet.

main()

int goto_cc_modet::main	(	int	argc,
		const char **	argv
	)

starts the compiler

Returns

error code

Definition at line 82 of file goto_cc_mode.cpp.

register_languages()

void goto_cc_modet::register_languages ( )

protected

Definition at line 19 of file goto_cc_languages.cpp.

usage_error()

void goto_cc_modet::usage_error ( )

virtual

Prints a message informing the user about incorrect options.

Definition at line 138 of file goto_cc_mode.cpp.

Member Data Documentation

base_name

const std::string goto_cc_modet::base_name

protected

Definition at line 39 of file goto_cc_mode.h.

cmdline

goto_cc_cmdlinet& goto_cc_modet::cmdline

protected

Definition at line 38 of file goto_cc_mode.h.

message_handler

message_handlert& goto_cc_modet::message_handler

protected

Definition at line 40 of file goto_cc_mode.h.

---

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

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