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

B

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

The backend for a Layouter.

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

The backend for a Layouter.

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

Begin a block.

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

Begin a block with default indentation.

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

Begin a block.

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

Begin a block with default indentation.

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.

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.

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.

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.

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.

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 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.Layouter

Close the Layouter.

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

Closes this backend

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

Closes this backend

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

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() - 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.

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

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_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.

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.Layouter

Ends the innermost block.

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 interface de.uka.ilkd.pp.Backend

Flushes any buffered output

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

Output any information currently kept in buffers.

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.StringBackend

Flushes any buffered output

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

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

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

Returns the accumulated output

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.

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(int, int) - Method in class de.uka.ilkd.pp.Layouter

Indent to a current indentation level if surrounding block is broken.

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

Indent with zero offset and zero width.

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

Indent to a current 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

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

L

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

This class pretty-prints information using line breaks and indentation.

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

This class pretty-prints information 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(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.

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

Returns the available space per line

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

Returns the available space per line

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

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

Returns the available space per line

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

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

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 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.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.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.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.

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 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.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

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 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.StringBackend

Start a new line.

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

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.Layouter

Print a break with zero offset and large width.

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 - 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

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

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

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

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

P

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

Layout prefromated text.

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

Layout prefromated text.

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

Append a String s to the output.

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

Append a String s to the output.

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

Output text material.

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.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.

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

Append a String s to the output.

S

setUp() - Method in class de.uka.ilkd.pp.TestLayouter

StringBackend - Class in de.uka.ilkd.pp

A Backend which appends all output to a StringBuffer.

StringBackend - Class in de.uka.ilkd.pp

A Backend which appends all output to a StringBuffer.

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

Create a new StringBackend.

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

Create a new StringBackend.

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

Create a new StringBackend.

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

Create a new StringBackend.

T

TestLayouter - Class in de.uka.ilkd.pp

Unit-Test the Layouter class.

TestLayouter(String) - Constructor for class de.uka.ilkd.pp.TestLayouter

testMark() - Method in class de.uka.ilkd.pp.TestLayouter

testNarrowConsistent() - Method in class de.uka.ilkd.pp.TestLayouter

testNarrowInconsistent() - Method in class de.uka.ilkd.pp.TestLayouter

testNarrowInd() - Method in class de.uka.ilkd.pp.TestLayouter

testNarrowPre() - Method in class de.uka.ilkd.pp.TestLayouter

testSixInconsistent() - Method in class de.uka.ilkd.pp.TestLayouter

testWideConsistent() - Method in class de.uka.ilkd.pp.TestLayouter

testWideInconsistent() - Method in class de.uka.ilkd.pp.TestLayouter

testWideInd() - Method in class de.uka.ilkd.pp.TestLayouter

testWidePre() - Method in class de.uka.ilkd.pp.TestLayouter

U

UnbalancedBlocksException - Exception in de.uka.ilkd.pp

Thrown by many methods of Layouter to indicate illegal usage.

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

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

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

W

WriterBackend - Class in de.uka.ilkd.pp

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

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

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

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