net.sourceforge.czt.parser.circus
Class LatexToUnicode

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

All Implemented Interfaces:

net.sourceforge.czt.parser.util.Lexer

public class LatexToUnicode
extends java.lang.Object
implements net.sourceforge.czt.parser.util.Lexer

The high-level latex to unicode converter for Z and Circus.

This class is responsible for translating Z and Circus 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()
net.sourceforge.czt.parser.util.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 net.sourceforge.czt.parser.util.LocToken next()
                                              throws java.io.IOException

Specified by:

next in interface net.sourceforge.czt.parser.util.Lexer

Throws:

java.io.IOException

getSource

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

Specified by:

getSource in interface net.sourceforge.czt.parser.util.Lexer