|
Java™ Pretty Printer Library v0.5 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.uka.ilkd.pp.WriterBackend
public class WriterBackend
A Backend
which writes all output to a java.io.Writer.
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.
Field Summary | |
---|---|
protected int |
count
|
protected int |
lineWidth
|
protected java.io.Writer |
out
|
Constructor Summary | |
---|---|
WriterBackend(java.io.Writer w,
int lineWidth)
|
Method Summary | |
---|---|
void |
close()
Closes this backend |
int |
count()
Returns the number of characters written through this backend. |
void |
flush()
Flushes any buffered output |
int |
lineWidth()
Returns the available space per line |
void |
mark(java.lang.Object o)
Gets called to record a mark() call in the input. |
int |
measure(java.lang.String s)
Returns the space required to print the String s |
void |
newLine()
Start a new line. |
void |
print(java.lang.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 |
---|
protected java.io.Writer out
protected int lineWidth
protected int count
Constructor Detail |
---|
public WriterBackend(java.io.Writer w, int lineWidth)
Method Detail |
---|
public void print(java.lang.String s) throws java.io.IOException
s
to the output. s
contains no newlines.
print
in interface Backend<java.io.IOException>
java.io.IOException
public void newLine() throws java.io.IOException
newLine
in interface Backend<java.io.IOException>
java.io.IOException
public void close() throws java.io.IOException
close
in interface Backend<java.io.IOException>
java.io.IOException
public void flush() throws java.io.IOException
flush
in interface Backend<java.io.IOException>
java.io.IOException
public void mark(java.lang.Object o)
mark()
call in the input.
mark
in interface Backend<java.io.IOException>
public int count()
public int lineWidth()
lineWidth
in interface Backend<java.io.IOException>
public int measure(java.lang.String s)
s
measure
in interface Backend<java.io.IOException>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |