nts.interf
Interface ICall

All Superinterfaces:
ILabel, IVisitable

public interface ICall
extends ILabel, IVisitable

Procedure call interface.


Method Summary
 java.util.List<IExpr> actualParameters()
           
 ISubsystem callee()
           
 boolean hasHavoc()
          Deprecated.  
 IHavoc havoc()
          Deprecated.  
 java.util.List<IAccessBasic> returnVars()
           
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

callee

ISubsystem callee()
Returns:
name of the callee

actualParameters

java.util.List<IExpr> actualParameters()
Returns:
the actual parameters

returnVars

java.util.List<IAccessBasic> returnVars()
Returns:
the return variables

hasHavoc

boolean hasHavoc()
Deprecated. 

Returns:
true iff the transition label contains a havoc part (transition of the form (y1', ... ,yn') = f(t1, ... ,tm) and havoc(x1, ... ,xo)

havoc

IHavoc havoc()
Deprecated. 

Returns:
the havoc part of the transition label (null if there is not any)