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;
}
}
