| de.uka.ilkd.key.logic.PIOPathIterator
| PIOPathIterator | | public interface PIOPathIterator extends IntIterator(Code) | | This interface represents an iterator, iterating the nodes on the
path between the root of a term and a position within the term,
given by a PosInOccurrence-object
|
| getChild | | int getChild()(Code) | | the number of the next child on the path, or-1 if no further child exists (this is the numberthat was also returned by the last call of next()) |
| getPosInOccurrence | | PosInOccurrence getPosInOccurrence()(Code) | | the current position within the term(i.e. corresponding to the latest next()-call) |
| getSubTerm | | Term getSubTerm()(Code) | | the current subterm this object points to(i.e. corresponding to the latest next()-call);this method satisfiesgetPosInOccurrence().subTerm()==getSubTerm() |
| next | | int next()(Code) | | the number of the next child on the path, or-1 if no further child exists |
|
|