Esempi in C# (CSharp) per AssertStreamliner CodeContractViolationData

Esempio n. 1

File: CodeContractViolationException.cs Progetto: kozan/AssertStreamliner

 public CodeContractViolationException(CodeContractViolationData violationData)
     : base(violationData.ErrorMessage)
 {
     this.Value = violationData.Value;
     this.Name = violationData.Name;
 }

Esempio n. 2

File: LogNotifier.cs Progetto: kozan/AssertStreamliner

        public void Notify(CodeContractViolationData violationData)
        {
            Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData"));

            this._logger.LogViolation(violationData);
        }

Esempio n. 3

File: DebugAssertNotifier.cs Progetto: kozan/AssertStreamliner

 public void Notify(CodeContractViolationData violationData)
 {
     Debug.Assert(false, violationData.ErrorMessage);
 }

Esempio n. 4

        public void Notify(CodeContractViolationData violationData)
        {
            Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData"));

            throw new CodeContractViolationException(violationData);
        }

Esempio n. 5

File: ExceptionNotifier.cs Progetto: kozan/AssertStreamliner

        public void Notify(CodeContractViolationData violationData)
        {
            Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData"));

            throw new CodeContractViolationException(violationData);
        }

Esempio n. 6

File: DebugAssertNotifier.cs Progetto: kozan/AssertStreamliner

 public void Notify(CodeContractViolationData violationData)
 {
     Debug.Assert(false, violationData.ErrorMessage);
 }

Esempio n. 7

File: LogNotifier.cs Progetto: kozan/AssertStreamliner

        public void Notify(CodeContractViolationData violationData)
        {
            Debug.Assert(violationData != null, string.Format(CodeContractMessages.CannotBeNull, "violationData"));

            this._logger.LogViolation(violationData);
        }

Esempio n. 8

 public CodeContractViolationException(CodeContractViolationData violationData)
     : base(violationData.ErrorMessage)
 {
     this.Value = violationData.Value;
     this.Name  = violationData.Name;
 }