public class ContextStatementBlockInstantiation extends Object
Modifier and Type | Field and Description |
---|---|
private ExecutionContext |
activeStatementContext
the execution context of the first active statement
|
private PosInProgram |
prefixEnd
the end position of the prefix omega
|
private ProgramElement |
programElement
the whole program element this context term inst refers to
|
private PosInProgram |
suffixStart
the start position of the suffix omega
|
Constructor and Description |
---|
ContextStatementBlockInstantiation(PosInProgram prefixEnd,
PosInProgram suffixStart,
ExecutionContext activeStatementContext,
ProgramElement pe)
creates a ContextStatementBlockInstantiation of a context term
|
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
|
boolean |
equals(Object o) |
int |
hashCode() |
private boolean |
isDifferent(Object self,
Object other) |
PosInProgram |
prefix()
returns the end position of the prefix
|
ProgramElement |
programElement()
returns the program element this context term instantiation refers to
|
PosInProgram |
suffix()
returns the PosInProgram describing
the statement just before the suffix begins
|
String |
toString()
toString
|
private PosInProgram prefixEnd
private PosInProgram suffixStart
private ExecutionContext activeStatementContext
private ProgramElement programElement
public ContextStatementBlockInstantiation(PosInProgram prefixEnd, PosInProgram suffixStart, ExecutionContext activeStatementContext, ProgramElement pe)
prefixEnd
- the PosInProgram describing the first
statement after the end of the prefixsuffixStart
- the PosInProgram describing the statement
just before the suffix beginsactiveStatementContext
- the ExecutionContext of the first
active statementpe
- the ProgramElement the context positions are related topublic PosInProgram prefix()
public PosInProgram suffix()
public ExecutionContext activeStatementContext()
public ProgramElement programElement()