public CodeContractViolationException(CodeContractViolationData violationData) : base(violationData.ErrorMessage) { this.Value = violationData.Value; this.Name = violationData.Name; }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData")); this._logger.LogViolation(violationData); }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(false, violationData.ErrorMessage); }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData")); throw new CodeContractViolationException(violationData); }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData")); throw new CodeContractViolationException(violationData); }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(false, violationData.ErrorMessage); }
public void Notify(CodeContractViolationData violationData) { Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData")); this._logger.LogViolation(violationData); }
public CodeContractViolationException(CodeContractViolationData violationData) : base(violationData.ErrorMessage) { this.Value = violationData.Value; this.Name = violationData.Name; }