public class Access
extends java.lang.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(java.lang.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.
|
java.lang.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.public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object