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

PostconditionFailedException Constructor

Initializes a new instance of the PostconditionFailedException class.

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 5.0.55.0 (5.0.55.0)
Syntax
C#
public PostconditionFailedException()
See Also