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: 6.9.7.0 (6.9.7.0)

Syntax

[SerializableAttribute]
public class PostconditionFailedException : Exception

Constructors

	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.