Package com.ibm.wala.demandpa.alg
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
Constructors Constructor Description BasicRecursionHandler()
-
Method Summary
All Methods Instance Methods Concrete 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
public boolean isRecursive(CallerSiteContext callSite)
- Specified by:
isRecursive
in interfaceContextSensitiveStateMachine.RecursionHandler
-
makeRecursive
public void makeRecursive(Collection<CallerSiteContext> callSites)
- Specified by:
makeRecursive
in interfaceContextSensitiveStateMachine.RecursionHandler
-
makeNew
public ContextSensitiveStateMachine.RecursionHandler makeNew()
Description copied from interface:ContextSensitiveStateMachine.RecursionHandler
in lieu of creating factories- Specified by:
makeNew
in interfaceContextSensitiveStateMachine.RecursionHandler
-
-