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

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.


Method Summary
 java.util.List<IExpr> multiInxs()
           
 java.util.List<IExpr> singleInxs()
           
 IVarTableEntry var()
           
 
Methods inherited from interface nts.interf.base.IExpr
type
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

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()