168 } |
168 } |
169 |
169 |
170 void run(JavaCompiler tool, StandardJavaFileManager fm) throws Exception { |
170 void run(JavaCompiler tool, StandardJavaFileManager fm) throws Exception { |
171 checkCount++; |
171 checkCount++; |
172 JavacTask ct = (JavacTask)tool.getTask(null, fm, diagChecker, |
172 JavacTask ct = (JavacTask)tool.getTask(null, fm, diagChecker, |
173 Arrays.asList("-XDallowIntersectionTypes"), null, Arrays.asList(source)); |
173 null, null, Arrays.asList(source)); |
174 ct.parse(); |
174 ct.parse(); |
175 if (diagChecker.errorFound) { |
175 if (diagChecker.errorFound) { |
176 throw new Error("Unexpected parser error for source:\n" + |
176 throw new Error("Unexpected parser error for source:\n" + |
177 source.getCharContent(true)); |
177 source.getCharContent(true)); |
178 } |
178 } |