openllet.owlapi.explanation.io.manchester

Class TextBlockWriter

java.lang.Object

java.io.Writer

java.io.PrintWriter

openllet.owlapi.explanation.io.manchester.BlockWriter

openllet.owlapi.explanation.io.manchester.TextBlockWriter

All Implemented Interfaces:

Closeable, Flushable, Appendable, AutoCloseable

public class TextBlockWriter
extends BlockWriter

Description: Concrete implementation of BlockWriter for purely textual output like console output. It can probably be used for any kind of output where monospaced font is used.

This implementation simply counts the number of characters printed on one line and pads the next line with the same number of spaces.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
TextBlockWriter(Writer outWriter)

Method Summary

Modifier and Type	Method and Description
void	clearBlocks() Clear all the blocks previously defined.
void	endBlock() Ends the _current alignment block.
void	indent(int count) Print given number of spaces.
void	println()
void	printSpace()
void	startBlock() Start a new block for alignment.
void	write(char[] buf, int off, int len)
void	write(int c)
void	write(String s, int off, int len)

Methods inherited from class java.io.PrintWriter

append, append, append, checkError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

TextBlockWriter

public TextBlockWriter(Writer outWriter)

Parameters:

out -

Method Detail

println

public void println()

Description copied from class: BlockWriter

Overrides:

println in class BlockWriter

printSpace

public void printSpace()

Specified by:

printSpace in class BlockWriter

indent

public void indent(int count)

Print given number of spaces.

Parameters:

count -

clearBlocks

public void clearBlocks()

Clear all the blocks previously defined.

Specified by:

clearBlocks in class BlockWriter

startBlock

public void startBlock()

Start a new block for alignment. This will mark the _current location in the _current line as the point to be used for alignment next time a new line is printed. Previously defined alignment blocks will be inaccessible until this block is closed with a BlockWriter.endBlock() call.

Specified by:

startBlock in class BlockWriter

endBlock

public void endBlock()

Ends the _current alignment block. All subsequent lines will be aligned w.r.t. the previous block or not at all if there was no previous bloack.

Specified by:

endBlock in class BlockWriter

write

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

Overrides:

write in class BlockWriter

write

public void write(int c)

Overrides:

write in class BlockWriter

write

public void write(String s,
                  int off,
                  int len)

Overrides:

write in class BlockWriter