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 deletions(-) delete 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 deleted file mode 100644 index 92e9074..0000000 --- a/sol_pretty_printer/src/Parameters.java +++ /dev/null @@ -1,139 +0,0 @@ -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