PostconditionViolationException Class
The exception that is thrown when a postcondition contract was not fulfilled by a method.
Inheritance
System.Object
PostconditionViolationException
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public class PostconditionViolationException : ApplicationExceptionConstructors
| 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. |