public SymDiffMergeVerb(BoogieAsmVerifyVerb basmVerb, SymDiffCombineVerb combiner)
{
this.basmVerb = basmVerb;
this.mutualSummary = basmVerb.getMutualSummary();
this.combiner = combiner;
this.abstractId = new AbstractId(this.GetType().Name, version, this.combiner.getOutputFile().ToString()); // String.Format("{0},{1}", One should suffice for uniqueness: mutualSummary, combiner.getOutputFile()));
this.output = this.basmVerb.outputFile().makeOutputObject(MERGED_EXTN + BoogieVerb.BPL_EXTN);
}
public SymDiffMergeVerb(BoogieAsmVerifyVerb basmVerb, SymDiffCombineVerb combiner)
{
this.basmVerb = basmVerb;
this.mutualSummary = basmVerb.getMutualSummary();
this.combiner = combiner;
this.abstractId = new AbstractId(this.GetType().Name, version, this.combiner.getOutputFile().ToString()); // String.Format("{0},{1}", One should suffice for uniqueness: mutualSummary, combiner.getOutputFile()));
this.output = this.basmVerb.outputFile().makeOutputObject(MERGED_EXTN + BoogieVerb.BPL_EXTN);
}
public SymDiffMergeConfigVerb(BoogieAsmVerifyVerb basmVerb, SymDiffInferVerb inferVerb)
{
this.basmVerb = basmVerb;
this.mutualSummary = basmVerb.getMutualSummary();
this.inferVerb = inferVerb;
this.inferredConfig = inferVerb.getOutputFile();
abstractId = new AbstractId(this.GetType().Name, version, inferredConfig.ToString()); //- One should suffice for uniqueness: String.Format("{0},{1}", mutualSummary,inferredConfig));
output = this.basmVerb.outputFile().makeOutputObject(CONFIG_EXTN);
}
public SymDiffMergeConfigVerb(BoogieAsmVerifyVerb basmVerb, SymDiffInferVerb inferVerb)
{
this.basmVerb = basmVerb;
this.mutualSummary = basmVerb.getMutualSummary();
this.inferVerb = inferVerb;
this.inferredConfig = inferVerb.getOutputFile();
this.abstractId = new AbstractId(this.GetType().Name, version, this.inferredConfig.ToString()); // One should suffice for uniqueness: String.Format("{0},{1}", mutualSummary,inferredConfig));
this.output = this.basmVerb.outputFile().makeOutputObject(CONFIG_EXTN);
}
