net.sourceforge.czt.print.z
Class UnicodePrinter

java.lang.Object
  java.io.Writer
      java.io.PrintWriter
          net.sourceforge.czt.print.z.UnicodePrinter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, AbstractPrintVisitor.ZPrinter

public class UnicodePrinter
extends java.io.PrintWriter
implements AbstractPrintVisitor.ZPrinter

Print Z specifications in Unicode. This class adds the functionality to print Z tokens in unicode to the PrintWriter class.

Author:

Petra Malik

Field Summary

Fields inherited from class java.io.PrintWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

UnicodePrinter(java.io.Writer out)
Create a new PrintWriter, without automatic line flushing.

UnicodePrinter(java.io.Writer out, boolean autoFlush)
Create a new PrintWriter.

Method Summary

void	printToken(Token token)

Methods inherited from class java.io.PrintWriter

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

UnicodePrinter

public UnicodePrinter(java.io.Writer out)

Create a new PrintWriter, without automatic line flushing.

Parameters:

out - a character-output stream.

UnicodePrinter

public UnicodePrinter(java.io.Writer out,
                      boolean autoFlush)

Create a new PrintWriter.

Parameters:

out - a character-output stream.

autoFlush - a boolean; if true, the println() methods will flush the output buffer

Method Detail

printToken

public void printToken(Token token)

Specified by:

printToken in interface AbstractPrintVisitor.ZPrinter