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.Model (in PostSharp.Patterns.Model.dll) Version: 4.3.30.0 (4.3.30.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.
Top
Extension Methods
  NameDescription
Public Extension MethodQueryInterface<T>
Gets the implementation of a specified interface for the specified object.
(Defined by QueryInterfaceExtensions.)
Top
See Also