PostSharp 2023.0 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Postcondition­Failed­Exception Class

PostconditionFailedException Class
The exception that is thrown when a postcondition contract was not fulfilled by a method.
Inheritance Hierarchy
System.Object
  System.Exception
    PostSharp.Patterns.Contracts.PostconditionFailedException

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 2023.0.3.0 (2023.0.3.0)
Syntax
C#
Copy
[SerializableAttribute]
public class PostconditionFailedException : Exception
Constructors
  NameDescription
Public methodPostconditionFailedException()
Initializes a new instance of the PostconditionFailedException class.
Public methodPostconditionFailedException(String)
Initializes a new instance of the PostconditionFailedException class with a specified error message.
Protected methodPostconditionFailedException(SerializationInfo, StreamingContext)
Initializes a new instance of the PostconditionFailedException class with serialized data.
Public methodPostconditionFailedException(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.
See Also