The exception that is thrown when a postcondition contract was not fulfilled by a method.
Implements
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public class PostconditionViolationException : ApplicationException, ISerializableConstructors
| Name | Description |
|---|---|
| PostconditionViolationException() | Initializes a new instance of the PostconditionViolationException class. |
| PostconditionViolationException(SerializationInfo, StreamingContext) | Initializes a new instance of the PostconditionViolationException class with serialized data. |
| PostconditionViolationException(string) | Initializes a new instance of the PostconditionViolationException class with a specified error message. |
| PostconditionViolationException(string, Exception?) | Initializes a new instance of the PostconditionViolationException class with a specified error message and a reference to the inner exception that is the cause of this exception. |
| PostconditionViolationException(string, object?) | Initializes a new instance of the PostconditionViolationException class with a specified error message and actual value. |
Properties
| Name | Description |
|---|---|
| ActualValue | Gets the value that caused this exception, when applicable. |