PluginConverter Class Reference

Converter class (input stream rewriter). More...

#include <include/dlvhex2/PluginInterface.h>

Public Member Functions
virtual	~PluginConverter ()
virtual void	convert (std::istream &i, std::ostream &o)=0
	Conversion function.

---

Detailed Description

Converter class (input stream rewriter).

A converter is a rewriter for the raw input stream. A converter must return a parseable HEX-program in its output stream. Note, that the definition of parseable depends on whether your plugin also replaces or extends the HEX input parser.

Other possibilities for modifying the way input is prepared for evaluation are:

• PluginInterface::createRewriter (rewrite the parsed program),
• PluginInterface::createOptimizer (rewrites the dependency graph and the EDB), and
• PluginInterface::createParser and PluginInterface::createParserModules.

Definition at line 1369 of file PluginInterface.h.

---

Constructor & Destructor Documentation

virtual PluginConverter::~PluginConverter

(

)

[inline, virtual]

Definition at line 1372 of file PluginInterface.h.

---

Member Function Documentation

virtual void PluginConverter::convert	(	std::istream &	i,
		std::ostream &	o
	)		[pure virtual]

Conversion function.

The input program is read from i. The output must be passed on to the stream o, either the original input stream or the result of a conversion.

Parameters:

i	Input stream (concatenation of all input files and stdin).
o	Output stream which is expected to contain a HEX-program when this method returns.

---

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

• include/dlvhex2/PluginInterface.h