PostSharp / / API Reference / Post­Sharp.​Patterns.​Contracts / Location­Contract­Attribute / Create­Postcondition­Failed­Exception

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