|
| |
|
| java.lang.Object
 de.uka.ilkd.key.logic.PosInProgram
| PosInProgram | | public class PosInProgram (Code) | | this class describes the position of a statement in a program.
|
| Inner Class :static class PosIntIterator implements IntIterator | |
| Inner Class :static class PosArrayIntIterator implements IntIterator | |
| depth | | public int depth()(Code) | | size of the position list
|
| down | | public PosInProgram down(int n)(Code) | | descending downwards choosing the n'th statement of the program
Parameters:
n - the int describes the position of the statement in the block position of the statement |
| equals | | public boolean equals(Object obj)(Code) | | compares this PosInProgram with another PosInProgram
and returns true if both describe the same position
|
| get | | public int get(int i)(Code) | | |
| getProgramAt | | public static ProgramElement getProgramAt(PosInProgram pos, ProgramElement prg)(Code) | | returns the ProgramElement at the given position
Parameters:
pos - the PosInProgram
Parameters:
prg - the ProgramElement we walk through the ProgramElement at the given position
throws:
IndexOutOfBoundsException - if the given position refers to a non-existant program |
| hashCode | | public int hashCode()(Code) | | |
| iterator | | public IntIterator iterator()(Code) | | returns an iterator over the list defining the position in a term.
an iterator over the list defining the position in a term. |
| last | | public int last()(Code) | | return the last index (or -1 if this == TOP)
|
| reverseIterator | | public IntIterator reverseIterator()(Code) | | returns an IteratorOfInteger that iterates through the subterms
of a sequent in the reverse order as the PosInProgram has been defined.
IteratorOfInteger that iterates through the subtermsof a sequent in the reverse order as the PosInProgram has been defined. |
|
|
|