net.sourceforge.czt.print.z
Class ZmlScanner

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

All Implemented Interfaces:

net.sourceforge.czt.java_cup.runtime.Scanner

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

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

Author:

Petra Malik

Nested Class Summary

static class

ZmlScanner.SymbolCollector An implementation of AbstractPrintVisitor.ZPrinter.

Field Summary

protected java.util.List

symbols_

Constructor Summary

ZmlScanner()
Creates a new ZML scanner.

ZmlScanner(net.sourceforge.czt.base.ast.Term term)

ZmlScanner(net.sourceforge.czt.base.ast.Term term, java.util.Properties properties)
Creates a new ZML scanner.

Method Summary

void	append(net.sourceforge.czt.java_cup.runtime.Symbol s)
static int	getIntValue(java.lang.String tokenName, java.util.Map<java.lang.String,java.lang.Object> fieldMap)
net.sourceforge.czt.java_cup.runtime.Symbol	next_token()
void	prepend(net.sourceforge.czt.java_cup.runtime.Symbol s)

Methods inherited from class java.lang.Object

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

Field Detail

symbols_

protected java.util.List symbols_

Constructor Detail

ZmlScanner

public ZmlScanner()

Creates a new ZML scanner.

ZmlScanner

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

ZmlScanner

public ZmlScanner(net.sourceforge.czt.base.ast.Term term,
                  java.util.Properties properties)

Creates a new ZML scanner.

Method Detail

prepend

public void prepend(net.sourceforge.czt.java_cup.runtime.Symbol s)

append

public void append(net.sourceforge.czt.java_cup.runtime.Symbol s)

next_token

public net.sourceforge.czt.java_cup.runtime.Symbol next_token()

Specified by:

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

getIntValue

public static int getIntValue(java.lang.String tokenName,
                              java.util.Map<java.lang.String,java.lang.Object> fieldMap)