public class ContextStatementBlockInstantiation
extends java.lang.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(java.lang.Object o) |
int |
hashCode() |
private boolean |
isDifferent(java.lang.Object self,
java.lang.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
|
java.lang.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()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
private boolean isDifferent(java.lang.Object self, java.lang.Object other)
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object