summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h')
-rw-r--r--Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h43
1 files changed, 43 insertions, 0 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h b/Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h
new file mode 100644
index 00000000000..a73768ca808
--- /dev/null
+++ b/Build/source/texk/dvisvgm/dvisvgm-1.2.2/src/NoPsSpecialHandler.h
@@ -0,0 +1,43 @@
+/*************************************************************************
+** NoPsSpecialHandler.h **
+** **
+** This file is part of dvisvgm -- the DVI to SVG converter **
+** Copyright (C) 2005-2013 Martin Gieseking <martin.gieseking@uos.de> **
+** **
+** This program is free software; you can redistribute it and/or **
+** modify it under the terms of the GNU General Public License as **
+** published by the Free Software Foundation; either version 3 of **
+** the License, or (at your option) any later version. **
+** **
+** This program is distributed in the hope that it will be useful, but **
+** WITHOUT ANY WARRANTY; without even the implied warranty of **
+** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the **
+** GNU General Public License for more details. **
+** **
+** You should have received a copy of the GNU General Public License **
+** along with this program; if not, see <http://www.gnu.org/licenses/>. **
+*************************************************************************/
+
+#ifndef NOPSSPECIALHANDLER_H
+#define NOPSSPECIALHANDLER_H
+
+#include "SpecialHandler.h"
+
+class NoPsSpecialHandler : public SpecialHandler
+{
+ public:
+ NoPsSpecialHandler () : _count(0) {}
+ bool process (const char *prefix, std::istream &is, SpecialActions *actions);
+ void dviEndPage ();
+ const char* name () const {return 0;}
+ const char* info () const {return 0;}
+ const char** prefixes () const;
+
+ protected:
+ bool isEndPageListener () const {return true;}
+
+ private:
+ unsigned _count; // number of PS specials skipped
+};
+
+#endif