sol-pretty-printer/src/Main.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
140
141
142
143
144

import java.util.List;

import java.io.FileNotFoundException;
import java.io.IOException;

public class Main
{
   private static Parameters PARAMETERS;

   private static boolean load_model_files ()
   {
      for (final String model_file: PARAMETERS.get_model_files())
      {
         try
         {
            if (!Models.load_file(model_file))
            {
               System.err.println
               (
                  "[F] Something went wrong while loading the model file \""
                  + model_file
                  + "\""
               );

               return false;
            }
         }
         catch (final FileNotFoundException fnfe)
         {
            System.err.println
            (
               "[F] Could not find model file \""
               + model_file
               + "\""
            );

            return false;
         }
      }

      return Models.propagate_filenames();
   }

   private static boolean load_map_files ()
   {
      for (final String map_file: PARAMETERS.get_map_files())
      {
         try
         {
            if (!Strings.load_file(map_file))
            {
               System.err.println
               (
                  "[F] Something went wrong while loading the map file \""
                  + map_file
                  + "\""
               );

               return false;
            }
         }
         catch (final FileNotFoundException fnfe)
         {
            System.err.println
            (
               "[F] Could not find map file \""
               + map_file
               + "\""
            );

            return false;
         }
      }

      return true;
   }

   private static void print_solutions ()
   {
      final List<String> sol_files, pp_files;
      final int solutions_count;

      sol_files = PARAMETERS.get_solution_files();
      pp_files =  PARAMETERS.get_pretty_print_files();

      solutions_count = sol_files.size();

      if (solutions_count != pp_files.size())
      {
         System.err.println
         (
            "[F] Not as many solution files as pretty-print files."
         );

         return;
      }

      for (int i = 0; i < solutions_count; ++i)
      {
         try
         {
            Solutions.print(sol_files.get(i), pp_files.get(i));
         }
         catch (final IOException ioe)
         {
            System.err.println
            (
               "[F] Something went wrong while printing the solution linked to"
               + " \""
               + sol_files.get(i)
               + "\" and \""
               + sol_files.get(i)
               + "\":"
            );

            ioe.printStackTrace();

            return;
         }
      }
   }

   public static void main (final String... args)
   {
      PARAMETERS = new Parameters(args);

      if (!PARAMETERS.are_valid())
      {
         return;
      }

      if (!load_map_files())
      {
         return;
      }

      if (!load_model_files())
      {
         return;
      }

      print_solutions();
   }
}