Frobby  0.9.5
NullIOHandler.h
Go to the documentation of this file.
1 
2 /* Frobby: Software for monomial ideal computations.
3  Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
4 
5  This program is free software; you can redistribute it and/or modify
6  it under the terms of the GNU General Public License as published by
7  the Free Software Foundation; either version 2 of the License, or
8  (at your option) any later version.
9 
10  This program is distributed in the hope that it will be useful,
11  but WITHOUT ANY WARRANTY; without even the implied warranty of
12  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13  GNU General Public License for more details.
14 
15  You should have received a copy of the GNU General Public License
16  along with this program. If not, see http://www.gnu.org/licenses/.
17 */
18 #ifndef NULL_IO_HANDLER_GUARD
19 #define NULL_IO_HANDLER_GUARD
20 
21 #include "IOHandlerImpl.h"
22 
23 class VarNames;
24 class Scanner;
25 class BigIdeal;
26 class BigPolynomial;
27 class SatBinomConsumer;
28 class InputConsumer;
29 
30 namespace IO {
32  class NullIOHandler : public IOHandlerImpl {
33  public:
34  NullIOHandler();
35 
36  static const char* staticGetName();
37 
38  private:
39  virtual BigTermConsumer* doCreateIdealWriter(FILE* out);
41 
42  virtual void doWriteTerm(const vector<mpz_class>& term,
43  const VarNames& names,
44  FILE* out);
45  virtual void doReadIdeal(Scanner& in, InputConsumer& consumer);
46  virtual void doReadIdeals(Scanner& in, InputConsumer& consumer);
47  virtual void doReadTerm(Scanner& in, InputConsumer& consumer);
48  virtual void doReadPolynomial(Scanner& in, CoefBigTermConsumer& consumer);
49  virtual void doReadSatBinomIdeal(Scanner& in, SatBinomConsumer& consumer);
50  virtual bool doHasMoreInput(Scanner& in) const;
51  };
52 }
53 
54 #endif
This class contains a minimum level of functionality that makes it more convenient to derive from tha...
Definition: IOHandlerImpl.h:37
This class ignores the input and discards all output.
Definition: NullIOHandler.h:32
virtual void doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
virtual void doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)
virtual void doReadIdeal(Scanner &in, InputConsumer &consumer)
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
virtual bool doHasMoreInput(Scanner &in) const
static const char * staticGetName()
virtual void doReadIdeals(Scanner &in, InputConsumer &consumer)
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
This class offers an input interface which is more convenient and for some purposes more efficient th...
Definition: Scanner.h:50
Defines the variables of a polynomial ring and facilities IO involving them.
Definition: VarNames.h:40