PostSharp6.3/API Reference/Post­Sharp.​Patterns.​Contracts Namespace/Location­Contract­Attribute Class/Location­Contract­Attribute Methods/Location­Contract­Attribute.​Create­Postcondition­Failed­Exception Method

LocationContractAttribute.CreatePostconditionFailedException Method

Note: This API is now obsolete.

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 6.3.8.0 (6.3.8.0)
Syntax
C#
[ObsoleteAttribute("Use ContractServices.ExceptionFactory.CreateException().")]
protected PostconditionFailedException CreatePostconditionFailedException(
	Object value,
	string locationName,
	LocationKind locationKind
)

Parameters

value
Type: System.Object
locationName
Type: System.String
locationKind
Type: PostSharp.Reflection.LocationKind

Return Value

Type: PostconditionFailedException
See Also