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

PostconditionFailedException Constructor (String)
Initializes a new instance of the PostconditionFailedException class with a specified error message.

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 2023.0.3.0 (2023.0.3.0)
Syntax
C#
Copy
public PostconditionFailedException(
	string message
)

Parameters

message
Type: System.String
Exception message.
See Also