nts.interf.expr
Interface IExprArraySize

All Superinterfaces:
IExpr, ILabel, IVisitable

public interface IExprArraySize
extends IExpr

Array-size operator. E.g. |a|, or |a[i]|.


Method Summary
 IAccess access()
           
 
Methods inherited from interface nts.interf.base.IExpr
type
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

access

IAccess access()
Returns:
the array-access term, e.g. a for an array-size term |a|, or a[i] for an array-size term |a[i]|.