C# (CSharp) IObligationsProducer示例

示例#1

文件： VerificationResultSummaryVerb.cs 项目： jango2015/Ironclad

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

示例#2

文件： VerificationResultSummaryVerb.cs 项目： vmkc/research-environment

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