private static final class ExecutionVariableExtractor.LocationDefinition extends 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.
|
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.