summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'instance-calculator/src/Parameters.java')
-rw-r--r--instance-calculator/src/Parameters.java63
1 files changed, 63 insertions, 0 deletions
diff --git a/instance-calculator/src/Parameters.java b/instance-calculator/src/Parameters.java
new file mode 100644
index 0000000..ce5e2cf
--- /dev/null
+++ b/instance-calculator/src/Parameters.java
@@ -0,0 +1,63 @@
+public class Parameters
+{
+ private final String model_file;
+ private final String id_prefix;
+ private final String output_file;
+ private final boolean are_valid;
+
+ public static void print_usage ()
+ {
+ System.out.println
+ (
+ "Instance-Calculator\n"
+ + "USAGE:\n"
+ + "\tjava Main <INSTRUCTIONS> <ID_PREFIX> <OUTPUT_FILE>\n"
+ + "PARAMETERS:\n"
+ + "\t<INSTRUCTIONS>\tInstruction file describing the model.\n"
+ + "\t<ID_PREFIX>\tPrefix for the IDs of generated paths.\n"
+ + "\t<OUTPUT_FILE>\tFile in which to output the generated"
+ + " instructions."
+ );
+ }
+
+ public Parameters (final String... args)
+ {
+ if (args.length != 4)
+ {
+ print_usage();
+
+ model_file = new String();
+ id_prefix = new String();
+ output_file = new String();
+
+ are_valid = false;
+ }
+ else
+ {
+ model_file = args[0];
+ id_prefix = args[2];
+ output_file = args[3];
+ are_valid = true;
+ }
+ }
+
+ public String get_model_file ()
+ {
+ return model_file;
+ }
+
+ public String get_id_prefix ()
+ {
+ return id_prefix;
+ }
+
+ public String get_output_file ()
+ {
+ return output_file;
+ }
+
+ public boolean are_valid ()
+ {
+ return are_valid;
+ }
+}