Uses of Interface
com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler

Packages that use ContextSensitiveStateMachine.RecursionHandler

Package	Description
com.ibm.wala.demandpa.alg

Uses of ContextSensitiveStateMachine.RecursionHandler in com.ibm.wala.demandpa.alg

Classes in com.ibm.wala.demandpa.alg that implement ContextSensitiveStateMachine.RecursionHandler

Modifier and Type	Class and Description
static class	ContextSensitiveStateMachine.BasicRecursionHandler handles method recursion by only collapsing cycles of recursive calls observed during analysis

Methods in com.ibm.wala.demandpa.alg that return ContextSensitiveStateMachine.RecursionHandler

Modifier and Type	Method and Description
ContextSensitiveStateMachine.RecursionHandler	ContextSensitiveStateMachine.RecursionHandler.makeNew() in lieu of creating factories
ContextSensitiveStateMachine.RecursionHandler	ContextSensitiveStateMachine.BasicRecursionHandler.makeNew()

Constructors in com.ibm.wala.demandpa.alg with parameters of type ContextSensitiveStateMachine.RecursionHandler

Constructor and Description
ContextSensitiveStateMachine.Factory(ContextSensitiveStateMachine.RecursionHandler prototype)