DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Generalize a generic type parameter even more 

As it turns out, I should have been using "? extends InstanceKey" rather
than "? super InstanceKey".  But really, we can just use "?" here since
HeapGraph itself constrains its own type parameter appropriately.
This commit is contained in:
Ben Liblit 2017-03-22 16:15:41 -05:00
parent 2a33cb3649
commit 9921fe37e6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core/src/com/ibm/wala/escape/FILiveObjectAnalysis.java
View File

@ -48,7 +48,7 @@ public class FILiveObjectAnalysis implements ILiveObjectAnalysis {
/**
* Graph view of pointer analysis results
*/
private final HeapGraph<? super InstanceKey> heapGraph;
private final HeapGraph<?> heapGraph;
/**
* Cached map from InstanceKey -> Set<CGNode>
@ -68,7 +68,7 @@ public class FILiveObjectAnalysis implements ILiveObjectAnalysis {
/**
*
*/
public FILiveObjectAnalysis(CallGraph callGraph, HeapGraph<? super InstanceKey> heapGraph, boolean expensiveIntraproceduralAnalysis) {
public FILiveObjectAnalysis(CallGraph callGraph, HeapGraph<?> heapGraph, boolean expensiveIntraproceduralAnalysis) {
super();
this.callGraph = callGraph;
this.heapGraph = heapGraph;