Ejemplo n.º 1
0
        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);
        }
Ejemplo n.º 2
0
        //- 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);
        }