net.sourceforge.czt.parser.circus
Class LatexScanner

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

All Implemented Interfaces:

net.sourceforge.czt.java_cup.runtime.Scanner

public class LatexScanner
extends java.lang.Object
implements net.sourceforge.czt.java_cup.runtime.Scanner

A latex scanner for Z and Circus 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

LatexScanner(net.sourceforge.czt.session.Source source, net.sourceforge.czt.session.SectionInfo sectInfo, java.util.Properties properties)
Creates a new scanner.

Method Summary

net.sourceforge.czt.java_cup.runtime.Symbol

next_token()

Methods inherited from class java.lang.Object

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

Constructor Detail

LatexScanner

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

Creates a new scanner.

Parameters:

reader - the Reader to read input from.

Throws:

java.io.IOException

Method Detail

next_token

public net.sourceforge.czt.java_cup.runtime.Symbol next_token()
                                                       throws java.lang.Exception

Specified by:

next_token in interface net.sourceforge.czt.java_cup.runtime.Scanner

Throws:

java.lang.Exception