| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/Parameters.java')
| -rw-r--r-- | instr-to-kodkod/src/Parameters.java | 13 |
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; |