143 names[i] = new String("Value"+i);
144 }
145 return names;
146 }
147
148 static private File writeSource(String filename, String source) {
149 try{
150 PrintWriter writer = new PrintWriter(filename, "UTF-8");
151 writer.println(source);
152 writer.close();
153 } catch (IOException e) {
154 throw new RuntimeException("Writing source file failed");
155 }
156 return new File(filename);
157 }
158
159 static private File[] generateValueSources(String[] valueNames) {
160 File[] sources = new File[valueNames.length];
161 for (int i = 0; i < valueNames.length; i++) {
162 int nfields = random.nextInt(6) + 1;
163 String s = ValueTypeGenerator.generateValueTypeNoObjectRef(random, valueNames[i], nfields);
164 String filename = valueNames[i]+".java";
165 sources[i] = writeSource(filename, s);
166 }
167 return sources;
168 }
169
170 static private File[] generateLoopSource(String[] names) {
171 StringBuilder sb = new StringBuilder();
172 sb.append("// Seed = ").append(seed).append("\n");
173 // class declaration
174 sb.append("public final class Loop {\n");
175 sb.append("\n");
176
177 sb.append("\tstatic {\n");
178 int i = 0;
179 for (String name : names) {
180 sb.append("\t\t").append(names[i]).append(" lv").append(i).append(" = ");
181 sb.append(names[i]).append(".make").append(names[i]).append("();\n");
182 sb.append("\t\tlv").append(i).append(".printLayout(System.out);\n");
183 i++;
|
143 names[i] = new String("Value"+i);
144 }
145 return names;
146 }
147
148 static private File writeSource(String filename, String source) {
149 try{
150 PrintWriter writer = new PrintWriter(filename, "UTF-8");
151 writer.println(source);
152 writer.close();
153 } catch (IOException e) {
154 throw new RuntimeException("Writing source file failed");
155 }
156 return new File(filename);
157 }
158
159 static private File[] generateValueSources(String[] valueNames) {
160 File[] sources = new File[valueNames.length];
161 for (int i = 0; i < valueNames.length; i++) {
162 int nfields = random.nextInt(6) + 1;
163 String s = ValueTypeGenerator.generateValueType(random, valueNames[i], nfields);
164 String filename = valueNames[i]+".java";
165 sources[i] = writeSource(filename, s);
166 }
167 return sources;
168 }
169
170 static private File[] generateLoopSource(String[] names) {
171 StringBuilder sb = new StringBuilder();
172 sb.append("// Seed = ").append(seed).append("\n");
173 // class declaration
174 sb.append("public final class Loop {\n");
175 sb.append("\n");
176
177 sb.append("\tstatic {\n");
178 int i = 0;
179 for (String name : names) {
180 sb.append("\t\t").append(names[i]).append(" lv").append(i).append(" = ");
181 sb.append(names[i]).append(".make").append(names[i]).append("();\n");
182 sb.append("\t\tlv").append(i).append(".printLayout(System.out);\n");
183 i++;
|