|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ICall
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 |
---|
ISubsystem callee()
java.util.List<IExpr> actualParameters()
java.util.List<IAccessBasic> returnVars()
boolean hasHavoc()
IHavoc havoc()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |