PostSharp 4.3 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Postcondition­Failed­Exception Class / Postcondition­Failed­Exception Constructor / Postcondition­Failed­Exception Constructor (String, Exception)
PostconditionFailedException Constructor (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.

Namespace: PostSharp.Patterns.Contracts
Assembly: PostSharp.Patterns.Model (in PostSharp.Patterns.Model.dll) Version: 4.3.48.0 (4.3.48.0)
Syntax
C#
public PostconditionFailedException(
	string message,
	Exception innerException
)

Parameters

message
Type: System.String
Exception message.
innerException
Type: System.Exception
Inner exception.
See Also