reorganize.

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index c77d4911877c479235645139d779c0571a9278e5..05796ea43357f94a371416696801b2f07b78577d 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -11,6 +11,11 @@ public class SSJavaAnalysis {
     this.state = state;
   }
 
+  public void doCheck() {
+    doFlowDownCheck();
+    doLoopCheck();
+  }
+
   public void doFlowDownCheck() {
     FlowDownCheck checker = new FlowDownCheck(state);
     checker.flowDownCheck();

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d487f99a6693407b78a06614139f05ef57f1aeba..2a6bdfb99d39dc3a4a98a5769129d6d84c1883ea 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -466,8 +466,7 @@ public class Main {
     
     // SSJava
     if(state.SSJAVA){
-      ssjava.doFlowDownCheck();
-      ssjava.doLoopCheck();
+      ssjava.doCheck();
       State.logEvent("Done SSJava Checking");
     }