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