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