diff options
Diffstat (limited to 'org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java')
-rw-r--r-- | org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java b/org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java index ec9051533e..38ce78b664 100644 --- a/org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java +++ b/org.eclipse.jdt.compiler.apt/src/org/eclipse/jdt/internal/compiler/apt/util/EclipseFileManager.java @@ -87,6 +87,7 @@ public class EclipseFileManager implements StandardJavaFileManager { File jrtHome; JrtFileSystem jrtSystem; public ResourceBundle bundle; + String releaseVersion; public EclipseFileManager(Locale locale, Charset charset) { this.locale = locale == null ? Locale.getDefault() : locale; @@ -814,6 +815,13 @@ public class EclipseFileManager implements StandardJavaFileManager { } else { throw new IllegalArgumentException(); } + case "--relese": //$NON-NLS-1$ + if (remaining.hasNext()) { + this.releaseVersion = remaining.next(); + return true; + } else { + throw new IllegalArgumentException(); + } } } catch (IOException e) { // ignore @@ -1206,7 +1214,9 @@ public class EclipseFileManager implements StandardJavaFileManager { customEncoding, isSourceOnly, accessRuleSet, - destPath, null); + destPath, + null, + this.releaseVersion); if (currentClasspath != null) { paths.add(currentClasspath); } @@ -1336,7 +1346,7 @@ public class EclipseFileManager implements StandardJavaFileManager { new DefaultProblemFactory()); for (Path path : paths) { List<Classpath> mp = ModuleFinder.findModules(path.toFile(), null, - new Parser(problemReporter, true), null, true); + new Parser(problemReporter, true), null, true, this.releaseVersion); for (Classpath cp : mp) { Collection<String> moduleNames = cp.getModuleNames(null); for (String string : moduleNames) { |