Package com.ibm.wala.demandpa.alg
Interface ContextSensitiveStateMachine.RecursionHandler
-
- All Known Implementing Classes:
ContextSensitiveStateMachine.BasicRecursionHandler
- Enclosing class:
- ContextSensitiveStateMachine
public static interface ContextSensitiveStateMachine.RecursionHandler
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
isRecursive(CallerSiteContext callSite)
ContextSensitiveStateMachine.RecursionHandler
makeNew()
in lieu of creating factoriesvoid
makeRecursive(Collection<CallerSiteContext> callSites)
-
-
-
Method Detail
-
isRecursive
boolean isRecursive(CallerSiteContext callSite)
-
makeRecursive
void makeRecursive(Collection<CallerSiteContext> callSites)
-
makeNew
ContextSensitiveStateMachine.RecursionHandler makeNew()
in lieu of creating factories
-
-