| java.lang.Object
 de.uka.ilkd.key.pp.PositionTable
de.uka.ilkd.key.pp.InitialPositionTable
| InitialPositionTable | | public class InitialPositionTable extends PositionTable (Code) | | An InitialPositionTable is a PositionTable that describes the
beginning of the element/subelement relationship. Thus, an
InitialPositionTable describes the information on where the
semisequents of a sequent are located. It is the root of the tree of
PositionTables and may be asked for a PosInSequent for a given index
position and a given Sequent.
For simplicity, the an InitialPositionTable has only one row.
The various constrained formulae of a sequent are located
one level below. In other words the whole sequent is not
represented by an empty position list but by the list [0].
|
| InitialPositionTable | | public InitialPositionTable()(Code) | | creates a new Initial PositionTable.
|
| addUpdateRange | | public void addUpdateRange(Range r)(Code) | | |
| getPosInSequent | | public PosInSequent getPosInSequent(int index, SequentPrintFilter filter)(Code) | | Returns the PosInSequent for a given char position in a
sequent.
Parameters:
index - the char position that points to the wantedposition in sequent
Parameters:
filter - the sequent print filter from that was used toprint the sequent |
| pathForPosition | | public ListOfInteger pathForPosition(PosInOccurrence pio, SequentPrintFilter filter)(Code) | | Returns the path for a given PosInOccurrence. This is
built up from the initial 0, the number of the
ConstrainedFormula in the sequent, the position in the
constrained formula, and possibly inside a Metavariable
instantiation.
|
| rangeForIndex | | public Range rangeForIndex(int index)(Code) | | Returns the character range of the `lowest' subtable that
includes index in its range.
Parameters:
index - the character index to search for. |
| rangeForPath | | public Range rangeForPath(ListOfInteger path)(Code) | | Returns the character range for the subtable indicated
by the given integer list.
|
|
|