de.uka.ilkd.key.util.pp

Class StringBackend

java.lang.Object

de.uka.ilkd.key.util.pp.StringBackend

All Implemented Interfaces:

Backend

Direct Known Subclasses:

LogicPrinter.PosTableStringBackend

public class StringBackend
extends Object
implements Backend

A Backend which appends all output to a StringBuffer. The mark(Object o) method does nothing in this implementation. There is a method count() which returns the number of characters written by this so far. The method getString() gets the output written so far.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	initOutLength
protected int	lineWidth
protected StringBuffer	out

Constructor Summary

Constructors

Constructor and Description
StringBackend(int lineWidth) Create a new StringBackend.
StringBackend(StringBuffer sb, int lineWidth) Create a new StringBackend.

Method Summary

Modifier and Type	Method and Description
void	close() Closes this backend
int	count() Returns the number of characters written through this backend.
void	flush() Flushes any buffered output
String	getString() Returns the accumulated output
int	lineWidth() Returns the available space per line
void	mark(Object o) Gets called to record a mark() call in the input.
int	measure(String s) Returns the space required to print the String s
void	newLine() Start a new line.
void	print(String s) Append a String s to the output.

Methods inherited from class java.lang.Object

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

Field Detail

out

protected StringBuffer out

initOutLength

protected int initOutLength

lineWidth

protected int lineWidth

Constructor Detail

StringBackend

public StringBackend(StringBuffer sb,
                     int lineWidth)

Create a new StringBackend. This will append all output to the given StringBuffer sb.

StringBackend

public StringBackend(int lineWidth)

Create a new StringBackend. This will accumulate output in a fresh, private StringBuffer.

Method Detail

print

public void print(String s)
           throws IOException

Append a String s to the output. s contains no newlines.

Specified by:

print in interface Backend

Throws:

IOException

newLine

public void newLine()
             throws IOException

Start a new line.

Specified by:

newLine in interface Backend

Throws:

IOException

close

public void close()
           throws IOException

Closes this backend

Specified by:

close in interface Backend

Throws:

IOException

flush

public void flush()
           throws IOException

Flushes any buffered output

Specified by:

flush in interface Backend

Throws:

IOException

mark

public void mark(Object o)

Gets called to record a mark() call in the input.

Specified by:

mark in interface Backend

count

public int count()

Returns the number of characters written through this backend.

lineWidth

public int lineWidth()

Returns the available space per line

Specified by:

lineWidth in interface Backend

measure

public int measure(String s)

Returns the space required to print the String s

Specified by:

measure in interface Backend

getString

public String getString()

Returns the accumulated output