public class ContextInstantiationEntry extends InstantiationEntry<ContextStatementBlockInstantiation>
Modifier and Type | Method and Description |
---|---|
ExecutionContext |
activeStatementContext()
returns the execution context of the first active statement or
null if match is performed outer most
|
ProgramElement |
contextProgram()
returns the context program with an ignorable part between prefix
and suffix position
|
PosInProgram |
prefix()
returns the position of the first statement after the prefix
|
PosInProgram |
suffix()
returns the position of the statement just before the suffix
starts
|
java.lang.String |
toString()
toString
|
equals, getInstantiation, hashCode
public PosInProgram prefix()
public PosInProgram suffix()
public ProgramElement contextProgram()
public ExecutionContext activeStatementContext()
public java.lang.String toString()
toString
in class InstantiationEntry<ContextStatementBlockInstantiation>
Copyright © 2003-2019 The KeY-Project.