Method CreatePostconditionFailedException
CreatePostconditionFailedException(Object, String, LocationKind)
Creates an PostconditionFailedException with an error message formatted from ErrorMessage and given concrete values.
Declaration
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. |