Extra Math Pauses

Deletes pauses that are not separated by text from their immediate predecessors.

An earlier XSLT-based approach was very slow, and died on nodes with large numbers of children.

-_-_-

package tex4ht;
/* JsmlMathBreak.java (2014-05-24-11:52), generated from tex4ht-jsml-xtpipes.tex
    Copyright (C) 2009-2010 TeX Users Group
    Copyright (C) 2002-2009 Eitan M. Gurari
<.TeX4ht copyright .> */

import xtpipes.XtpipesUni;
import org.xml.sax.*;
import org.xml.sax.helpers.DefaultHandler;
import java.io.*;
import java.lang.reflect.*;
import java.util.HashMap;

public class JsmlMathBreak extends DefaultHandler {
         PrintWriter out = null;
         boolean delete = false;
   public JsmlMathBreak(PrintWriter out,
                        HashMap<String,Object> scripts,
                        Method method, PrintWriter log, boolean trace) {
     this.out = out;
   }
   public void characters(char[] ch, int start, int length) {
     String s = XtpipesUni.toUni(ch, start, length, "<>&");
     out.print( s );
     if( !s.trim().equals("") ){
        delete = false;
   } }
   public void startElement(String ns, String sName,
                                       String qName,
                                       Attributes atts) {
     if( !( delete && qName.equals("BREAK") ) ){
       String s = "<" + qName + "\n";
       for (int i = 0; i < atts.getLength(); i++) {
         String name = atts.getQName(i);
         if (name != "xmlns") {
           s += (" " + name + "=\""
               + XtpipesUni.toUni(atts.getValue(i), "<>&\"")
               + "\"");
       } }
       if( qName.equals( "BREAK" ) ){
         s += "/";
         delete = true;
       }
       s += ">";
       out.print(s);
   } }
   public void endElement(String ns, String sName, String qName) {
     if( !qName.equals( "BREAK" ) ){
       String s = "</" + qName + ">";
       out.print(s);
} } }

-_-_-

4.1 Extra Math Pauses