Frobby
0.9.5
|
An IOHandler implements input and output for some format in such a way that client code does not need to know which format is being used. More...
#include <IOHandler.h>
Public Member Functions | |
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< BigTermConsumer > | createIdealWriter (FILE *out) |
auto_ptr< BigTermConsumer > | createIdealListWriter (FILE *out) |
auto_ptr< CoefBigTermConsumer > | createPolynomialWriter (FILE *out) |
bool | supportsInput (const DataType &type) const |
bool | supportsOutput (const DataType &type) const |
Protected Member Functions | |
virtual BigTermConsumer * | doCreateIdealWriter (FILE *out)=0 |
virtual CoefBigTermConsumer * | doCreatePolynomialWriter (FILE *out)=0 |
Private Member Functions | |
virtual const char * | doGetName () const =0 |
virtual const char * | doGetDescription () const =0 |
virtual void | doReadIdeal (Scanner &in, InputConsumer &consumer)=0 |
virtual void | doReadIdeals (Scanner &in, InputConsumer &consumer)=0 |
virtual void | doReadTerm (Scanner &in, InputConsumer &consumer)=0 |
virtual void | doReadPolynomial (Scanner &in, CoefBigTermConsumer &consumer)=0 |
virtual void | doReadSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)=0 |
virtual void | doWriteTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)=0 |
virtual bool | doHasMoreInput (Scanner &in) const =0 |
virtual bool | doSupportsInput (const DataType &type) const =0 |
virtual bool | doSupportsOutput (const DataType &type) const =0 |
An IOHandler implements input and output for some format in such a way that client code does not need to know which format is being used.
An IOHandler need have no mutable state of its own. If it needs to track state, that state is either passed through each method call, or the IOHandler returns an object that takes care of further IO and which itself has state.
Definition at line 41 of file IOHandler.h.
|
virtual |
Definition at line 39 of file IOHandler.cpp.
auto_ptr< BigTermConsumer > IOHandler::createIdealListWriter | ( | FILE * | out | ) |
Definition at line 98 of file IOHandler.cpp.
auto_ptr< BigTermConsumer > IOHandler::createIdealWriter | ( | FILE * | out | ) |
Definition at line 89 of file IOHandler.cpp.
auto_ptr< CoefBigTermConsumer > IOHandler::createPolynomialWriter | ( | FILE * | out | ) |
Definition at line 110 of file IOHandler.cpp.
|
protectedpure virtual |
|
protectedpure virtual |
|
privatepure virtual |
Implemented in IO::IOHandlerImpl.
|
privatepure virtual |
Implemented in IO::IOHandlerImpl.
|
privatepure virtual |
Implemented in IO::NullIOHandler, and IO::IOHandlerImpl.
|
privatepure virtual |
Implemented in IO::NullIOHandler, IO::NewMonosIOHandler, IO::IOHandlerImpl, IO::IOHandlerCommon, and IO::Fourti2IOHandler.
|
privatepure virtual |
Implemented in IO::NullIOHandler, IO::NewMonosIOHandler, IO::IOHandlerImpl, IO::IOHandlerCommon, and IO::Fourti2IOHandler.
|
privatepure virtual |
Implemented in IO::NullIOHandler, IO::IOHandlerImpl, IO::IOHandlerCommon, and IO::Fourti2IOHandler.
|
privatepure virtual |
Implemented in IO::NullIOHandler, IO::IOHandlerImpl, and IO::Fourti2IOHandler.
|
privatepure virtual |
|
privatepure virtual |
Implemented in IO::IOHandlerImpl.
|
privatepure virtual |
Implemented in IO::IOHandlerImpl.
|
privatepure virtual |
const char * IOHandler::getDescription | ( | ) | const |
Definition at line 85 of file IOHandler.cpp.
const char * IOHandler::getName | ( | ) | const |
Definition at line 81 of file IOHandler.cpp.
bool IOHandler::hasMoreInput | ( | Scanner & | in | ) | const |
Definition at line 77 of file IOHandler.cpp.
void IOHandler::readIdeal | ( | Scanner & | in, |
InputConsumer & | consumer | ||
) |
Read an ideal and feed it to the consumer.
Definition at line 42 of file IOHandler.cpp.
void IOHandler::readIdeals | ( | Scanner & | in, |
InputConsumer & | consumer | ||
) |
Read a number of ideals and feed them to the consumer.
Definition at line 46 of file IOHandler.cpp.
void IOHandler::readPolynomial | ( | Scanner & | in, |
CoefBigTermConsumer & | consumer | ||
) |
Definition at line 64 of file IOHandler.cpp.
void IOHandler::readSatBinomIdeal | ( | Scanner & | in, |
SatBinomConsumer & | consumer | ||
) |
Definition at line 68 of file IOHandler.cpp.
Definition at line 50 of file IOHandler.cpp.
bool IOHandler::supportsInput | ( | const DataType & | type | ) | const |
Definition at line 119 of file IOHandler.cpp.
bool IOHandler::supportsOutput | ( | const DataType & | type | ) | const |
Definition at line 123 of file IOHandler.cpp.
void IOHandler::writeTerm | ( | const vector< mpz_class > & | term, |
const VarNames & | names, | ||
FILE * | out | ||
) |
Definition at line 72 of file IOHandler.cpp.