annotate SMART/Java/Sav/ProgramFileReader.java @ 6:769e306b7933

Change the repository level.
author yufei-luo
date Fri, 18 Jan 2013 04:54:14 -0500
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
1 /**
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
2 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
3 * Copyright INRA-URGI 2009-2010
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
4 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
5 * This software is governed by the CeCILL license under French law and
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
6 * abiding by the rules of distribution of free software. You can use,
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
7 * modify and/ or redistribute the software under the terms of the CeCILL
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
8 * license as circulated by CEA, CNRS and INRIA at the following URL
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
9 * "http://www.cecill.info".
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
10 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
11 * As a counterpart to the access to the source code and rights to copy,
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
12 * modify and redistribute granted by the license, users are provided only
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
13 * with a limited warranty and the software's author, the holder of the
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
14 * economic rights, and the successive licensors have only limited
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
15 * liability.
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
16 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
17 * In this respect, the user's attention is drawn to the risks associated
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
18 * with loading, using, modifying and/or developing or reproducing the
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
19 * software by the user in light of its specific status of free software,
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
20 * that may mean that it is complicated to manipulate, and that also
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
21 * therefore means that it is reserved for developers and experienced
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
22 * professionals having in-depth computer knowledge. Users are therefore
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
23 * encouraged to load and test the software's suitability as regards their
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
24 * requirements in conditions enabling the security of their systems and/or
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
25 * data to be ensured and, more generally, to use and operate it in the
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
26 * same conditions as regards security.
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
27 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
28 * The fact that you are presently reading this means that you have had
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
29 * knowledge of the CeCILL license and that you accept its terms.
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
30 *
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
31 */
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
32 import java.util.*;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
33 import java.io.File;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
34 import java.io.*;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
35
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
36
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
37 public class ProgramFileReader {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
38 String fileName;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
39 Vector <Program> programs;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
40
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
41
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
42 public ProgramFileReader(String fileName) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
43 this.fileName = fileName;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
44 this.programs = new Vector <Program> ();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
45 }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
46
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
47
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
48 public boolean read() {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
49 // File file = new File(this.fileName);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
50 // Program program = null;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
51 // int step = 0;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
52 // TreeMap <String, ProgramOption> options = new TreeMap <String, ProgramOption> ();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
53
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
54 // try {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
55 // BufferedReader reader = new BufferedReader(new FileReader(file));
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
56 // String line = null;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
57 // String section = null;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
58
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
59 // while ((line = reader.readLine()) != null) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
60
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
61 // line = line.trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
62
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
63 // if (line.length() == 0) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
64 // if (program != null) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
65 // programs.add(program);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
66 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
67 // program = null;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
68 // step = 0;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
69 // continue;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
70 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
71
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
72 // if ((line.charAt(0) == '[') && (line.charAt(line.length() - 1) == ']')) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
73 // section = line.substring(1, line.length() - 1).trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
74 // continue;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
75 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
76 // switch (step) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
77 // case 0:
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
78 // program = new Program();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
79 // program.setName(line);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
80 // if (section == null) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
81 // System.out.println("Error! Section of program '" + line + "' is not set!");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
82 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
83 // program.setSection(section);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
84 // step = 1;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
85 // break;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
86 // case 1:
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
87 // program.setShortName(line);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
88 // step = 2;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
89 // break;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
90 // case 2:
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
91 // ProgramOption option = new ProgramOption();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
92
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
93 // String[] elements = line.split(":");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
94 // boolean input = elements[0].trim().equalsIgnoreCase("input")? true: false;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
95 // String[] subElements = elements[1].split(";");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
96 // String identifier = subElements[0].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
97
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
98 // option.setInput(input);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
99
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
100 // if (input) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
101
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
102 // if (subElements.length < 4) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
103 // System.out.println("Line '" + line + "' is weird...");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
104 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
105
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
106 // String type = subElements[1].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
107 // String comment = subElements[2].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
108 // boolean compulsory = subElements[3].trim().equalsIgnoreCase("0")? false: true;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
109
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
110 // option.setIdentifier(identifier);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
111 // option.setType(type);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
112 // option.setComment(comment);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
113 // option.setCompulsory(compulsory);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
114
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
115 // if ("file".compareToIgnoreCase(type) == 0) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
116 // if (subElements.length < 5) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
117 // System.out.println("Line '" + line + "' is weird...");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
118 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
119
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
120 // String formatIdentifier = subElements[4].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
121 // option.setFormatIdentifier(formatIdentifier);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
122 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
123 // else if ("choice".compareToIgnoreCase(type) == 0) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
124 // if (subElements.length < 5) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
125 // System.out.println("Line '" + line + "' is weird...");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
126 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
127
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
128 // String[] choices = subElements[4].trim().split(",");
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
129 // for (int i = 0; i < choices.length; i++) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
130 // choices[i] = choices[i].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
131 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
132 // option.setChoices(choices);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
133 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
134 // options.put(identifier, option);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
135 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
136 // else {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
137 // String format = subElements[1].trim();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
138
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
139 // option.setFormat(format);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
140 // option.setAssociatedOption(options.get(identifier));
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
141 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
142
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
143 // program.addOption(option);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
144
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
145 // break;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
146 // default:
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
147 // return false;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
148 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
149 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
150
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
151 // reader.close();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
152 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
153 // catch (FileNotFoundException e) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
154 // return false;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
155 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
156 // catch (IOException e) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
157 // return false;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
158 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
159
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
160 // if (program != null) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
161 // programs.add(program);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
162 // }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
163
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
164 return true;
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
165 }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
166
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
167 public int getNbPrograms() {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
168 return programs.size();
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
169 }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
170
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
171 public Program getProgram(int i) {
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
172 return programs.get(i);
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
173 }
769e306b7933 Change the repository level.
yufei-luo
parents:
diff changeset
174 }