slight fix of type parameter handling in PDG
This commit is contained in:
parent
c530fc3ae6
commit
d830780242
|
@ -791,10 +791,10 @@ public class SDG<T extends InstanceKey> extends AbstractNumberedGraph<Statement>
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public PDG getPDG(CGNode node) {
|
public PDG<T> getPDG(CGNode node) {
|
||||||
PDG result = pdgMap.get(node);
|
PDG result = pdgMap.get(node);
|
||||||
if (result == null) {
|
if (result == null) {
|
||||||
result = new PDG(node, pa, mod, ref, dOptions, cOptions, heapExclude, cg, modRef);
|
result = new PDG<T>(node, pa, mod, ref, dOptions, cOptions, heapExclude, cg, modRef);
|
||||||
pdgMap.put(node, result);
|
pdgMap.put(node, result);
|
||||||
// Let's not eagerly add nodes, shall we?
|
// Let's not eagerly add nodes, shall we?
|
||||||
// for (Iterator<? extends Statement> it = result.iterator(); it.hasNext();) {
|
// for (Iterator<? extends Statement> it = result.iterator(); it.hasNext();) {
|
||||||
|
@ -822,7 +822,7 @@ public class SDG<T extends InstanceKey> extends AbstractNumberedGraph<Statement>
|
||||||
return cg.getClassHierarchy();
|
return cg.getClassHierarchy();
|
||||||
}
|
}
|
||||||
|
|
||||||
public PointerAnalysis<? extends InstanceKey> getPointerAnalysis() {
|
public PointerAnalysis<T> getPointerAnalysis() {
|
||||||
return pa;
|
return pa;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue