net.sourceforge.czt.parser.zeves

Class LatexScanner

java.lang.Object

net.sourceforge.czt.parser.util.TokeniserDebugger

net.sourceforge.czt.parser.util.CztScannerImpl

net.sourceforge.czt.parser.zeves.LatexScanner

All Implemented Interfaces:

Scanner, CztScanner

public class LatexScanner
extends CztScannerImpl

A latex scanner for Z specifications. It scans Z specifications written in the LaTeX marku-up language as defined by the international Z standard. Note that the token values, like e.g. the value of the token DECORWORD, are unicode strings, not LaTeX strings.

This is a convenience class that feeds the output of the latex to unicode converter (LatexToUnicode) into the unicode scanner (UnicodeScanner). The CztReader in between the two is responsible for preserving line and column number information.

Constructor Summary

Constructors

Constructor and Description
LatexScanner(net.sourceforge.czt.session.Source source, net.sourceforge.czt.session.SectionInfo sectInfo, Properties properties) Creates a new scanner.

Method Summary

Modifier and Type	Method and Description
net.sourceforge.czt.session.Dialect	getDialect()
protected Class<?>	getSymbolClass()
Symbol	next_token()

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

getSymbolMap, getSymbolMap2, logSymbol

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

Methods inherited from interface net.sourceforge.czt.parser.util.CztScanner

logDebugInfo, logFormatted

Constructor Detail

LatexScanner

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

Creates a new scanner.

Parameters:

reader - the Reader to read input from.

Throws:

IOException

Method Detail

getDialect

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

next_token

public Symbol next_token()
                  throws Exception

Throws:

Exception

getSymbolClass

protected Class<?> getSymbolClass()

Specified by:

getSymbolClass in class CztScannerImpl