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 - CancelExceptionIllegalArgumentException