PostSharpAPI ReferencePost­Sharp.​Patterns.​ContractsPostcondition­Failed­ExceptionPostcondition­Failed­Exception
Open sandboxFocus

PostconditionFailedException Constructor

PostconditionFailedException()

Initializes a new instance of the PostconditionFailedException class.

Declaration
public PostconditionFailedException()

PostconditionFailedException(String)

Initializes a new instance of the PostconditionFailedException class with a specified error message.

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

Exception message.

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.

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

Exception message.

Exception innerException

Inner exception.

PostconditionFailedException(SerializationInfo, StreamingContext)

Initializes a new instance of the PostconditionFailedException class with serialized data.

Declaration
protected PostconditionFailedException(SerializationInfo info, StreamingContext context)
Parameters
Type Name Description
System.Runtime.Serialization.SerializationInfo info

The System.Runtime.Serialization.SerializationInfo that holds the serialized object data about the exception being thrown.

StreamingContext context

The StreamingContext that contains contextual information about the source or destination.