nts.interf
Interface ICall
- All Superinterfaces:
- ILabel, IVisitable
public interface ICall
- extends ILabel, IVisitable
Procedure call interface.
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()
- 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()
- Returns:
- the havoc part of the transition label (null if there is not any)