Package com.ibm.wala.ipa.callgraph.propagation

Class ReflectionHandler

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.ReflectionHandler

public class ReflectionHandler
extends Object

A helper class which can modify a PropagationCallGraphBuilder to deal with reflective factory methods.

Constructor Summary

Constructors

Constructor	Description
ReflectionHandler(PropagationCallGraphBuilder builder)

Method Summary

Modifier and Type	Method	Description
protected boolean	updateForReflection(MonitorUtil.IProgressMonitor monitor)	update the pointer analysis solver based on flow of reflective factory results to checkcasts

Methods inherited from class java.lang.Object

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

Constructor Details

ReflectionHandler

public ReflectionHandler(PropagationCallGraphBuilder builder)

Method Details

updateForReflection

protected boolean updateForReflection(MonitorUtil.IProgressMonitor monitor)
                               throws IllegalArgumentException,
CancelException

update the pointer analysis solver based on flow of reflective factory results to checkcasts

Returns:

true if anything has changed

Throws:

IllegalArgumentException

CancelException