| java.lang.Object de.uka.ilkd.key.rule.inst.ContextStatementBlockInstantiation
ContextStatementBlockInstantiation | public class ContextStatementBlockInstantiation (Code) | | this class is created if the scheme given by a context term has
matched to a java program. The ContextStatementBlockInstantiation class
stores the instantiations of the prefix and the suffix.
|
ContextStatementBlockInstantiation | public ContextStatementBlockInstantiation(PosInProgram prefixEnd, PosInProgram suffixStart, ExecutionContext activeStatementContext, ProgramElement pe)(Code) | | creates a ContextStatementBlockInstantiation of a context term
Parameters: prefixEnd - the PosInProgram describing the firststatement after the end of the prefix Parameters: suffixStart - the PosInProgram describing the statementjust before the suffix begins Parameters: activeStatementContext - the ExecutionContext of the firstactive statement Parameters: pe - the ProgramElement the context positions are related to |
activeStatementContext | public ExecutionContext activeStatementContext()(Code) | | returns the execution context of the first active statement or
null if match is performed outer most
|
hashCode | public int hashCode()(Code) | | |
prefix | public PosInProgram prefix()(Code) | | returns the end position of the prefix
the end position of the prefix |
programElement | public ProgramElement programElement()(Code) | | returns the program element this context term instantiation refers to
returns the program element this context term instantiation refers to |
suffix | public PosInProgram suffix()(Code) | | returns the PosInProgram describing
the statement just before the suffix begins
|
|
|