polyglot.util

Class UnicodeWriter

java.lang.Object

java.io.Writer

java.io.FilterWriter

polyglot.util.UnicodeWriter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

public class UnicodeWriter
extends java.io.FilterWriter

Output stream for writing unicode. Non-ASCII Unicode characters are escaped.

Field Summary

Fields inherited from class java.io.FilterWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

Constructors

Constructor and Description
UnicodeWriter(java.io.Writer out)

Method Summary

Methods

Modifier and Type	Method and Description
void	write(char[] cbuf, int off, int len)
void	write(int c)
void	write(java.lang.String str, int off, int len)

Methods inherited from class java.io.FilterWriter

close, flush

Methods inherited from class java.io.Writer

append, append, append, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

UnicodeWriter

public UnicodeWriter(java.io.Writer out)

Method Detail

write

public void write(int c)
           throws java.io.IOException

Overrides:

write in class java.io.FilterWriter

Throws:

java.io.IOException

write

public void write(char[] cbuf,
         int off,
         int len)
           throws java.io.IOException

Overrides:

write in class java.io.FilterWriter

Throws:

java.io.IOException

write

public void write(java.lang.String str,
         int off,
         int len)
           throws java.io.IOException

Overrides:

write in class java.io.FilterWriter

Throws:

java.io.IOException