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