From 90bb7e959496c3a12bebe055f6344b9f06f22809 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 3 Aug 2017 15:28:17 +0200 Subject: Improving clarity through better Makefiles. --- sol-pretty-printer/src/Parameters.java | 139 +++++++++++++++++++++++++++++++++ 1 file changed, 139 insertions(+) create mode 100644 sol-pretty-printer/src/Parameters.java (limited to 'sol-pretty-printer/src/Parameters.java') diff --git a/sol-pretty-printer/src/Parameters.java b/sol-pretty-printer/src/Parameters.java new file mode 100644 index 0000000..92e9074 --- /dev/null +++ b/sol-pretty-printer/src/Parameters.java @@ -0,0 +1,139 @@ +import java.util.List; +import java.util.ArrayList; + +public class Parameters +{ + private final List sol_files; + private final List pp_files; + private final List model_files; + private final List map_files; + + private final boolean are_valid; + + public static void print_usage () + { + System.out.println + ( + "Sol-Pretty-Printer\n" + + "USAGE:\n" + + "\tjava Main + +\n" + + "PARAMETERS:\n" + + "\t- \tInstr. model files, string map files.\n" + + "\t- \tOne solution file, followed by one pretty" + + " print file." + + "NOTES:\n" + + "\t- Model files have a \".mod\" extension.\n" + + "\t- Solution files have a \".sol\" extension.\n" + + "\t- Map files have a \".map\" extension.\n" + + "\t- Pretty-print files have a \".pp\" extension.\n" + + "\t- Solution files may contain any number of solutions.\n" + ); + } + + public Parameters (final String... args) + { + boolean has_error, prev_was_a_sol; + + map_files = new ArrayList(); + model_files = new ArrayList(); + sol_files = new ArrayList(); + pp_files = new ArrayList(); + + if (args.length < 2) + { + print_usage(); + + are_valid = false; + + return; + } + + has_error = false; + prev_was_a_sol = false; + + for (int i = 0; i < args.length; ++i) + { + if (args[i].endsWith(".mod")) + { + model_files.add(args[i]); + } + else if (args[i].endsWith(".map")) + { + map_files.add(args[i]); + } + else if (args[i].endsWith(".sol")) + { + sol_files.add(args[i]); + + if (prev_was_a_sol) + { + System.err.println + ( + "[F] Two solution files followed one another. You must give" + + " pairs as parameters." + ); + + System.exit(-1); + } + + prev_was_a_sol = true; + } + else if (args[i].endsWith(".pp")) + { + if (!prev_was_a_sol) + { + System.err.println + ( + "[F] Two pretty print files followed one another. You must" + + " give pairs as" + + " parameters." + ); + + System.exit(-1); + } + + pp_files.add(args[i]); + + prev_was_a_sol = false; + } + else + { + System.err.println + ( + "[E] Unknown file type \"" + + args[i] + + "\"." + ); + + has_error = true; + } + } + + are_valid = !has_error; + } + + public List get_map_files () + { + return map_files; + } + + public List get_model_files () + { + return model_files; + } + + public List get_solution_files () + { + return sol_files; + } + + public List get_pretty_print_files () + { + return pp_files; + } + + public boolean are_valid () + { + return are_valid; + } +} -- cgit v1.2.3-70-g09d2