public interface ArrayAccess extends Variable
ArrayAccess
is an immutable representation of an
access of an array member.Term.Instance
Modifier and Type | Method and Description |
---|---|
Expr |
array()
Array to access.
|
ArrayAccess |
array(Expr array)
Set the array to access.
|
Expr |
index()
Index into the array.
|
ArrayAccess |
index(Expr index)
Set the index into the array.
|
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
exceptions, exceptions, reachable, reachable
Expr array()
ArrayAccess array(Expr array)
Expr index()
ArrayAccess index(Expr index)