public Resolver(DefinitionCollection store, IEnumerable <string> paths, bool ignoreFileCase) { if (store == null) { throw new ArgumentNullException("store"); } if (paths == null) { throw new ArgumentNullException("paths"); } this.store = store; Set <string> dp = new Set <string>(); foreach (string p in paths) { dp.Put(Path.GetFullPath(p + Path.DirectorySeparatorChar)); } this.paths = new List <string>(dp); if (Program.CaseSensitiveFileSystem) { parsedFiles = new Set <string>(StringComparer.Ordinal); } else { parsedFiles = new Set <string>(StringComparer.InvariantCultureIgnoreCase); } SetupVoid(); prefetcher = new Prefetcher(ignoreFileCase); }
public void Dispose() { if (prefetcher != null) { prefetcher.Dispose(); prefetcher = null; } }