private HashSet <BuildObject> getAvailableDeps(out DependencyDisposition ddisp)
{
TransitiveDepsVerb depsVerb = new DafnyTransitiveDepsVerb(this.displayRoot);
HashSet <BuildObject> availableDeps = depsVerb.getAvailableDeps(out ddisp);
availableDeps.Add(this.displayRoot); //- TransitiveDeps *exclude* the root, so we need to add that in, too.
return(availableDeps);
}
public DafnyCompileOneVerb(SourcePath input)
{
if (input == null)
{
throw new ArgumentNullException("input");
}
this.abstractId = new AbstractId(GetType().Name, Version, input.ToString());
this.input = input;
this.output = input.makeOutputObject(CSharpExt);
this.transitiveDepsVerb = new DafnyTransitiveDepsVerb(input);
this.verbs = new IVerb[] { this.transitiveDepsVerb };
}
public DafnyCompileOneVerb(SourcePath input)
{
if (input == null)
{
throw new ArgumentNullException("input");
}
this.abstractId = new AbstractId(GetType().Name, Version, input.ToString());
this.input = input;
this.output = input.makeOutputObject(CSharpExt);
this.transitiveDepsVerb = new DafnyTransitiveDepsVerb(input);
this.verbs = new IVerb[] { this.transitiveDepsVerb };
}
public static HashSet <BuildObject> getForestDependencies(IEnumerable <BuildObject> roots, out DependencyDisposition ddisp)
{
HashSet <BuildObject> result = new HashSet <BuildObject>();
ddisp = DependencyDisposition.Complete;
foreach (BuildObject dfysource in roots)
{
TransitiveDepsVerb depsVerb = new DafnyTransitiveDepsVerb(dfysource);
DependencyDisposition localDDisp;
result.UnionWith(depsVerb.getAvailableDeps(out localDDisp));
ddisp = ddisp.combine(localDDisp);
result.Add(dfysource); //- TransitiveDeps *exclude* the root, so we need to add that in, too.
}
return(result);
}
public static HashSet<BuildObject> getForestDependencies(IEnumerable<BuildObject> roots, out DependencyDisposition ddisp)
{
HashSet<BuildObject> result = new HashSet<BuildObject>();
ddisp = DependencyDisposition.Complete;
foreach (BuildObject dfysource in roots)
{
TransitiveDepsVerb depsVerb = new DafnyTransitiveDepsVerb(dfysource);
DependencyDisposition localDDisp;
result.UnionWith(depsVerb.getAvailableDeps(out localDDisp));
ddisp = ddisp.combine(localDDisp);
result.Add(dfysource); // TransitiveDeps *exclude* the root, so we need to add that in, too.
}
return result;
}
private HashSet<BuildObject> getAvailableDeps(out DependencyDisposition ddisp)
{
TransitiveDepsVerb depsVerb = new DafnyTransitiveDepsVerb(this.displayRoot);
HashSet<BuildObject> availableDeps = depsVerb.getAvailableDeps(out ddisp);
availableDeps.Add(this.displayRoot); // TransitiveDeps *exclude* the root, so we need to add that in, too.
return availableDeps;
}
