public class

TypeScriptWriter

extends Writer
java.lang.Object
   ↳ java.io.Writer
     ↳ com.sun.tools.example.debug.gui.TypeScriptWriter

Summary

[Expand]
Inherited Fields
From class java.io.Writer
Public Constructors
TypeScriptWriter(TypeScript script)
Public Methods
void close()
Closes the stream, flushing it first.
void flush()
Flushes the stream.
void write(char[] cbuf, int off, int len)
Writes a portion of an array of characters.
[Expand]
Inherited Methods
From class java.io.Writer
From class java.lang.Object
From interface java.io.Closeable
From interface java.io.Flushable
From interface java.lang.Appendable

Public Constructors

public TypeScriptWriter (TypeScript script)

Public Methods

public void close ()

Closes the stream, flushing it first. Once the stream has been closed, further write() or flush() invocations will cause an IOException to be thrown. Closing a previously closed stream has no effect.

public void flush ()

Flushes the stream. If the stream has saved any characters from the various write() methods in a buffer, write them immediately to their intended destination. Then, if that destination is another character or byte stream, flush it. Thus one flush() invocation will flush all the buffers in a chain of Writers and OutputStreams.

If the intended destination of this stream is an abstraction provided by the underlying operating system, for example a file, then flushing the stream guarantees only that bytes previously written to the stream are passed to the operating system for writing; it does not guarantee that they are actually written to a physical device such as a disk drive.

public void write (char[] cbuf, int off, int len)

Writes a portion of an array of characters.

Parameters
cbuf Array of characters
off Offset from which to start writing characters
len Number of characters to write
Throws
IOException