Package | Description |
---|---|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
Modifier and Type | Method and Description |
---|---|
protected JavaNonTerminalProgramElement |
ProgramContextAdder.wrap(JavaNonTerminalProgramElement context,
StatementBlock putIn,
IntIterator prefixPos,
int prefixDepth,
PosInProgram prefix,
PosInProgram suffix) |
Modifier and Type | Interface and Description |
---|---|
interface |
PIOPathIterator
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 |
Modifier and Type | Class and Description |
---|---|
static class |
PosInTerm.PiTIterator |
Modifier and Type | Method and Description |
---|---|
IntIterator |
PosInTerm.iterator()
iterates through all indices in top to bottom order
|
IntIterator |
PosInProgram.iterator()
returns an iterator over the list defining the position in a term.
|
IntIterator |
PosInTerm.reverseIterator()
iterates through all indices in bottom to top order
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
PosInTerm.integerList(IntIterator it)
returns a comma separated list of integers enclosed in brackets (the list contains all integers
in the order as returned by the iterator)
|
Copyright © 2003-2019 The KeY-Project.