Example #1
0
 public assertiveToolDS()
 {
     this.pMethod             = new Method();
     this.newMethod           = new Method();
     this.localVars           = new List <Variable>();
     this.strengthLemma       = new Lemma();
     this.weakLemma           = new Lemma();
     this.strengthedPostConds = new List <string>();
     this.weakednedPreConds   = new List <string>();
 }
Example #2
0
        public string generateWeakLemma()
        {
            if (!this.HasWeakenedPreConds())
            {
                return("");
            }

            Lemma tmp = new Lemma(this.weakLemma);

            foreach (string preCond in this.pMethod.PreConditions)
            {
                tmp.AddPreCond(preCond);
            }

            foreach (string postCond in this.weakednedPreConds)
            {
                tmp.AddPostCond(postCond);
            }

            return(tmp.GenerateDecleration());
        }