CreatePostconditionFailedException(object, string, LocationKind)
Creates a 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 | The value assigned to the location. |
| string | locationName | The name of the location. |
| LocationKind | locationKind | The kind of the location. |
Returns
| Type | Description |
|---|---|
| PostconditionFailedException | A new PostconditionFailedException whose message is derived from ErrorMessage, with placeholders replaced by their concrete values. |