public VerificationResultSummaryVerb(IObligationsProducer producer)
{
this.producer = producer;
BuildObject id = producer.getObligationSet(); ////producer.getIdentifier();
this.outputObject = id.makeOutputObject(id.getExtension() + SUMMARY_EXTN);
this.abstractId = new AbstractId(this.GetType().Name, version, id.ToString());
this.verificationResults = null;
}
public VerificationResultSummaryVerb(IObligationsProducer producer)
{
this.producer = producer;
BuildObject id = producer.getObligationSet(); //-producer.getIdentifier();
outputObject = id.makeOutputObject(id.getExtension() + SUMMARY_EXTN);
abstractId = new AbstractId(this.GetType().Name, version, id.ToString());
verification_results = null;
}
