missing files

diff --git a/Robust/src/Analysis/CallGraph/BaseCallGraph.java b/Robust/src/Analysis/CallGraph/BaseCallGraph.java
index aa5e9e496f276f6a20dc4aaa78e311690a34cfe9..6edcfc3213820ff36451044ab590e138c0e04b35 100644 (file)
--- 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 b2f2a9f92b1a23a7be9d216c0579540d312040aa..f3e0b2647cdc69e0cb340f07ee62e3d64b1fd4ea 100644 (file)
--- 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 d32cf463fa7a802b149a5230cc8862beab659e2e..2dc46eaea137c523f0e6ca7fb37e259ae6c4a387 100644 (file)
--- 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);
   }