docs for SourceFileManager