Working on a way to CTL over DAG in Kodkod.

1 files changed, 55 insertions, 0 deletions

diff --git a/cfg-to-paths/src/Parameters.java b/cfg-to-paths/src/Parameters.java
new file mode 100644
index 0000000..8d0331b
--- /dev/null
+++ b/cfg-to-paths/src/Parameters.java
@@ -0,0 +1,55 @@
+public class Parameters
+{
+   private final String levels_dir;
+   private final String model_file;
+   private final boolean are_valid;
+
+   public static void print_usage ()
+   {
+      System.out.println
+      (
+         "Instr-to-kodkod\n"
+         + "USAGE:\n"
+         + "\tjava Main <LEVELS_DIR> <INSTRUCTIONS>\n"
+         + "PARAMETERS:\n"
+         + "\t<LEVELS_DIR>\tDirectory containing the level definitions.\n"
+         + "\t<INSTRUCTIONS>\tInstruction file describing the model.\n"
+         + "NOTES:\n"
+         + "\tThe properties to be verified still have to be hand coded in the"
+         + "source files (in Main.java)."
+      );
+   }
+
+   public Parameters (String... args)
+   {
+      if (args.length != 2)
+      {
+         print_usage();
+
+         levels_dir = new String();
+         model_file = new String();
+         are_valid = false;
+      }
+      else
+      {
+         levels_dir = args[0];
+         model_file = args[1];
+         are_valid = true;
+      }
+   }
+
+   public String get_levels_directory ()
+   {
+      return levels_dir;
+   }
+
+   public String get_model_file ()
+   {
+      return model_file;
+   }
+
+   public boolean are_valid ()
+   {
+      return are_valid;
+   }
+}