/** * Get the name of the source file referred to by this diagnostic. * * @return the name of the source referred to with this diagnostic, or null if none */ @DefinedBy(Api.COMPILER) public JavaFileObject getSource() { if (source == null) return null; else return source.getFile(); }