Package | Description |
---|---|
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
Modifier and Type | Method and Description |
---|---|
protected Range |
SequentView.getFirstStatementRange(java.awt.Point p)
Get the character range to be highlighted for the first statement in a
java block at the given coordinate in the displayed sequent.
|
Modifier and Type | Method and Description |
---|---|
void |
SequentView.paintHighlight(Range range,
java.lang.Object highlighter)
highlights the elements in the given range using the specified
highlighter
|
Modifier and Type | Method and Description |
---|---|
Range[] |
PrettyPrinter.getKeywordRanges() |
Range |
PrettyPrinter.getRangeOfFirstExecutableStatement() |
Modifier and Type | Method and Description |
---|---|
Range |
PositionTable.firstStatementRangeForIndex(int index)
Returns the character range of the first java statement in a program
modality for the `lowest' subtable that includes
index in
its range. |
Range |
PosInSequent.getBounds()
returns the bounds in a string representation of a sequent
|
Range |
PosInSequent.getFirstJavaStatementRange()
returns the bounds, i.e.
|
Range |
PositionTable.getFirstStatementRange() |
Range |
ModalityPositionTable.getFirstStatementRange() |
Range[] |
InitialPositionTable.getJavaBlockRanges() |
Range[] |
InitialPositionTable.getKeywordRanges() |
Range[] |
InitialPositionTable.getUpdateRanges() |
Range |
InitialPositionTable.rangeForIndex(int index)
Returns the character range of the `lowest' subtable that
includes
index in its range. |
Range |
PositionTable.rangeForIndex(int index,
int length)
Returns the character range of the `lowest' subtable that includes
index in its range. |
Range |
InitialPositionTable.rangeForPath(ImmutableList<java.lang.Integer> path)
Returns the character range for the subtable indicated
by the given integer list.
|
Range |
PositionTable.rangeForPath(ImmutableList<java.lang.Integer> path,
int length) |
Modifier and Type | Method and Description |
---|---|
void |
InitialPositionTable.addJavaBlockRange(Range r)
Adds a range for a java block to the java block list.
|
void |
InitialPositionTable.addKeywordRange(Range r)
Adds a range for a keyword to the keyword list.
|
void |
InitialPositionTable.addUpdateRange(Range r) |
void |
PosInSequent.setBounds(Range r)
sets the bounds, i.e.
|
void |
PosInSequent.setFirstJavaStatementRange(Range r)
sets the bounds, i.e.
|
void |
ModalityPositionTable.setFirstStatementRange(Range r) |
Constructor and Description |
---|
Range(Range r)
Creates a copy of the specified range.
|
Copyright © 2003-2019 The KeY-Project.