nts.interf.expr
Interface IAccessMulti
- All Superinterfaces:
- IAccess, IExpr, ILabel, IVisitable
public interface IAccessMulti
- extends IAccess, IExpr
Array Assignments.
An array assignment has one of these forms:
(1) a' = e
(2) a'[i1]..[in] OP [e1,..,en] (when n > 0)
(3) a'[i1]..[im][j1,..,jn] OP [e1,..,en] (where m >= 0, n >= 2)
where ik,jk,ek are expressions without further references to primed array variables, and OP is either
- the '=' operator (when the array access exposes an array) or
- a relational operator from {=,!=,<,<=,>,>=} (when the array access exposes a numerical value) or
- a logical operator from {&&,||,->,<->} (when the array access exposes a boolean value).
Array assignments are represented by a AST sub-tree rooted at an operator node,
with either IAccessBasic, IAccessIndexed, or IAccessMulti as its left child. In case
of a multiple assignment (case (3) above), the right child is IExprMany.
Methods inherited from interface nts.interf.base.IExpr |
type |
var
IVarTableEntry var()
- Returns:
- variable table entry for the accessed variable
singleInxs
java.util.List<IExpr> singleInxs()
- Returns:
- a non-empty list of index-expressions used in the array access
multiInxs
java.util.List<IExpr> multiInxs()