public override IEnumerable <BuildObject> getDependencies(out DependencyDisposition ddisp)
{
HashSet <BuildObject> result = DafnyExtensions.getForestDependencies(getRoots(), out ddisp);
result.Add(getExecutable());
result.UnionWith(getExtraDependencies());
return(result);
}
protected virtual IEnumerable <SourcePath> getAllDafnyModules(out DependencyDisposition ddisp)
{
HashSet <BuildObject> result = DafnyExtensions.getForestDependencies(getRoots(), out ddisp);
//- now we assert that all Dafny inputs are actually SourcePaths.
HashSet <SourcePath> rc = new HashSet <SourcePath>();
foreach (BuildObject obj in result)
{
if (obj.getExtension().EndsWith(DafnyVerifyOneVerb.DAFNY_EXTN))
{
rc.Add((SourcePath)obj);
}
else
{
Util.Assert(obj.getExtension().EndsWith(TransitiveDepsVerb.TDEP_EXTN));
//- discard it.
}
}
return(rc);
}
public override IEnumerable <IVerb> getVerbs()
{
return(DafnyExtensions.getForestVerbs(getRoots()));
}