173 "compiler." + FRAGMENT.key + "." + key, |
173 "compiler." + FRAGMENT.key + "." + key, |
174 args); |
174 args); |
175 } |
175 } |
176 |
176 |
177 /** |
177 /** |
178 * A simple abstraction of a source file, as needed for use in a diagnostic message. |
|
179 */ |
|
180 // Note: This class may be superceded by a more general abstraction |
|
181 public interface DiagnosticSource { |
|
182 JavaFileObject getFile(); |
|
183 CharSequence getName(); |
|
184 int getLineNumber(int pos); |
|
185 int getColumnNumber(int pos); |
|
186 Map<JCTree, Integer> getEndPosTable(); |
|
187 }; |
|
188 |
|
189 /** |
|
190 * A DiagnosticType defines the type of the diagnostic. |
178 * A DiagnosticType defines the type of the diagnostic. |
191 **/ |
179 **/ |
192 public enum DiagnosticType { |
180 public enum DiagnosticType { |
193 /** A fragment of an enclosing diagnostic. */ |
181 /** A fragment of an enclosing diagnostic. */ |
194 FRAGMENT("misc"), |
182 FRAGMENT("misc"), |