net.sourceforge.czt.print.z

Class ZmlScanner

java.lang.Object

net.sourceforge.czt.parser.util.TokeniserDebugger

net.sourceforge.czt.parser.util.CztScannerImpl

net.sourceforge.czt.print.z.ZmlScanner

All Implemented Interfaces:

Scanner, CztScanner

public class ZmlScanner
extends CztScannerImpl

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

Author:

Petra Malik

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ZmlScanner.SymbolCollector An implementation of AbstractPrintVisitor.ZPrinter.

Field Summary

Fields

Modifier and Type	Field and Description
protected Dialect	dialect_

Constructor Summary

Constructors

Modifier	Constructor and Description
	ZmlScanner(Dialect d, Iterator<Token> iter, Properties properties)
protected	ZmlScanner(Dialect d, Properties properties) Creates a new ZML scanner.
	ZmlScanner(SectionInfo si, net.sourceforge.czt.base.ast.Term term, Properties properties) Creates a new ZML scanner.

Method Summary

Modifier and Type	Method and Description
void	append(Symbol s)
Dialect	getDialect()
protected Symbol	getSymbol(Token token, Map<String,Object> fieldMap)
protected Class<?>	getSymbolClass()
protected Pair<String,Object>	getSymbolName(Token token)
Symbol	next_token()
void	prepend(Symbol s)
protected void	setSymbols(List<Symbol> ls)

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

Field Detail

dialect_

protected final Dialect dialect_

Constructor Detail

ZmlScanner

protected ZmlScanner(Dialect d,
                     Properties properties)

Creates a new ZML scanner.

Parameters:

properties -

ZmlScanner

public ZmlScanner(Dialect d,
                  Iterator<Token> iter,
                  Properties properties)

ZmlScanner

public ZmlScanner(SectionInfo si,
                  net.sourceforge.czt.base.ast.Term term,
                  Properties properties)

Creates a new ZML scanner.

Parameters:

term -

properties -

Method Detail

setSymbols

protected void setSymbols(List<Symbol> ls)

prepend

public void prepend(Symbol s)

append

public void append(Symbol s)

next_token

public Symbol next_token()

getSymbolName

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

getSymbol

protected Symbol getSymbol(Token token,
                           Map<String,Object> fieldMap)

getSymbolClass

protected Class<?> getSymbolClass()

Specified by:

getSymbolClass in class CztScannerImpl

getDialect

public Dialect getDialect()