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

Modifier and Type	Method	Description
boolean	isRecursive(CallerSiteContext callSite)
ContextSensitiveStateMachine.RecursionHandler	makeNew()	in lieu of creating factories
void	makeRecursive(Collection<CallerSiteContext> callSites)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BasicRecursionHandler

public BasicRecursionHandler()

Method Details

isRecursive

public boolean isRecursive(CallerSiteContext callSite)

Specified by:

isRecursive in interface ContextSensitiveStateMachine.RecursionHandler

makeRecursive

public void makeRecursive(Collection<CallerSiteContext> callSites)

Specified by:

makeRecursive in interface ContextSensitiveStateMachine.RecursionHandler

makeNew

public ContextSensitiveStateMachine.RecursionHandler makeNew()

Description copied from interface: ContextSensitiveStateMachine.RecursionHandler

in lieu of creating factories

Specified by:

makeNew in interface ContextSensitiveStateMachine.RecursionHandler