sol_pretty_printer/src/Parameters.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139

import java.util.List;
import java.util.ArrayList;

public class Parameters
{
   private final List<String> sol_files;
   private final List<String> pp_files;
   private final List<String> model_files;
   private final List<String> map_files;

   private final boolean are_valid;

   public static void print_usage ()
   {
      System.out.println
      (
         "Sol-Pretty-Printer\n"
         + "USAGE:\n"
         + "\tjava Main <MODEL_FILE|MAP_FILE>+ <SOL_AND_PP_FILES>+\n"
         + "PARAMETERS:\n"
         + "\t- <MODEL_FILE|MAP_FILE>\tInstr. model files, string map files.\n"
         + "\t- <SOL_AND_PP_FILES>\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<String>();
      model_files = new ArrayList<String>();
      sol_files = new ArrayList<String>();
      pp_files = new ArrayList<String>();

      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"
                  + "<SOLUTION_FILE> <PRETTY_PRINT_FILE> 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 <SOLUTION_FILE> <PRETTY_PRINT_FILE> 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<String> get_map_files ()
   {
      return map_files;
   }

   public List<String> get_model_files ()
   {
      return model_files;
   }

   public List<String> get_solution_files ()
   {
      return sol_files;
   }

   public List<String> get_pretty_print_files ()
   {
      return pp_files;
   }

   public boolean are_valid ()
   {
      return are_valid;
   }
}