public class Access extends Object
Modifier and Type | Field and Description |
---|---|
private ImmutableArray<Term> |
dimensionExpressions
The accessed array index or
null if it is not an array access. |
private ProgramVariable |
programVariable
The
ProgramVariable or null if an array index is accessed. |
Constructor and Description |
---|
Access(ImmutableArray<Term> dimensionExpressions)
Constructor.
|
Access(ProgramVariable programVariable)
Constructor.
|
Access(Term... dimensionExpressions)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
ImmutableArray<Term> |
getDimensionExpressions()
Returns the accessed array index or
null if it is not an array access. |
ProgramVariable |
getProgramVariable()
Returns the
ProgramVariable or null if an array index is accessed. |
int |
hashCode() |
boolean |
isArrayIndex()
Checks if an array index is accessed.
|
String |
toString() |
private final ProgramVariable programVariable
ProgramVariable
or null
if an array index is accessed.private final ImmutableArray<Term> dimensionExpressions
null
if it is not an array access.public Access(ProgramVariable programVariable)
programVariable
- The accessed ProgramVariable
.public Access(ImmutableArray<Term> dimensionExpressions)
dimensionExpressions
- The accessed array index.public Access(Term... dimensionExpressions)
dimensionExpressions
- The accessed array index.public ProgramVariable getProgramVariable()
ProgramVariable
or null
if an array index is accessed.ProgramVariable
or null
if an array index is accessed.public ImmutableArray<Term> getDimensionExpressions()
null
if it is not an array access.null
if it is not an array access.public boolean isArrayIndex()
true
array index is accessed, false
otherwise.