From: bdemsky <bdemsky>
Date: Thu, 21 Apr 2011 15:46:12 +0000 (+0000)
Subject: missing files
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fa8ca1829692785cd25f36d2c6af8a548ef8840a;p=IRC.git

missing files
---

diff --git a/Robust/src/Analysis/CallGraph/BaseCallGraph.java b/Robust/src/Analysis/CallGraph/BaseCallGraph.java
index aa5e9e49..6edcfc32 100644
--- a/Robust/src/Analysis/CallGraph/BaseCallGraph.java
+++ b/Robust/src/Analysis/CallGraph/BaseCallGraph.java
@@ -40,6 +40,15 @@ public class BaseCallGraph implements CallGraph {
     buildGraph();
   }
 
+  public boolean isCalled(MethodDescriptor md) {
+    return false;
+  }
+
+
+  public boolean isInit(ClassDescriptor cd) {
+    return true;
+  }
+
   // this method returns the set of Descriptors
   // (MethodDescriptors and/or TaskDescriptors)
   //  that call the given method
diff --git a/Robust/src/Analysis/CallGraph/CallGraph.java b/Robust/src/Analysis/CallGraph/CallGraph.java
index b2f2a9f9..f3e0b264 100644
--- a/Robust/src/Analysis/CallGraph/CallGraph.java
+++ b/Robust/src/Analysis/CallGraph/CallGraph.java
@@ -23,4 +23,6 @@ public interface CallGraph {
   public boolean isCallable(MethodDescriptor md);
   public Set getMethodCalls(Descriptor d);
   public Set getFirstReachableMethodContainingSESE(Descriptor d, Set<MethodDescriptor> methodsContainingSESEs);
+  public boolean isInit(ClassDescriptor cd);
+  public boolean isCalled(MethodDescriptor md);
 }
\ No newline at end of file
diff --git a/Robust/src/Analysis/CallGraph/JavaCallGraph.java b/Robust/src/Analysis/CallGraph/JavaCallGraph.java
index d32cf463..2dc46eae 100644
--- a/Robust/src/Analysis/CallGraph/JavaCallGraph.java
+++ b/Robust/src/Analysis/CallGraph/JavaCallGraph.java
@@ -28,6 +28,10 @@ public class JavaCallGraph extends BaseCallGraph {
     buildGraph();
   }
 
+  public boolean isCalled(MethodDescriptor md) {
+    return false;
+  }
+
   public boolean isCallable(MethodDescriptor md) {
     return discovered.contains(md);
   }