B C D E F G I L M N O P S U V W

B

Backend<Exc extends java.lang.Exception> - Interface in de.uka.ilkd.pp

The backend for a Layouter.

begin(Layouter.BreakConsistency, Layouter.IndentationBase, int) - Method in class de.uka.ilkd.pp.DataLayouter

begin(boolean, int) - Method in class de.uka.ilkd.pp.DataLayouter

Deprecated. use DataLayouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

begin(boolean) - Method in class de.uka.ilkd.pp.DataLayouter

Deprecated. use DataLayouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

begin(Layouter.BreakConsistency, Layouter.IndentationBase, int) - Method in class de.uka.ilkd.pp.Layouter

Begin a block.

begin(boolean, int) - Method in class de.uka.ilkd.pp.Layouter

Deprecated. use Layouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

begin(boolean) - Method in class de.uka.ilkd.pp.Layouter

Deprecated. use Layouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

beginC() - Method in class de.uka.ilkd.pp.DataLayouter

beginC(int) - Method in class de.uka.ilkd.pp.DataLayouter

beginC() - Method in class de.uka.ilkd.pp.Layouter

Begin a consistent block.

beginC(int) - Method in class de.uka.ilkd.pp.Layouter

Begin a consistent block.

beginCInd() - Method in class de.uka.ilkd.pp.DataLayouter

beginCInd(int) - Method in class de.uka.ilkd.pp.DataLayouter

beginCInd() - Method in class de.uka.ilkd.pp.Layouter

Begin a consistent block.

beginCInd(int) - Method in class de.uka.ilkd.pp.Layouter

Begin a consistent block.

beginI() - Method in class de.uka.ilkd.pp.DataLayouter

beginI(int) - Method in class de.uka.ilkd.pp.DataLayouter

beginI() - Method in class de.uka.ilkd.pp.Layouter

Begin an inconsistent block.

beginI(int) - Method in class de.uka.ilkd.pp.Layouter

Begin an inconsistent block.

beginIInd() - Method in class de.uka.ilkd.pp.DataLayouter

beginIInd(int) - Method in class de.uka.ilkd.pp.DataLayouter

beginIInd() - Method in class de.uka.ilkd.pp.Layouter

Begin an inconsistent block.

beginIInd(int) - Method in class de.uka.ilkd.pp.Layouter

Begin an inconsistent block.

brk() - Method in class de.uka.ilkd.pp.DataLayouter

brk(int, int) - Method in class de.uka.ilkd.pp.DataLayouter

brk(int) - Method in class de.uka.ilkd.pp.DataLayouter

brk(int, int) - Method in class de.uka.ilkd.pp.Layouter

Print a break.

brk(int) - Method in class de.uka.ilkd.pp.Layouter

Print a break with zero offset.

brk() - Method in class de.uka.ilkd.pp.Layouter

Print a break with zero offset and width one.

C

close() - Method in interface de.uka.ilkd.pp.Backend

Closes this backend

close() - Method in class de.uka.ilkd.pp.Layouter

Close the Layouter.

close() - Method in class de.uka.ilkd.pp.StringBackend

Closes this backend

close() - Method in class de.uka.ilkd.pp.WriterBackend

Closes this backend

count() - Method in class de.uka.ilkd.pp.StringBackend

Returns the number of characters written through this backend.

count - Variable in class de.uka.ilkd.pp.WriterBackend

count() - Method in class de.uka.ilkd.pp.WriterBackend

Returns the number of characters written through this backend.

D

DataLayouter<Exc extends java.lang.Exception> - Class in de.uka.ilkd.pp

An extension of Layouter to print arbitrary Java data.

DataLayouter(Backend<Exc>, int) - Constructor for class de.uka.ilkd.pp.DataLayouter

Construts a newly allocated DataLayouter which will send output to the given Backend and has the given default indentation.

de.uka.ilkd.pp - package de.uka.ilkd.pp

A package to pretty-print information using line breaks and indentation.

DEFAULT_INDENTATION - Static variable in class de.uka.ilkd.pp.Layouter

= 2 : The default indentation for some of the convenience constructors

