blob: a7552d8d8246723c6008cff1f72ad28d3544326e (
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
|
import java.util.List;
import java.util.ArrayList;
public class Parameters
{
private final String xml_file;
private final String output_dir;
private final boolean are_valid;
public static void print_usage ()
{
System.out.println
(
"AST-to-Instr\n"
+ "USAGE:\n"
+ "\tjava Main <XML_FILE> <OUTPUT_DIR>\n"
+ "PARAMETERS:\n"
+ "\t- <XML_FILE>\tThe AST (XML format).\n"
+ "\t- <OUTPUT_DIR>\tThe output directory (must already exist)."
);
}
public Parameters (String... args)
{
if (args.length != 2)
{
print_usage();
xml_file = new String();
output_dir = new String();
are_valid = false;
return;
}
xml_file = args[0];
output_dir = args[1];
are_valid = true;
}
public String get_xml_file ()
{
return xml_file;
}
public String get_output_directory ()
{
return output_dir;
}
public boolean are_valid ()
{
return are_valid;
}
}
|