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 |