Esempio n. 1
0
 public EntryStitcherVerb(IContextGeneratingVerb context, string appLabel)
 {
     this.appLabel = appLabel;
     this.context = context;
     this.entryImpInput = new SourcePath("src\\Checked\\Nucleus\\Main\\Entry.imp.beat");
     SourcePath mainBeatSrc = new SourcePath("src\\Checked\\Nucleus\\Main\\Main.ifc.beat");
     this.mainBeatVerb = new BeatVerb(context, mainBeatSrc, appLabel);
     this.genericStitch = new SourcePath("src\\Trusted\\Spec\\Entry.ifc.basm.stitch");
     this.appSpecificStitch = new SourcePath(string.Format("src\\Trusted\\Spec\\{0}\\AppRequirements.ifc.stitch", appLabel));
 }
Esempio n. 2
0
        public EntryStitcherVerb(IContextGeneratingVerb context, string appLabel)
        {
            this.appLabel      = appLabel;
            this.context       = context;
            this.entryImpInput = new SourcePath("src\\Checked\\Nucleus\\Main\\Entry.imp.beat");
            SourcePath mainBeatSrc = new SourcePath("src\\Checked\\Nucleus\\Main\\Main.ifc.beat");

            this.mainBeatVerb      = new BeatVerb(context, mainBeatSrc, appLabel);
            this.genericStitch     = new SourcePath("src\\Trusted\\Spec\\Entry.ifc.basm.stitch");
            this.appSpecificStitch = new SourcePath(string.Format("src\\Trusted\\Spec\\{0}\\AppRequirements.ifc.stitch", appLabel));
        }
Esempio n. 3
0
        public EntryStitcherVerb(IContextGeneratingVerb context, string appLabel)
        {
            this.appLabel = appLabel;
            this.context  = context;
            entryImpInput = new SourcePath("src/Checked/Nucleus/Main/Entry.imp.beat");
            SourcePath mainBeatSrc = new SourcePath("src/Checked/Nucleus/Main/Main.ifc.beat");

            mainBeatVerb      = new BeatVerb(context, mainBeatSrc, appLabel);
            genericStitch     = new SourcePath("src/Trusted/Spec/Entry.ifc.basm.stitch");
            appSpecificStitch = new SourcePath(String.Format("src/Trusted/Spec/{0}/AppRequirements.ifc.stitch", appLabel));
        }
Esempio n. 4
0
            BuildObject maybeBeat(BuildObject obj, HashSet <IVerb> mutableVerbSet)
            {
                BuildObject result = obj;

                if (BeatVerb.isBeat(obj))
                {
                    BeatVerb beatVerb = new BeatVerb(_contextGenVerb, obj, appLabel: null);
                    IEnumerable <BuildObject> beatOuts = beatVerb.getOutputs();
                    Util.Assert(beatOuts.Count() == 1);
                    mutableVerbSet.Add(beatVerb);
                    result = beatVerb.getOutputs().First();
                }
                else
                {
                    //- No, this thing should already be ready to consume.
                    //-mutableVerbSet.Add(new BoogieAsmVerifyVerb(context, obj));
                }
                Util.Assert(BoogieAsmVerifyVerb.isBasm(result));
                return(result);
            }
Esempio n. 5
0
            private BuildObject maybeBeat(BuildObject obj, HashSet<IVerb> mutableVerbSet)
            {
                BuildObject result = obj;
                if (BeatVerb.isBeat(obj))
                {
                    BeatVerb beatVerb = new BeatVerb(_contextGenVerb, obj, appLabel: null);
                    IEnumerable<BuildObject> beatOuts = beatVerb.getOutputs();
                    Util.Assert(beatOuts.Count() == 1);
                    mutableVerbSet.Add(beatVerb);
                    result = beatVerb.getOutputs().First();
                }
                else
                {
                    // No, this thing should already be ready to consume.
                    ////mutableVerbSet.Add(new BoogieAsmVerifyVerb(context, obj));
                }

                Util.Assert(BoogieAsmVerifyVerb.isBasm(result));
                return result;
            }