DEFAULT_LINE_WIDTH - Static variable in class de.uka.ilkd.pp.Layouter

= 80 : The line width for some of the convenience factories.

E

end() - Method in class de.uka.ilkd.pp.DataLayouter

end() - Method in class de.uka.ilkd.pp.Layouter

Ends the innermost block.

F

flush() - Method in interface de.uka.ilkd.pp.Backend

Flushes any buffered output

flush() - Method in class de.uka.ilkd.pp.DataLayouter

flush() - Method in class de.uka.ilkd.pp.Layouter

Output any information currently kept in buffers.

flush() - Method in class de.uka.ilkd.pp.StringBackend

Flushes any buffered output

flush() - Method in class de.uka.ilkd.pp.WriterBackend

Flushes any buffered output

G

getString() - Method in class de.uka.ilkd.pp.StringBackend

Returns the accumulated output

getStringLayouter(StringBuilder) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a StringBackend.

getStringLayouter(StringBuilder, int) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a StringBackend.

getStringLayouter(StringBuilder, int, int) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a StringBackend.

getWriterDataLayouter(Writer) - Static method in class de.uka.ilkd.pp.DataLayouter

Factory method for a DataLayouter with a WriterBackend.

getWriterDataLayouter(Writer, int) - Static method in class de.uka.ilkd.pp.DataLayouter

Factory method for a DataLayouter with a WriterBackend.

getWriterDataLayouter(Writer, int, int) - Static method in class de.uka.ilkd.pp.DataLayouter

Factory method for a DataLayouter with a WriterBackend.

getWriterLayouter(Writer) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a WriterBackend.

getWriterLayouter(Writer, int) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a WriterBackend.

getWriterLayouter(Writer, int, int) - Static method in class de.uka.ilkd.pp.Layouter

Factory method for a Layouter with a WriterBackend.

I

ind() - Method in class de.uka.ilkd.pp.DataLayouter

ind(int, int) - Method in class de.uka.ilkd.pp.DataLayouter

ind(int, int) - Method in class de.uka.ilkd.pp.Layouter

Indent relative to the indentation level if surrounding block is broken.

ind() - Method in class de.uka.ilkd.pp.Layouter

Indent with zero offset and zero width.

initOutLength - Variable in class de.uka.ilkd.pp.StringBackend

The initial number of characters in out, used by the implementation of StringBackend.count().

L

Layouter<Exc extends java.lang.Exception> - Class in de.uka.ilkd.pp

Pretty-print information formatted using line breaks and indentation.

Layouter(Backend<Exc>, int) - Constructor for class de.uka.ilkd.pp.Layouter

Construts a newly allocated Layouter which will send output to the given Backend and has the given default indentation.

Layouter.BreakConsistency - Enum in de.uka.ilkd.pp

An enum type to distinguish consistent and inconsistent blocks.

Layouter.IndentationBase - Enum in de.uka.ilkd.pp

An enum type to distinguish indentation relative to the current position or relative to the surrounding block's indentation level

lineWidth() - Method in interface de.uka.ilkd.pp.Backend

Returns the available space per line

lineWidth - Variable in class de.uka.ilkd.pp.StringBackend

The maximum width of lines to be written to this backend.

lineWidth() - Method in class de.uka.ilkd.pp.StringBackend

Returns the available space per line

lineWidth - Variable in class de.uka.ilkd.pp.WriterBackend

lineWidth() - Method in class de.uka.ilkd.pp.WriterBackend

Returns the available space per line

M

mark(Object) - Method in interface de.uka.ilkd.pp.Backend

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

mark(Object) - Method in class de.uka.ilkd.pp.DataLayouter

mark(Object) - Method in class de.uka.ilkd.pp.Layouter

This leads to a call of the Backend.mark(Object) method of the backend, when the material preceding the call to mark has been printed to the backend, including any inserted line breaks and indentation.

mark(Object) - Method in class de.uka.ilkd.pp.StringBackend

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

mark(Object) - Method in class de.uka.ilkd.pp.WriterBackend

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

measure(String) - Method in interface de.uka.ilkd.pp.Backend

Returns the space required to print the String s

measure(String) - Method in class de.uka.ilkd.pp.StringBackend

