nts.interf.base
Interface IExpr

All Superinterfaces:
ILabel, IVisitable
All Known Subinterfaces:
IAccess, IAccessBasic, IAccessIndexed, IAccessMulti, IExprAnd, IExprArraySize, IExprBin, IExprDivide, IExprEq, IExprEquiv, IExprExists, IExprForall, IExprGeq, IExprGt, IExprImpl, IExprLeq, IExprList, IExprLt, IExprMinus, IExprMult, IExprNeq, IExprNot, IExprOr, IExprPlus, IExprQ, IExprRemainder, IExprUn, IExprUnaryMinus, IHavoc, ILitBool, ILitReal

public interface IExpr
extends ILabel

The base interface for expressions.


Method Summary
 IType type()
           
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

type

IType type()
Returns:
type of the expression. For array terms, the type is always represented as pure reference (dOwn=0 and dRef=dTot).
See Also:
IType