net.sourceforge.czt.print.circus
Class UnicodePrinter

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

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, net.sourceforge.czt.print.z.AbstractPrintVisitor.ZPrinter

public class UnicodePrinter
extends net.sourceforge.czt.print.z.UnicodePrinter

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

Author:

Petra Malik, Leo Freitas

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

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

printToken

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