Returns the space required to print the String s

measure(String) - Method in class de.uka.ilkd.pp.WriterBackend

Returns the space required to print the String s

N

newLine() - Method in interface de.uka.ilkd.pp.Backend

Start a new line.

newLine() - Method in class de.uka.ilkd.pp.StringBackend

Start a new line.

newLine() - Method in class de.uka.ilkd.pp.WriterBackend

Start a new line.

nl() - Method in class de.uka.ilkd.pp.DataLayouter

nl() - Method in class de.uka.ilkd.pp.Layouter

Print a break with zero offset and large width.

NoExceptions - Exception in de.uka.ilkd.pp

A dummy Exception type parameter.

NoExceptions() - Constructor for exception de.uka.ilkd.pp.NoExceptions

NoExceptions(String) - Constructor for exception de.uka.ilkd.pp.NoExceptions

O

out - Variable in class de.uka.ilkd.pp.StringBackend

The StringBuffer or StringBuilder output will be accumulated in.

out - Variable in class de.uka.ilkd.pp.WriterBackend

P

pre(String) - Method in class de.uka.ilkd.pp.DataLayouter

pre(String) - Method in class de.uka.ilkd.pp.Layouter

Layout prefromated text.

prettyPrint(DataLayouter<Exc>) - Method in interface de.uka.ilkd.pp.PrettyPrintable

Pretty prints this to the DataLayouter l.

PrettyPrintable - Interface in de.uka.ilkd.pp

An interface for objects that can pretty print themselves.

print(String) - Method in interface de.uka.ilkd.pp.Backend

Append a String s to the output.

print(Object) - Method in class de.uka.ilkd.pp.DataLayouter

Print o to this DataLayouter.

print(Collection<?>) - Method in class de.uka.ilkd.pp.DataLayouter

Print a collection.

print(Map<?, ?>) - Method in class de.uka.ilkd.pp.DataLayouter

Print a map.

print(String) - Method in class de.uka.ilkd.pp.DataLayouter

print(String) - Method in class de.uka.ilkd.pp.Layouter

Output text material.

print(String) - Method in class de.uka.ilkd.pp.StringBackend

Append a String s to the output.

print(String) - Method in class de.uka.ilkd.pp.WriterBackend

Append a String s to the output.

printArray(Object) - Method in class de.uka.ilkd.pp.DataLayouter

Print an array of reference or primitive elements.

printEntry(Map.Entry<?, ?>) - Method in class de.uka.ilkd.pp.DataLayouter

Print a map entry.

S

StringBackend - Class in de.uka.ilkd.pp

A Backend which appends all output to a StringBuilder or StringBuffer.

StringBackend(StringBuilder, int) - Constructor for class de.uka.ilkd.pp.StringBackend

Create a new StringBackend.

StringBackend(StringBuffer, int) - Constructor for class de.uka.ilkd.pp.StringBackend

Deprecated. consider using the constructor StringBackend.StringBackend(StringBuilder, int), as StringBuilders are faster, and multi-threaded access to sb is probably not going to work anyhow.

StringBackend(int) - Constructor for class de.uka.ilkd.pp.StringBackend

Create a new StringBackend.

U

UnbalancedBlocksException - Exception in de.uka.ilkd.pp

Thrown by many methods of Layouter to indicate illegal usage.

UnbalancedBlocksException() - Constructor for exception de.uka.ilkd.pp.UnbalancedBlocksException

UnbalancedBlocksException(String) - Constructor for exception de.uka.ilkd.pp.UnbalancedBlocksException

V

valueOf(String) - Static method in enum de.uka.ilkd.pp.Layouter.BreakConsistency

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.uka.ilkd.pp.Layouter.IndentationBase

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.uka.ilkd.pp.Layouter.BreakConsistency

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum de.uka.ilkd.pp.Layouter.IndentationBase

Returns an array containing the constants of this enum type, in the order they are declared.

W

WriterBackend - Class in de.uka.ilkd.pp

A Backend which writes all output to a java.io.Writer.

WriterBackend(Writer, int) - Constructor for class de.uka.ilkd.pp.WriterBackend

B C D E F G I L M N O P S U V W