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

PostconditionFailedException Constructor

Overload List
  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