internal SourceFile GetSourceFile(int index) { C.SourceFileEntry source = File != null ? File.GetSourceFile (index) : null; if (source == null) return null; return source_file_hash [source]; }