Frobby  0.9.5
Public Member Functions | Static Public Member Functions | Private Member Functions | List of all members
IO::NullIOHandler Class Reference

This class ignores the input and discards all output. More...

#include <NullIOHandler.h>

Inheritance diagram for IO::NullIOHandler:
IO::IOHandlerImpl IOHandler

Public Member Functions

 NullIOHandler ()
 
- Public Member Functions inherited from IOHandler
virtual ~IOHandler ()
 
void readIdeal (Scanner &in, InputConsumer &consumer)
 Read an ideal and feed it to the consumer. More...
 
void readIdeals (Scanner &in, InputConsumer &consumer)
 Read a number of ideals and feed them to the consumer. More...
 
void readTerm (Scanner &in, const VarNames &names, vector< mpz_class > &term)
 
void readPolynomial (Scanner &in, CoefBigTermConsumer &consumer)
 
void readSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)
 
void writeTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)
 
bool hasMoreInput (Scanner &in) const
 
const char * getName () const
 
const char * getDescription () const
 
auto_ptr< BigTermConsumercreateIdealWriter (FILE *out)
 
auto_ptr< BigTermConsumercreateIdealListWriter (FILE *out)
 
auto_ptr< CoefBigTermConsumercreatePolynomialWriter (FILE *out)
 
bool supportsInput (const DataType &type) const
 
bool supportsOutput (const DataType &type) const
 

Static Public Member Functions

static const char * staticGetName ()
 

Private Member Functions

virtual BigTermConsumerdoCreateIdealWriter (FILE *out)
 
virtual CoefBigTermConsumerdoCreatePolynomialWriter (FILE *out)
 
virtual void doWriteTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)
 
virtual void doReadIdeal (Scanner &in, InputConsumer &consumer)
 
virtual void doReadIdeals (Scanner &in, InputConsumer &consumer)
 
virtual void doReadTerm (Scanner &in, InputConsumer &consumer)
 
virtual void doReadPolynomial (Scanner &in, CoefBigTermConsumer &consumer)
 
virtual void doReadSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)
 
virtual bool doHasMoreInput (Scanner &in) const
 

Additional Inherited Members

- Protected Member Functions inherited from IO::IOHandlerImpl
 IOHandlerImpl (const char *formatName, const char *formatDescription)
 
void registerInput (const DataType &type)
 Specify that input of the argument type is supported. More...
 
void registerOutput (const DataType &type)
 Specify that output of the argument type is supported. More...
 

Detailed Description

This class ignores the input and discards all output.

Definition at line 32 of file NullIOHandler.h.

Constructor & Destructor Documentation

◆ NullIOHandler()

IO::NullIOHandler::NullIOHandler ( )

Definition at line 31 of file NullIOHandler.cpp.

Member Function Documentation

◆ doCreateIdealWriter()

BigTermConsumer * IO::NullIOHandler::doCreateIdealWriter ( FILE *  out)
privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 47 of file NullIOHandler.cpp.

◆ doCreatePolynomialWriter()

CoefBigTermConsumer * IO::NullIOHandler::doCreatePolynomialWriter ( FILE *  out)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 51 of file NullIOHandler.cpp.

◆ doHasMoreInput()

bool IO::NullIOHandler::doHasMoreInput ( Scanner in) const
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 83 of file NullIOHandler.cpp.

◆ doReadIdeal()

void IO::NullIOHandler::doReadIdeal ( Scanner in,
InputConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 60 of file NullIOHandler.cpp.

◆ doReadIdeals()

void IO::NullIOHandler::doReadIdeals ( Scanner in,
InputConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 66 of file NullIOHandler.cpp.

◆ doReadPolynomial()

void IO::NullIOHandler::doReadPolynomial ( Scanner in,
CoefBigTermConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 75 of file NullIOHandler.cpp.

◆ doReadSatBinomIdeal()

void IO::NullIOHandler::doReadSatBinomIdeal ( Scanner in,
SatBinomConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 79 of file NullIOHandler.cpp.

◆ doReadTerm()

void IO::NullIOHandler::doReadTerm ( Scanner in,
InputConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 70 of file NullIOHandler.cpp.

◆ doWriteTerm()

void IO::NullIOHandler::doWriteTerm ( const vector< mpz_class > &  term,
const VarNames names,
FILE *  out 
)
privatevirtual

Implements IOHandler.

Definition at line 55 of file NullIOHandler.cpp.

◆ staticGetName()

const char * IO::NullIOHandler::staticGetName ( )
static

Definition at line 43 of file NullIOHandler.cpp.


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