public class ReflectionHandler extends Object
PropagationCallGraphBuilder
to deal with reflective factory methods.Constructor and Description |
---|
ReflectionHandler(PropagationCallGraphBuilder builder) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
updateForReflection(MonitorUtil.IProgressMonitor monitor)
update the pointer analysis solver based on flow of reflective factory results to checkcasts
|
public ReflectionHandler(PropagationCallGraphBuilder builder)
protected boolean updateForReflection(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException
monitor
- CancelException
IllegalArgumentException