public override IEnumerable <BuildObject> getDependencies(out DependencyDisposition ddisp)
{
BuildObject obligations = producer.getObligationSet();
HashSet <BuildObject> deps = new HashSet <BuildObject>();
deps.Add(obligations);
try
{
VerificationObligationList vol = VerificationObligationList.fetch(obligations);
this.verification_results = vol.getVerificationObligations();
deps.UnionWith(this.verification_results);
ddisp = DependencyDisposition.Complete;
}
catch (ObjNotReadyException)
{
ddisp = DependencyDisposition.Incomplete;
}
catch (ObjFailedException)
{
ddisp = DependencyDisposition.Failed;
}
return(deps);
}
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;
}