String SourceFile.Name { get; }