Registry Plugin for printing auxiliary IDs. More...

Inheritance diagram for AuxPrinter:

Public Member Functions
virtual	~AuxPrinter ()
	Destructor.
virtual bool	print (std::ostream &out, ID id, const std::string &prefix) const =0
	Is called to request printing an auxiliary symbol.

Detailed Description

Registry Plugin for printing auxiliary IDs.

Derived classes implement the print method which decides whether printing the ID is the responsibility of that class and acts accordingly.

Definition at line 65 of file Registry.h.

Constructor & Destructor Documentation

virtual AuxPrinter::~AuxPrinter ( ) [inline, virtual]

Destructor.

Definition at line 69 of file Registry.h.

virtual bool AuxPrinter::print	(	std::ostream &	out,
		ID	id,
		const std::string &	prefix
	)		const `[pure virtual]`

Is called to request printing an auxiliary symbol.

Parameters:

out	Stream to print.
id	ID to be printed.
prefix	A string to be printed in front of the actual output (if something is printed).

Returns:: True if something was printed (which will stop further auxiliary printers to be called), and false otherwise (other auxiliary printers will then be called).

Implemented in PlainAuxPrinter.

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