PostconditionFailedException Class
The exception that is thrown when a postcondition contract was not fulfilled by a method.
Namespace: PostSharp.Patterns.Contracts
Assembly: PostSharp.Patterns.Common.dll
Syntax
public class PostconditionFailedException : ExceptionConstructors
| Name | Description |
|---|---|
| PostconditionFailedException() | Initializes a new instance of the PostconditionFailedException class. |
| PostconditionFailedException(SerializationInfo, StreamingContext) | Initializes a new instance of the PostconditionFailedException class with serialized data. |
| PostconditionFailedException(String) | Initializes a new instance of the PostconditionFailedException class with a specified error message. |
| PostconditionFailedException(String, Exception) | Initializes a new instance of the PostconditionFailedException class with a specified error message and a reference to the inner exception that is the cause of this exception. |