net.sourceforge.czt.parser.zeves

Class LatexToUnicode

java.lang.Object

net.sourceforge.czt.parser.util.TokeniserDebugger

net.sourceforge.czt.parser.util.CztLexerImpl

net.sourceforge.czt.parser.zeves.LatexToUnicode

All Implemented Interfaces:

Lexer

public class LatexToUnicode
extends CztLexerImpl

The high-level latex to unicode converter for Z .

This class is responsible for translating Z specifications written in the latex mark-up language into unicode. It provides tokens whose values are unicode strings and which contain line and column number information from the original latex file or stream. This makes it possible to use this class as a standalone translater and, via CztReader, as the input to the unicode scanner and therefore for the Z parser.

Constructor Summary

Constructors

Constructor and Description
LatexToUnicode(net.sourceforge.czt.session.Source source, net.sourceforge.czt.session.SectionInfo sectInfo, Properties properties) Ignores the markup information contained in source and treats the content of source as LaTeX.

Method Summary

Modifier and Type	Method and Description
net.sourceforge.czt.session.Dialect	getDialect()
net.sourceforge.czt.session.Source	getSource()
LocToken	next()

Methods inherited from class net.sourceforge.czt.parser.util.CztLexerImpl

isKnownToolkit, logToken

Methods inherited from class net.sourceforge.czt.parser.util.TokeniserDebugger

doLog, getDebugLoggingLevel, logDebugInfo, logFormatted, setDebug

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LatexToUnicode

public LatexToUnicode(net.sourceforge.czt.session.Source source,
                      net.sourceforge.czt.session.SectionInfo sectInfo,
                      Properties properties)
               throws IOException

Ignores the markup information contained in source and treats the content of source as LaTeX.

Throws:

IOException

Method Detail

getDialect

public net.sourceforge.czt.session.Dialect getDialect()

next

public LocToken next()
              throws IOException

Throws:

IOException

getSource

public net.sourceforge.czt.session.Source getSource()