blob: c6383bd108ec2d8aad9717e3e178c31f7006a920 (
plain)
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
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
|
import java.util.List;
import java.util.ArrayList;
public class Parameters
{
private final List<String> level_files;
private final List<String> model_files;
private final List<String> map_files;
private final String property_file;
private final String output_file;
private final boolean be_verbose;
private final boolean are_valid;
public static void print_usage ()
{
System.out.println
(
"Instr-to-kodkod\n"
+ "USAGE:\n"
+ "\tjava Main <OUTPUT_FILE> <FILES|OPTIONS>+\n"
+ "PARAMETERS:\n"
+ "\t- <OUTPUT_FILE>\tFile to write the solutions in.\n"
+ "\t- <FILES>\tList of files to be loaded.\n"
+ "OPTIONS:\n"
+ "\t- -v|--verbose\tPrint informative messages to STDOUT.\n"
+ "NOTES:\n"
+ "\t- Exactly one property file must be in <FILES>.\n"
+ "\t- Property files have a \".pro\" extension.\n"
+ "\t- Model files have a \".mod\" extension.\n"
+ "\t- Level files have a \".lvl\" extension.\n"
+ "\t- Map files have a \".map\" extension.\n"
+ "\t- The files may be given in any order."
);
}
public Parameters (final String... args)
{
boolean has_pro_file, has_error, should_be_verbose;
String prop_file;
level_files = new ArrayList<String>();
model_files = new ArrayList<String>();
map_files = new ArrayList<String>();
should_be_verbose = false;
if (args.length < 2)
{
print_usage();
property_file = new String();
output_file = new String();
are_valid = false;
be_verbose = false;
return;
}
has_pro_file = false;
has_error = false;
output_file = args[0];
if
(
(output_file.equals("-v") || output_file.equals("--verbose"))
/* || ... */
)
{
print_usage();
System.err.println
(
"[F] An option was found in lieu of the output file."
);
System.exit(-1);
}
if
(
output_file.endsWith(".lvl")
|| output_file.endsWith(".mod")
|| output_file.endsWith(".map")
|| output_file.endsWith(".pro")
)
{
print_usage();
System.err.println
(
"[F] The output file has an extension that could be used in an"
+ " input file. It is most likely that you did not indicate an"
+ " output file, meaning that one of the input files was about to"
+ " be written over. So likely, in fact, that we'll abort here. The"
+ " output file you indicated was \""
+ output_file
+ "\"."
);
System.exit(-1);
}
prop_file = new String();
for (int i = 1; i < args.length; ++i)
{
if (args[i].endsWith(".lvl"))
{
level_files.add(args[i]);
}
else 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(".pro"))
{
if (has_pro_file)
{
System.err.println
(
"[E] Both files \""
+ prop_file
+ "\" and \"."
+ args[i]
+ "\" contain a property. Only one can be used at a time."
);
has_error = true;
}
else
{
has_pro_file = true;
prop_file = args[i];
}
}
else if (args[i].equals("-v") || args[i].equals("--verbose"))
{
should_be_verbose = true;
}
else
{
System.err.println
(
"[E] Unknown file type \""
+ args[i]
+ "\"."
);
has_error = true;
}
}
property_file = prop_file;
if (!has_pro_file)
{
System.err.println("[E] There was no property file.");
has_error = true;
}
be_verbose = should_be_verbose;
are_valid = !has_error;
}
public List<String> get_level_files ()
{
return level_files;
}
public List<String> get_model_files ()
{
return model_files;
}
public List<String> get_mapping_files ()
{
return map_files;
}
public String get_property_file ()
{
return property_file;
}
public String get_output_file ()
{
return output_file;
}
public boolean be_verbose ()
{
return be_verbose;
}
public boolean are_valid ()
{
return are_valid;
}
}
|
