public override IEnumerable <BuildObject> getDependencies(out DependencyDisposition ddisp)
{
TransitiveDepsVerb depsVerb = this.getTransitiveDepsVerb();
HashSet <BuildObject> result = depsVerb.getAvailableDeps(out ddisp);
result.UnionWith(DafnyExecutableDependencies.getDafnyExecutableDependencies());
return(result);
}
//- The list belongs to the caller to .Add() to as desired.
public static OrderPreservingSet <BuildObject> getBasmFlavoredTransitiveDependencies(IContextGeneratingVerb context, BuildObject rootObj, out DependencyDisposition ddisp)
{
OrderPreservingSet <BuildObject> result = new OrderPreservingSet <BuildObject>();
TransitiveDepsVerb depsVerb = getBasmFlavoredTransitiveDepVerb(context, rootObj);
result.Add(depsVerb.depsObj());
result.AddRange(depsVerb.getAvailableDeps(out ddisp));
//- NB add root object at end of list, to keep it in definition-dependency order
result.Add(rootObj);
return(result);
}