Method CreatePostconditionFailedException
CreatePostconditionFailedException(Object, String, LocationKind)
Declaration
protected PostconditionFailedException CreatePostconditionFailedException(object value, string locationName, LocationKind locationKind)Parameters
| Type | Name | Description |
|---|---|---|
| Object | value | |
| String | locationName | |
| LocationKind | locationKind |
Returns
| Type | Description |
|---|---|
| PostconditionFailedException |