PostSharp / / API Reference / Post­Sharp.​Patterns.​Contracts / Postcondition­Failed­Exception / Postcondition­Failed­Exception

Constructor PostconditionFailedException

PostconditionFailedException()

Declaration
public PostconditionFailedException()

PostconditionFailedException(String)

Declaration
public PostconditionFailedException(string message)
Parameters
Type Name Description
String message

PostconditionFailedException(String, Exception)

Declaration
public PostconditionFailedException(string message, Exception innerException)
Parameters
Type Name Description
String message
Exception innerException

PostconditionFailedException(SerializationInfo, StreamingContext)

Declaration
protected PostconditionFailedException(SerializationInfo info, StreamingContext context)
Parameters
Type Name Description
SerializationInfo info
StreamingContext context