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 and Description
ContextSensitiveStateMachine.BasicRecursionHandler()

Method Summary

Methods

Modifier and Type	Method and 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 Detail

ContextSensitiveStateMachine.BasicRecursionHandler

public ContextSensitiveStateMachine.BasicRecursionHandler()

Method Detail

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