more type parameters from Manu
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1391 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
39da63410a
commit
a304c60f79
|
@ -26,7 +26,7 @@ public interface HeapModel extends InstanceKeyFactory, PointerKeyFactory {
|
|||
/**
|
||||
* @return an Iterator of all PointerKeys that are modelled.
|
||||
*/
|
||||
Iterator iteratePointerKeys();
|
||||
Iterator<PointerKey> iteratePointerKeys();
|
||||
|
||||
/**
|
||||
* @return the governing class hierarchy for this heap model
|
||||
|
|
|
@ -451,7 +451,7 @@ public class PointerAnalysisImpl extends AbstractPointerAnalysis {
|
|||
|
||||
private class HModel implements HeapModel {
|
||||
|
||||
public Iterator iteratePointerKeys() {
|
||||
public Iterator<PointerKey> iteratePointerKeys() {
|
||||
return pointsToMap.iterateKeys();
|
||||
}
|
||||
|
||||
|
|
|
@ -675,7 +675,7 @@ public class PropagationSystem extends DefaultFixedPointSolver {
|
|||
/*
|
||||
* @see com.ibm.wala.ipa.callgraph.propagation.HeapModel#iteratePointerKeys()
|
||||
*/
|
||||
public Iterator iteratePointerKeys() {
|
||||
public Iterator<PointerKey> iteratePointerKeys() {
|
||||
return pointsToMap.iterateKeys();
|
||||
}
|
||||
|
||||
|
|
|
@ -2100,7 +2100,7 @@ public abstract class SSAPropagationCallGraphBuilder extends PropagationCallGrap
|
|||
/*
|
||||
* @see com.ibm.wala.ipa.callgraph.propagation.HeapModel#iteratePointerKeys()
|
||||
*/
|
||||
public Iterator iteratePointerKeys() {
|
||||
public Iterator<PointerKey> iteratePointerKeys() {
|
||||
return system.iteratePointerKeys();
|
||||
}
|
||||
|
||||
|
|
|
@ -100,7 +100,7 @@ public class DelegatingExtendedHeapModel implements ExtendedHeapModel {
|
|||
return h.getStringConstantForInstanceKey(I);
|
||||
}
|
||||
|
||||
public Iterator iteratePointerKeys() {
|
||||
public Iterator<PointerKey> iteratePointerKeys() {
|
||||
return h.iteratePointerKeys();
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue