Class ContextSensitiveStateMachine.BasicRecursionHandler
java.lang.Object
com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.BasicRecursionHandler
- All Implemented Interfaces:
ContextSensitiveStateMachine.RecursionHandler
- Enclosing class:
ContextSensitiveStateMachine
public static class ContextSensitiveStateMachine.BasicRecursionHandler
extends Object
implements ContextSensitiveStateMachine.RecursionHandler
handles method recursion by only collapsing cycles of recursive calls observed during analysis
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isRecursive
(CallerSiteContext callSite) makeNew()
in lieu of creating factoriesvoid
makeRecursive
(Collection<CallerSiteContext> callSites)
-
Constructor Details
-
BasicRecursionHandler
public BasicRecursionHandler()
-
-
Method Details
-
isRecursive
- Specified by:
isRecursive
in interfaceContextSensitiveStateMachine.RecursionHandler
-
makeRecursive
- Specified by:
makeRecursive
in interfaceContextSensitiveStateMachine.RecursionHandler
-
makeNew
Description copied from interface:ContextSensitiveStateMachine.RecursionHandler
in lieu of creating factories- Specified by:
makeNew
in interfaceContextSensitiveStateMachine.RecursionHandler
-