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)
C#
public PostconditionFailedException( string message )
Parameters
- message
- Type: System.String
Exception message.