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