Package | Description |
---|---|
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
de.uka.ilkd.key.util.pp |
A package to pretty-print information using line breaks and
indentation.
|
Modifier and Type | Field and Description |
---|---|
protected Layouter |
LogicPrinter.layouter
This chooses the layout.
|
Modifier and Type | Method and Description |
---|---|
protected Layouter |
LogicPrinter.getLayouter()
Returns the Layouter
|
protected Layouter |
LogicPrinter.mark(de.uka.ilkd.key.pp.LogicPrinter.MarkType type) |
protected Layouter |
LogicPrinter.mark(de.uka.ilkd.key.pp.LogicPrinter.MarkType type,
int parameter) |
Modifier and Type | Method and Description |
---|---|
Layouter |
Layouter.begin(boolean consistent)
Begin a block with default indentation.
|
Layouter |
Layouter.begin(boolean consistent,
int indent)
Begin a block.
|
Layouter |
Layouter.beginC()
Begin a consistent block.
|
Layouter |
Layouter.beginC(int indent)
Begin a consistent block.
|
Layouter |
Layouter.beginI()
Begin an inconsistent block.
|
Layouter |
Layouter.beginI(int indent)
Begin an inconsistent block.
|
Layouter |
Layouter.brk()
Print a break with zero offset and width one.
|
Layouter |
Layouter.brk(int width)
Print a break with zero offset.
|
Layouter |
Layouter.brk(int width,
int offset)
Print a break.
|
Layouter |
Layouter.end()
Ends the innermost block.
|
Layouter |
Layouter.flush()
Output any information currently kept in buffers.
|
Layouter |
Layouter.ind()
Indent with zero offset and zero width.
|
Layouter |
Layouter.ind(int width,
int offset)
Indent to a current indentation level if surrounding block is
broken.
|
Layouter |
Layouter.mark(java.lang.Object o)
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. |
Layouter |
Layouter.nl()
Print a break with zero offset and large width.
|
Layouter |
Layouter.pre(java.lang.String s)
Layout prefromated text.
|
Layouter |
Layouter.print(java.lang.String s)
Output text material.
|
Copyright © 2003-2019 The KeY-Project.