135 public void setExtendedOption(String name, Object... args) { |
135 public void setExtendedOption(String name, Object... args) { |
136 setOption1(name, OptionKind.EXTENDED, args); |
136 setOption1(name, OptionKind.EXTENDED, args); |
137 } |
137 } |
138 |
138 |
139 private static boolean match(OptionKind clientKind, OptionKind optionKind) { |
139 private static boolean match(OptionKind clientKind, OptionKind optionKind) { |
140 return (clientKind == (optionKind == OptionKind.HIDDEN ? optionKind.EXTENDED : optionKind)); |
140 return (clientKind == (optionKind == OptionKind.HIDDEN ? OptionKind.EXTENDED : optionKind)); |
141 } |
141 } |
142 |
142 |
143 public JavacFileManager getStandardFileManager( |
143 public JavacFileManager getStandardFileManager( |
144 DiagnosticListener<? super JavaFileObject> diagnosticListener, |
144 DiagnosticListener<? super JavaFileObject> diagnosticListener, |
145 Locale locale, |
145 Locale locale, |