Package | Description |
---|---|
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.gui.originlabels | |
de.uka.ilkd.key.gui.utilities | |
de.uka.ilkd.key.logic.label | |
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
org.key_project.exploration.actions |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
PosInSequent underlyingObject) |
java.util.List<java.lang.String> |
KeYGuiExtension.TermInfo.getTermInfoStrings(MainWindow mainWindow,
PosInSequent pos) |
java.util.List<java.lang.String> |
KeYGuiExtension.Tooltip.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
Modifier and Type | Method and Description |
---|---|
static java.util.stream.Stream<java.lang.String> |
KeYGuiExtensionFacade.getTermInfoStrings(MainWindow mainWindow,
PosInSequent mousePos) |
static java.util.List<java.lang.String> |
KeYGuiExtensionFacade.getTooltipStrings(MainWindow window,
PosInSequent pos) |
Modifier and Type | Method and Description |
---|---|
PosInSequent |
SequentView.getLastPosInSequent()
Get the PosInSequent object for the last observed
and highlighted mouse position.
|
PosInSequent |
CurrentGoalView.getMousePosInSequent() |
protected PosInSequent |
SequentViewMenu.getPos() |
protected PosInSequent |
SequentView.getPosInSequent(java.awt.Point p)
Get a PosInSequent object for a given coordinate of the displayed
sequent.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
SequentView.getHighlightedText(PosInSequent pos) |
java.util.List<java.lang.String> |
ShowHashcodesExtension.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
void |
SequentViewInputListener.highlightOriginInSourceView(PosInSequent pos)
Highlights the origin of the term at the specified position.
|
protected void |
SequentView.setUserSelectionHighlight(PosInSequent pis)
Highlights the term at the specified position as the user's selection.
|
Constructor and Description |
---|
PosInSequentTransferable(PosInSequent pis,
Services serv)
creates an instance of this transferable
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
OriginTermLabelsExt.getTermInfoStrings(MainWindow mainWindow,
PosInSequent pos) |
java.util.List<java.lang.String> |
OriginTermLabelsExt.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
Constructor and Description |
---|
ShowOriginAction(PosInSequent pos)
Creates a new
ShowOriginAction . |
Modifier and Type | Method and Description |
---|---|
static void |
GuiUtilities.copyHighlightToClipboard(SequentView view,
PosInSequent pos) |
Modifier and Type | Method and Description |
---|---|
static OriginTermLabel.Origin |
OriginTermLabel.getOrigin(PosInSequent pis)
Find a term's origin.
|
Modifier and Type | Method and Description |
---|---|
static PosInSequent |
PosInSequent.createCfmaPos(PosInOccurrence posInOcc)
creates a PosInSequent that points to a SequentFormula described by
a PosInOccurrence.
|
static PosInSequent |
PosInSequent.createSequentPos()
creates a PosInSequent that points to the whole sequent.
|
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.
|
Constructor and Description |
---|
DeleteFormulaAction(PosInSequent pis) |
DeleteFormulaAction(PosInSequent pis,
MainWindow mainWindow) |
EditFormulaAction(PosInSequent pis) |
EditFormulaAction(PosInSequent pis,
MainWindow mainWindow) |
Copyright © 2003-2019 The KeY-Project.