diff options
Diffstat (limited to 'Build/source/texk/tex4htk/java/xtpipes/util/ScriptsManagerLH.java')
-rwxr-xr-x | Build/source/texk/tex4htk/java/xtpipes/util/ScriptsManagerLH.java | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Build/source/texk/tex4htk/java/xtpipes/util/ScriptsManagerLH.java b/Build/source/texk/tex4htk/java/xtpipes/util/ScriptsManagerLH.java new file mode 100755 index 00000000000..b5fe3526208 --- /dev/null +++ b/Build/source/texk/tex4htk/java/xtpipes/util/ScriptsManagerLH.java @@ -0,0 +1,26 @@ +// 2008-01-26-00:38 +package xtpipes.util; +import org.xml.sax.ext.LexicalHandler; +// import org.xml.sax.ContentHandler; +import java.io.PrintWriter; +public class ScriptsManagerLH implements LexicalHandler { + ScriptsManager contentHandler; + PrintWriter log; + public ScriptsManagerLH( ScriptsManager contentHandler, + PrintWriter log, boolean trace ){ + this.contentHandler = contentHandler; + this.log = (log==null)? new PrintWriter( System.err ) : log; + } + public void comment(char[] ch, int start, int length){ + if( contentHandler.inBody ){ + String s = new String(ch, start, length); + contentHandler.add( "<!--" + s + "\n-->"); + } } + public void startEntity(String x){} + public void endEntity(String x){} + public void startCDATA(){} + public void endCDATA(){} + public void startDTD(String x, String y, String z){} + public void endDTD(){} +} + |