net.sourceforge.czt.parser.circus
Class UnicodeScanner

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

All Implemented Interfaces:

net.sourceforge.czt.java_cup.runtime.Scanner

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

A scanner for lexing Circus specifications in unicode format.

This is a convenience class that assembles the ContextFreeScanner, KeywordScanner, and SmartScanner; providing an implementation of chapters 7.2 till 7.4.4 of the ISO Standard for Z.

Note that the token stream provided by this scanner does not yet have operator names resolved to operator tokens and still contains soft newlines. This is handled by the OperatorScanner, which is created by the parser.

Author:

Petra Malik

See Also:

net.sourceforge.czt.parser.z

Constructor Summary

UnicodeScanner(net.sourceforge.czt.parser.util.CztReader in, java.util.Properties properties)

UnicodeScanner(net.sourceforge.czt.session.Source source, java.util.Properties properties)

Method Summary

static void	main(java.lang.String[] argv) Lexes a given file.
net.sourceforge.czt.java_cup.runtime.Symbol	next_token()
void	reset(java.io.Reader in)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnicodeScanner

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

Throws:

java.io.IOException

UnicodeScanner

public UnicodeScanner(net.sourceforge.czt.parser.util.CztReader in,
                      java.util.Properties properties)

Method Detail

main

public static void main(java.lang.String[] argv)

Lexes a given file.

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

reset

public void reset(java.io.Reader in)