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 (in PostSharp.Patterns.Common.dll) Version: 2023.0.3.0 (2023.0.3.0)
C#
[SerializableAttribute] public class PostconditionFailedException : Exception
Name | Description | |
---|---|---|
PostconditionFailedException() |
Initializes a new instance of the PostconditionFailedException class.
| |
PostconditionFailedException(String) |
Initializes a new instance of the PostconditionFailedException class with a specified error message.
| |
PostconditionFailedException(SerializationInfo, StreamingContext) |
Initializes a new instance of the PostconditionFailedException class with serialized data.
| |
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.
|