コード例 #1
0
 public IContractBundle AddPostconditionOnThrow(IContractCondition condition)
 {
     var elevatedPostConditions = this.PostconditionsOnThrow.Enqueue(condition);
     return Copy(postconditionsOnThrow: elevatedPostConditions);
 }
コード例 #2
0
        public IContractBundle AddPostconditionOnThrow(IContractCondition condition)
        {
            var elevatedPostConditions = this.PostconditionsOnThrow.Enqueue(condition);

            return(Copy(postconditionsOnThrow: elevatedPostConditions));
        }
コード例 #3
0
 public IContractBundle AddPrecondition(IContractCondition condition)
 {
     var elevatedPreconditions = this.Preconditions.Enqueue(condition);
     return Copy(preconditions: elevatedPreconditions);
 }
コード例 #4
0
        public IContractBundle AddPrecondition(IContractCondition condition)
        {
            var elevatedPreconditions = this.Preconditions.Enqueue(condition);

            return(Copy(preconditions: elevatedPreconditions));
        }