net.sourceforge.czt.print.circus
Class ZmlScanner

java.lang.Object
  net.sourceforge.czt.print.z.ZmlScanner
      net.sourceforge.czt.print.circus.ZmlScanner

All Implemented Interfaces:

net.sourceforge.czt.java_cup.runtime.Scanner

public class ZmlScanner
extends net.sourceforge.czt.print.z.ZmlScanner

This Scanner uses the print visitor to tokenize a given Z/Circus term.

Author:

Petra Malik

Nested Class Summary

Nested classes/interfaces inherited from class net.sourceforge.czt.print.z.ZmlScanner

net.sourceforge.czt.print.z.ZmlScanner.SymbolCollector

Field Summary

Fields inherited from class net.sourceforge.czt.print.z.ZmlScanner

symbols_

Constructor Summary

ZmlScanner(net.sourceforge.czt.base.ast.Term term, WarningManager manager)
Creates a new ZML scanner.

Method Summary

Methods inherited from class net.sourceforge.czt.print.z.ZmlScanner

append, getIntValue, next_token, prepend

Methods inherited from class java.lang.Object

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

Constructor Detail

ZmlScanner

public ZmlScanner(net.sourceforge.czt.base.ast.Term term,
                  WarningManager manager)

Creates a new ZML scanner.