public TrackedFile(string path, TrackedFileType type, SourceLineNumber sourceLineNumbers) { this.Path = path; this.Type = type; this.SourceLineNumbers = sourceLineNumbers; this.Clean = (type == TrackedFileType.Intermediate || type == TrackedFileType.Final); }
public ITrackedFile TrackFile(string path, TrackedFileType type, SourceLineNumber sourceLineNumbers = null) { return(new TrackedFile(path, type, sourceLineNumbers)); }
public ITrackedFile TrackFile(string path, TrackedFileType type, SourceLineNumber sourceLineNumbers = null) => this.backendHelper.TrackFile(path, type, sourceLineNumbers);