Printer Class Reference

Prints dlvhex IDs in differnt formats depending on the implementation in a subclass. More...

#include <include/dlvhex2/Printer.h>

Inheritance diagram for Printer:

Collaboration diagram for Printer:

Public Member Functions
	Printer (std::ostream &out, Registry *registry)
	Constructor.
	Printer (std::ostream &out, RegistryPtr registry)
	Constructor.
virtual	~Printer ()
	Destructor.
void	printmany (const Tuple &ids, const std::string &separator)
	Prints multiple IDs.
virtual void	print (ID id)=0
	Prints a single ID.
Protected Attributes
std::ostream &	out
	Output stream to print to.
Registry *	registry
	Registry used for resolving IDs.

---

Detailed Description

Prints dlvhex IDs in differnt formats depending on the implementation in a subclass.

Definition at line 49 of file Printer.h.

---

Constructor & Destructor Documentation

Printer::Printer	(	std::ostream &	out,
		Registry *	registry
	)		[inline]

Constructor.

Parameters:

out	See Printer::out.
registry	See Printer::registry.

Definition at line 61 of file Printer.h.

Printer::Printer	(	std::ostream &	out,
		RegistryPtr	registry
	)		[inline]

Constructor.

Parameters:

out	See Printer::out.
registry	See Printer::registry.

Definition at line 66 of file Printer.h.

virtual Printer::~Printer

(

)

[inline, virtual]

Destructor.

Definition at line 69 of file Printer.h.

---

Member Function Documentation

virtual void Printer::print

(

ID

id

)

[pure virtual]

Prints a single ID.

Parameters:

id	ID to print.

Implemented in RawPrinter.

Referenced by printmany().

DLVHEX_NAMESPACE_BEGIN void Printer::printmany	(	const Tuple &	ids,
		const std::string &	separator
	)

Prints multiple IDs.

Parameters:

ids	Vector of IDs.
separator	String to print between two IDs.

Definition at line 46 of file Printer.cpp.

References out, and print().

Referenced by DependencyGraph::createAuxiliaryRuleIfRequired(), GenuinePlainModelGeneratorFactory::GenuinePlainModelGeneratorFactory(), ParseState::parse(), PlainModelGeneratorFactory::PlainModelGeneratorFactory(), RawPrinter::print(), GuessAndCheckModelGeneratorFactory::print(), WellfoundedModelGeneratorFactory::print(), PlainModelGeneratorFactory::print(), GenuineWellfoundedModelGeneratorFactory::print(), GenuinePlainModelGeneratorFactory::print(), GenuineGuessAndCheckModelGeneratorFactory::print(), RewriteEDBIDBState::rewriteEDBIDB(), and QueryPlugin::setupProgramCtx().

---

Field Documentation

std::ostream& Printer::out [protected]

Output stream to print to.

Definition at line 53 of file Printer.h.

Referenced by RawPrinter::print(), printmany(), and RawPrinter::printWithoutPrefix().

Registry* Printer::registry [protected]

Registry used for resolving IDs.

Definition at line 55 of file Printer.h.

Referenced by RawPrinter::print(), and RawPrinter::printWithoutPrefix().

---

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

• include/dlvhex2/Printer.h
• src/Printer.cpp