Starting to link parser with the program.

But apparently I messed up some kodkod logic.

1 files changed, 11 insertions, 2 deletions

diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java
index e9dc648..1face97 100644
--- a/instr-to-kodkod/src/Parameters.java
+++ b/instr-to-kodkod/src/Parameters.java
@@ -2,6 +2,7 @@ public class Parameters
 {
    private final String levels_dir;
    private final String model_file;
+   private final String var_prefix;
    private final boolean are_valid;
 
    public static void print_usage ()
@@ -10,10 +11,11 @@ public class Parameters
       (
          "Instr-to-kodkod\n"
          + "USAGE:\n"
-         + "\tjava Main <LEVELS_DIR> <INSTRUCTIONS>\n"
+         + "\tjava Main <LEVELS_DIR> <INSTRUCTIONS> <VAR_PREFIX>\n"
          + "PARAMETERS:\n"
          + "\t<LEVELS_DIR>\tDirectory containing the level definitions.\n"
          + "\t<INSTRUCTIONS>\tInstruction file describing the model.\n"
+         + "\t<VAR_PREFIX>\tPrefix for anonymous variables (e.g. \"_anon_\").\n"
          + "NOTES:\n"
          + "\tThe properties to be verified still have to be hand coded in the"
          + " source files (in Main.java)."
@@ -22,18 +24,20 @@ public class Parameters
 
    public Parameters (String... args)
    {
-      if (args.length != 2)
+      if (args.length != 3)
       {
          print_usage();
 
          levels_dir = new String();
          model_file = new String();
+         var_prefix = new String();
          are_valid = false;
       }
       else
       {
          levels_dir = args[0];
          model_file = args[1];
+         var_prefix = args[2];
          are_valid = true;
       }
    }
@@ -48,6 +52,11 @@ public class Parameters
       return model_file;
    }
 
+   public String get_variables_prefix ()
+   {
+      return var_prefix;
+   }
+
    public boolean are_valid ()
    {
       return are_valid;