equal
deleted
inserted
replaced
65 /** Return the underlying file object handled by this |
65 /** Return the underlying file object handled by this |
66 * DiagnosticSource object. |
66 * DiagnosticSource object. |
67 */ |
67 */ |
68 public JavaFileObject getFile() { |
68 public JavaFileObject getFile() { |
69 return fileObject; |
69 return fileObject; |
70 } |
|
71 |
|
72 public CharSequence getName() { |
|
73 return JavacFileManager.getJavacBaseFileName(fileObject); |
|
74 } |
70 } |
75 |
71 |
76 /** Return the one-based line number associated with a given pos |
72 /** Return the one-based line number associated with a given pos |
77 * for the current source file. Zero is returned if no line exists |
73 * for the current source file. Zero is returned if no line exists |
78 * for the given position. |
74 * for the given position. |