summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/java/JsmlFilter.java
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tex4htk/java/JsmlFilter.java')
-rw-r--r--Build/source/texk/tex4htk/java/JsmlFilter.java49
1 files changed, 0 insertions, 49 deletions
diff --git a/Build/source/texk/tex4htk/java/JsmlFilter.java b/Build/source/texk/tex4htk/java/JsmlFilter.java
deleted file mode 100644
index 16cbf4fbad4..00000000000
--- a/Build/source/texk/tex4htk/java/JsmlFilter.java
+++ /dev/null
@@ -1,49 +0,0 @@
-package tex4ht;
-import org.xml.sax.helpers.*;
-import org.xml.sax.*;
-import java.io.PrintWriter;
-
-public class JsmlFilter extends XMLFilterImpl {
- PrintWriter out = null;
- public JsmlFilter( PrintWriter out, PrintWriter log, boolean trace ){
- this.out = out;
- }
- public void startElement(String ns, String sName,
- String qName, Attributes attr) {
- try{
- if( qName.equals( "p" )
-|| qName.equals( "h2" )
-|| qName.equals( "h3" )
-|| qName.equals( "h4" )
-|| qName.equals( "ul" )
-|| qName.equals( "ol" )
-|| qName.equals( "li" )
-|| qName.equals( "dd" )
-|| qName.equals( "dl" )
- ){
- Attributes att = new AttributesImpl();
- super.startElement(ns, "PARA", "PARA", att);
- }
- super.startElement(ns, sName, qName, attr);
- } catch( Exception e ){
- System.out.println( "--- JsmlFilter Error 1 --- " + e);
- } }
- public void endElement(String ns, String sName, String qName){
- try{
- super.endElement(ns, sName, qName);
- if( qName.equals( "p" )
-|| qName.equals( "h2" )
-|| qName.equals( "h3" )
-|| qName.equals( "h4" )
-|| qName.equals( "ul" )
-|| qName.equals( "ol" )
-|| qName.equals( "li" )
-|| qName.equals( "dd" )
-|| qName.equals( "dl" )
- ){
- super.endElement(ns, "PARA", "PARA");
- }
- } catch( Exception e ){
- System.out.println( "--- JsmlFilter Error 2 --- " + e);
-} } }
-