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));
 }
Exemple #3
0
 public ITrackedFile TrackFile(string path, TrackedFileType type, SourceLineNumber sourceLineNumbers = null) => this.backendHelper.TrackFile(path, type, sourceLineNumbers);