







![]() ![]() ![]() |
CuttingEdge.Conditions reference library |
PostconditionException Constructor |
PostconditionException Class See Also Send Feedback |
Overload List
Name | Description | |
---|---|---|
![]() | PostconditionException()()() | Initializes a new instance of the PostconditionException class. |
![]() | PostconditionException(String) | Initializes a new instance of the PostconditionException class with a
specified error message. |
![]() | PostconditionException(String, Exception) | Initializes a new instance of the PostconditionException class. |