public IEnumerable <BuildObject> getIncludes(BuildObject beatsrc)
{
IHasher hasher = BuildEngine.theEngine.getHasher();
OrderPreservingSet <BuildObject> includes = new OrderPreservingSet <BuildObject>();
BuildObject ifcFile = hasher.search(this.includePathSearcher, beatsrc.getFileNameWithoutExtension(), ModPart.Ifc);
BuildObject impFile = hasher.search(this.includePathSearcher, beatsrc.getFileNameWithoutExtension(), ModPart.Imp);
Util.Assert(ifcFile.Equals(beatsrc) || impFile.Equals(beatsrc));
includes.AddRange(this.directIncludes.getBasmIncludes(ifcFile));
includes.AddRange(this.directIncludes.getBasmIncludes(impFile));
return(includes);
}
protected override bool transformFilterAccepts(BuildObject dfysource)
{
string fn = dfysource.getFileNameWithoutExtension();
if (fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_S_SUFFIX))
{
return true;
}
else
{
Util.Assert(fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_I_SUFFIX) || fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_C_SUFFIX) || dfysource.Equals(this.getDafnyPrelude()));
return false;
}
}
protected override bool transformFilterAccepts(BuildObject dfysource)
{
string fn = dfysource.getFileNameWithoutExtension();
if (fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_S_SUFFIX))
{
return(true);
}
else
{
Util.Assert(fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_I_SUFFIX) || fn.EndsWith("." + DafnyTransformBaseVerb.DAFNY_C_SUFFIX) || dfysource.Equals(this.getDafnyPrelude()));
return(false);
}
}
