private static final class ExecutionVariableExtractor.LocationDefinition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term |
arrayIndex
The array index or
null if a ProgramVariable is used instead. |
private ProgramVariable |
programVariable
The
ProgramVariable or null if an array index is used instead. |
Constructor and Description |
---|
LocationDefinition(ProgramVariable programVariable,
Term arrayIndex)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
private final ProgramVariable programVariable
ProgramVariable
or null
if an array index is used instead.private final Term arrayIndex
null
if a ProgramVariable
is used instead.public LocationDefinition(ProgramVariable programVariable, Term arrayIndex)
programVariable
- The ProgramVariable
or null
if an array index is used instead.arrayIndex
- The array index or null
if a ProgramVariable
is used instead.