net.sourceforge.czt.print.z
Class AbstractPrintVisitor

java.lang.Object
  extended by net.sourceforge.czt.print.z.AbstractPrintVisitor
All Implemented Interfaces:
net.sourceforge.czt.util.Visitor
Direct Known Subclasses:
ZPrintVisitor

public abstract class AbstractPrintVisitor
extends java.lang.Object
implements net.sourceforge.czt.util.Visitor

A Z visitor used for printing.

Author:
Petra Malik

Nested Class Summary
static interface AbstractPrintVisitor.ZPrinter
          A printer that can print Z symbols.
 
Constructor Summary
AbstractPrintVisitor(AbstractPrintVisitor.ZPrinter printer)
           
 
Method Summary
 AbstractPrintVisitor.ZPrinter getPrinter()
           
protected  void print(Token token)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractPrintVisitor

public AbstractPrintVisitor(AbstractPrintVisitor.ZPrinter printer)
Method Detail

getPrinter

public AbstractPrintVisitor.ZPrinter getPrinter()

print

protected void print(Token token)


Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.