PostSharp4.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
Creates an PostconditionFailedException with an error message formatted from ErrorMessage and given concrete values.

Namespace: PostSharp.Patterns.Contracts
Assembly: PostSharp.Patterns.Model (in PostSharp.Patterns.Model.dll) Version: 4.3.48.0 (4.3.48.0)
Syntax
C#
protected PostconditionFailedException CreatePostconditionFailedException(
	Object value,
	string locationName,
	LocationKind locationKind
)

Parameters

value
Type: System.Object
Value assigned to the location.
locationName
Type: System.String
Name of the location.
locationKind
Type: PostSharp.Reflection.LocationKind
Location kind.

Return Value

Type: PostconditionFailedException
A new PostconditionFailedException where the message, has been derived from ErrorMessage, with placeholders replaced by their concrete value.
See Also