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

implement a method 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2770 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-04-25 18:43:48 +00:00
parent ba068e10e8
commit 3cbf73acba
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/Util.java
View File

@ -488,8 +488,11 @@ public class Util {
}
public boolean hasEdge(MethodReference src, MethodReference dst) {
// TODO Auto-generated method stub
Assertions.UNREACHABLE();
for (Iterator<MethodReference> succNodes = getSuccNodes(src); succNodes.hasNext(); ) {
if (dst.equals(succNodes.next())) {
return true;
}
}
return false;
}
};