151 |
151 |
152 JavacFileManager createFileManager(boolean useOptimizedZip, boolean useSymbolFile) { |
152 JavacFileManager createFileManager(boolean useOptimizedZip, boolean useSymbolFile) { |
153 Context c = new Context(); |
153 Context c = new Context(); |
154 Options options = Options.instance(c); |
154 Options options = Options.instance(c); |
155 |
155 |
156 if (useOptimizedZip) { |
156 options.put("useOptimizedZip", Boolean.toString(useOptimizedZip)); |
157 options.put("useOptimizedZip", "true"); |
157 |
158 } |
158 if (!useSymbolFile) { |
159 |
159 options.put("ignore.symbol.file", "true"); |
160 if (!useSymbolFile) { |
160 } |
161 options.put("ignore.symbol.file", "true"); |
161 return new JavacFileManager(c, false, null); |
162 } |
|
163 return new JavacFileManager(c, false, null); |
|
164 } |
162 } |
165 |
163 |
166 File createDir(String name, String... entries) throws Exception { |
164 File createDir(String name, String... entries) throws Exception { |
167 File dir = new File(name); |
165 File dir = new File(name); |
168 if (!dir.mkdirs()) |
166 if (!dir.mkdirs()) |