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: 5.0.38.0 (5.0.38.0)
Syntax
C#
[SerializableAttribute]
public class PostconditionFailedException : Exception

The PostconditionFailedException type exposes the following members.

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.
Extension Methods
  NameDescription
Public Extension MethodQueryInterface<T>
Gets the implementation of a specified interface for the specified object.
(Defined by QueryInterfaceExtensions.)
See Also