CreatePostconditionFailedException(object, string, LocationKind)
Creates an PostconditionFailedException with an error message formatted from ErrorMessage and given concrete values.
Declaration
[Obsolete("Use ContractServices.ExceptionFactory.CreateException().")]
protected PostconditionFailedException CreatePostconditionFailedException(object value, string locationName, LocationKind locationKind)Parameters
| Type | Name | Description |
|---|---|---|
| object | value | Value assigned to the location. |
| string | locationName | Name of the location. |
| LocationKind | locationKind | Location kind. |
Returns
| Type | Description |
|---|---|
| PostconditionFailedException | A new PostconditionFailedException where the message, has been derived from ErrorMessage, with placeholders replaced by their concrete value. |