net.sourceforge.czt.parser.z
Class LatexToUnicode

java.lang.Object
  net.sourceforge.czt.parser.z.LatexToUnicode

All Implemented Interfaces:

Lexer

public class LatexToUnicode
extends java.lang.Object
implements Lexer

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 whos values are unicode strings and which contain line and column number information of 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

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

Method Summary

net.sourceforge.czt.session.Source	getSource() The source that is lexed.
LocToken	next()

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,
                      java.util.Properties properties)
               throws java.io.IOException

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

Throws:

java.io.IOException

Method Detail

next

public LocToken next()
              throws java.io.IOException

Specified by:

next in interface Lexer

Throws:

java.io.IOException

getSource

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

Description copied from interface: Lexer

The source that is lexed.

Specified by:

getSource in interface Lexer