From: yeom <yeom>
Date: Mon, 18 Apr 2011 17:55:41 +0000 (+0000)
Subject: reorganize.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3849d87cbd453884268d3fec850e5396abdc8a76;p=IRC.git

reorganize.
---

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index c77d4911..05796ea4 100644
--- 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 d487f99a..2a6bdfb9 100644
--- 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");
     }