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