From 3cbf73acba2c3d90b454ee3bf3517dc02977c458 Mon Sep 17 00:00:00 2001
From: msridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 25 Apr 2008 18:43:48 +0000
Subject: [PATCH] implement a method

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2770 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/ipa/callgraph/impl/Util.java          | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/Util.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/Util.java
index 321c75d8e..3466a20a3 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/Util.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/Util.java
@@ -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;
       }
     };