improved debug graph capture

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d51883f4703d2441d07efccdbeab78efc4ce50e6..03fff64b13144aaf19c92cda51da98251fb3fe88 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -201,6 +201,19 @@ public class Main {
        state.DISJOINTDEBUGCALLEE=args[++i];
        state.DISJOINTDEBUGCALLER=args[++i];
        state.DISJOINTDEBUGCALLCOUNT=Integer.parseInt(args[++i]);
+      
+      } else if (option.equals("-disjoint-debug-snap-method")) {
+       state.DISJOINTSNAPSYMBOL=args[++i];
+        state.DISJOINTSNAPVISITTOSTART=Integer.parseInt(args[++i]);
+       state.DISJOINTSNAPNUMVISITS=Integer.parseInt(args[++i]);
+        String arg = args[++i];
+       if( arg.equals("true") ) {
+         state.DISJOINTSNAPSTOPAFTER = true;
+       } else if( arg.equals("false") ) {
+          state.DISJOINTSNAPSTOPAFTER = false;
+        } else {
+          throw new Error("disjoint-debug-snap-method requires arguments <method symbol> <# visit to start> <# visits to snap> <T/F stop after>");
+        }
       }
 
       else if (option.equals("-optional"))