| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 62 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
64 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
66 this.baseFM = baseFM; in DelegatingJavaFileManager()
73 return baseFM; in delegate()
94 return baseFM.isSameFile(a, b); in isSameFile()
99 return baseFM.handleOption(current, remaining); in handleOption()
104 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
134 baseFM.flush(); in flush()
140 baseFM.close(); in close()
178 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/main/ |
| H A D | DelegatingJavaFileManager.java | 61 private final JavaFileManager baseFM; field in DelegatingJavaFileManager
63 private DelegatingJavaFileManager(JavaFileManager releaseFM, JavaFileManager baseFM) { in DelegatingJavaFileManager() argument
65 this.baseFM = baseFM; in DelegatingJavaFileManager()
72 return baseFM; in delegate()
93 return baseFM.isSameFile(a, b); in isSameFile()
98 return baseFM.handleOption(current, remaining); in handleOption()
103 return releaseFM.hasLocation(location) || baseFM.hasLocation(location); in hasLocation()
133 baseFM.flush(); in flush()
139 baseFM.close(); in close()
177 return baseFM.isSupportedOption(option); in isSupportedOption()
[all …]
|