org.qedeq.base.io
Class TextOutput

java.lang.Object
  org.qedeq.base.io.AbstractOutput
      org.qedeq.base.io.TextOutput

public class TextOutput
extends AbstractOutput

Wraps a text output stream.

Author:

Michael Meyling

Constructor Summary

TextOutput(java.lang.String name, java.io.OutputStream output, java.lang.String encoding)
Constructor.

TextOutput(java.lang.String name, java.io.PrintStream output)
Constructor.

Method Summary

void	append(java.lang.String text) Append text directly to output device.
boolean	checkError() Did any error occur during output?
void	close() Close output.
void	flush() Flush output.
java.io.IOException	getError() Get IO exception that occurred - if any.
java.lang.String	getName() Get name of output file.
long	getPosition() Get writing position.

Methods inherited from class org.qedeq.base.io.AbstractOutput

addToken, addWs, clearLevel, columnsLeft, getColumns, getLevel, popLevel, popLevel, print, print, print, println, println, println, printWithoutSplit, pushLevel, pushLevel, setColumns, setLevel, setTabLevel, skipToColumn

Methods inherited from class java.lang.Object

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

Constructor Detail

TextOutput

public TextOutput(java.lang.String name,
                  java.io.PrintStream output)

Constructor.

Parameters:

name - File name.

output - Write to this output. Must have the correct encoding.

TextOutput

public TextOutput(java.lang.String name,
                  java.io.OutputStream output,
                  java.lang.String encoding)

Constructor.

Parameters:

name - File name.

output - Write to this output.

encoding - Use this encoding.

Method Detail

flush

public final void flush()

Flush output.

Overrides:

flush in class AbstractOutput

close

public final void close()

Close output.

checkError

public final boolean checkError()

Did any error occur during output?

Returns:

Did an error occur?

getName

public final java.lang.String getName()

Get name of output file.

Returns:

File name.

getError

public final java.io.IOException getError()

Get IO exception that occurred - if any.

LATER mime 20070131: use something else than PrintStream to get better error support?

Returns:

Occurred IO exception. Could be null.

append

public void append(java.lang.String text)

Description copied from class: AbstractOutput

Append text directly to output device.

Specified by:

append in class AbstractOutput

Parameters:

text - Append this text.

getPosition

public long getPosition()

Description copied from class: AbstractOutput

Get writing position.

Specified by:

getPosition in class AbstractOutput

Returns:

Writing position.