public IContractBundle AddPostconditionOnThrow(IContractCondition condition) { var elevatedPostConditions = this.PostconditionsOnThrow.Enqueue(condition); return Copy(postconditionsOnThrow: elevatedPostConditions); }
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); }
public IContractBundle AddPrecondition(IContractCondition condition) { var elevatedPreconditions = this.Preconditions.Enqueue(condition); return(Copy(preconditions: elevatedPreconditions)); }