net.sourceforge.czt.print.zeves

Class ZmlScanner

java.lang.Object

net.sourceforge.czt.parser.util.TokeniserDebugger

net.sourceforge.czt.parser.util.CztScannerImpl

net.sourceforge.czt.print.z.ZmlScanner

net.sourceforge.czt.print.zeves.ZmlScanner

All Implemented Interfaces:

Scanner, CztScanner

public class ZmlScanner
extends 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

ZmlScanner.SymbolCollector

Field Summary

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

dialect_

Constructor Summary

Constructors

Constructor and Description
ZmlScanner(net.sourceforge.czt.session.Dialect d, Iterator<Token> iter, Properties props)
ZmlScanner(net.sourceforge.czt.session.SectionInfo si, net.sourceforge.czt.base.ast.Term term, net.sourceforge.czt.z.util.WarningManager manager, Properties prop) Creates a new ZML scanner.

Method Summary

Modifier and Type	Method and Description
protected Class<?>	getSymbolClass()
protected Pair<String,Object>	getSymbolName(Token token)
Symbol	next_token()

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

append, getDialect, getSymbol, prepend, setSymbols

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

ZmlScanner

public ZmlScanner(net.sourceforge.czt.session.SectionInfo si,
                  net.sourceforge.czt.base.ast.Term term,
                  net.sourceforge.czt.z.util.WarningManager manager,
                  Properties prop)

Creates a new ZML scanner.

Parameters:

term -

manager -

prop -

ZmlScanner

public ZmlScanner(net.sourceforge.czt.session.Dialect d,
                  Iterator<Token> iter,
                  Properties props)

Method Detail

next_token

public Symbol next_token()

Specified by:

next_token in interface Scanner

Overrides:

next_token in class ZmlScanner

getSymbolName

protected Pair<String,Object> getSymbolName(Token token)

Overrides:

getSymbolName in class ZmlScanner

getSymbolClass

protected Class<?> getSymbolClass()

Overrides:

getSymbolClass in class ZmlScanner