summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/java/OomFilter.java
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tex4htk/java/OomFilter.java')
-rw-r--r--Build/source/texk/tex4htk/java/OomFilter.java62
1 files changed, 0 insertions, 62 deletions
diff --git a/Build/source/texk/tex4htk/java/OomFilter.java b/Build/source/texk/tex4htk/java/OomFilter.java
deleted file mode 100644
index d6ab78100bc..00000000000
--- a/Build/source/texk/tex4htk/java/OomFilter.java
+++ /dev/null
@@ -1,62 +0,0 @@
-package tex4ht;
-/**********************************************************/
-/* OomFilterImpl.java 2009-03-11-03:09 */
-/* Copyright (C) 2006--2009 Eitan M. Gurari */
-/* */
-/* This work may be distributed and/or modified under the */
-/* conditions of the LaTeX Project Public License, either */
-/* version 1.3 of this license or (at your option) any */
-/* later version. The latest version of this license is */
-/* in */
-/* http://www.latex-project.org/lppl.txt */
-/* and version 1.3 or later is part of all distributions */
-/* of LaTeX version 2003/12/01 or later. */
-/* */
-/* This work has the LPPL maintenance status "maintained".*/
-/* */
-/* This Current Maintainer of this work */
-/* is Eitan M. Gurari. */
-/* */
-/* gurari@cse.ohio-state.edu */
-/* http://www.cse.ohio-state.edu/~gurari */
-/**********************************************************/
-
-
-import org.xml.sax.helpers.*;
-import org.xml.sax.*;
-import java.io.PrintWriter;
-
-public class OomFilter extends XMLFilterImpl {
- PrintWriter out = null;
- boolean mtext = false;
- public OomFilter( PrintWriter out,
- PrintWriter log, boolean trace ){
- this.out = out;
- }
- public void startElement(String ns, String sName,
- String qName, Attributes attr) {
- if( qName.equals( "math:mtext" ) ){ mtext = true; }
- try{
- super.startElement(ns, sName, qName, attr);
- } catch( Exception e ){
- System.err.println( "--- OomFilter Error 1 --- " + e);
- }
- }
- public void endElement(String ns, String sName, String qName){
- if( qName.equals( "math:mtext" ) ){ mtext = false; }
- try{
- super.endElement(ns, sName, qName);
- } catch( Exception e ){
- System.err.println( "--- OomFilter Error 2 --- " + e);
- } }
- public void characters(char[] ch, int start, int length){
- try{
- if ( mtext ) {
- for(int i = start; i<start+length; i++){
- if( ch[i] == 160 ){ ch[i] = ' '; }
- } }
- super.characters(ch, start, length);
- } catch( Exception e ){
- System.out.println( "--- OomFilter Error 3 --- " + e);
-} } }
-