Add -dddebug and -ddtrace command-line arguments to PrismCL

-dddebug activates the DebugJDD mechanism, while -ddtrace id will
trace refs/derefs of the JDDNode with the given ID. -ddtrace implies
-dddebug. Due to the additional efforts spent to keep track of the
information, DebugJDD mode can slow-down model checking and increase
memory usage.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10507 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismCL.java

@@ -1078,6 +1078,22 @@ public class PrismCL implements PrismModelListener
 					test = true;
 					testExitsOnFail = false;
 				}
+				else if (sw.equals("dddebug")) {
+					jdd.DebugJDD.enable();
+				}
+				else if (sw.equals("ddtrace")) {
+					if (i < args.length - 1) {
+						String idString = args[++i];
+						try {
+							int id = Integer.parseInt(idString);
+							jdd.DebugJDD.enableTracingForID(id);
+						} catch (NumberFormatException e) {
+							errorAndExit("The -" + sw + " switch requires an integer argument (JDDNode ID)");
+						}
+					} else {
+						errorAndExit("The -" + sw + " switch requires an additional argument (JDDNode ID)");
+					}
+				}
 
 				// IMPORT OPTIONS: