public class ContextStatementBlockInstantiation
extends java.lang.Object
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() |
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
|
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
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.