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