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:

Closeable, Flushable, Appendable, AutoCloseable, ZPrinter

public class UnicodePrinter
extends PrintWriter
implements 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

Constructors

Constructor and Description
UnicodePrinter(Writer out) Create a new PrintWriter, without automatic line flushing.
UnicodePrinter(Writer out, boolean autoFlush) Create a new PrintWriter.

Method Summary

Modifier and Type	Method and Description
boolean	addExtraNLFor(Token token)
Dialect	getDialect()
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(Writer out)

Create a new PrintWriter, without automatic line flushing.

Parameters:

out - a character-output stream.

UnicodePrinter

public UnicodePrinter(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 ZPrinter

addExtraNLFor

public boolean addExtraNLFor(Token token)

getDialect

public Dialect getDialect()

Specified by:

getDialect in interface ZPrinter