Package | Description |
---|---|
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
Modifier and Type | Field and Description |
---|---|
protected SequentPrintFilter |
SequentView.filter |
Modifier and Type | Method and Description |
---|---|
protected SequentPrintFilter |
SequentView.getFilter() |
protected SequentPrintFilter |
CurrentGoalView.getSequentPrintFilter() |
Modifier and Type | Method and Description |
---|---|
void |
SequentView.setFilter(SequentPrintFilter sequentPrintFilter) |
Modifier and Type | Class and Description |
---|---|
class |
HideSequentPrintFilter
This filter takes a search string and yields a sequent containing only
sequent formulas that match the search.
|
class |
IdentitySequentPrintFilter
Identity Filter not doing anything
|
class |
RegroupSequentPrintFilter |
class |
SearchSequentPrintFilter
This is an interface for filters that are used to
modify the sequent view, improving the search function.
|
class |
ShowSelectedSequentPrintFilter
This filter takes a
PosInOccurrence and only shows the sub-formula at that position. |
Modifier and Type | Method and Description |
---|---|
PosInSequent |
InitialPositionTable.getPosInSequent(int index,
SequentPrintFilter filter)
Returns the PosInSequent for a given char position in a
sequent.
|
protected PosInSequent |
PositionTable.getSequentPIS(ImmutableList<java.lang.Integer> posList,
SequentPrintFilter filter)
Returns a PosInSequent for a given position list, but without filling in
the bounds.
|
ImmutableList<java.lang.Integer> |
InitialPositionTable.pathForPosition(PosInOccurrence pio,
SequentPrintFilter filter)
Returns the path for a given PosInOccurrence.
|
void |
LogicPrinter.printSequent(SequentPrintFilter filter)
Pretty-print a sequent.
|
void |
LogicPrinter.printSequent(SequentPrintFilter filter,
boolean finalbreak) |
void |
LogicPrinter.update(SequentPrintFilter filter,
int lineWidth)
Reprints the sequent.
|
Copyright © 2003-2019 The KeY-Project.