PostSharp 4.3 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Postcondition­Failed­Exception Class / Postcondition­Failed­Exception Constructor
PostconditionFailedException Constructor
Overload List
  Name Description
Public method PostconditionFailedException()
Initializes a new instance of the PostconditionFailedException class.
Public method PostconditionFailedException(String)
Initializes a new instance of the PostconditionFailedException class with a specified error message.
Protected method PostconditionFailedException(SerializationInfo, StreamingContext)
Initializes a new instance of the PostconditionFailedException class with serialized data.
Public method 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.
See Also