public class Access
extends java.lang.Object
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() |
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
Copyright © 2003-2019 The KeY-Project.