PostSharp 6.9 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Postcondition­Failed­Exception Class / Postcondition­Failed­Exception Constructor / Postcondition­Failed­Exception Constructor (Serialization­Info, Streaming­Context)

PostconditionFailedException Constructor (SerializationInfo, StreamingContext)
Initializes a new instance of the PostconditionFailedException class with serialized data.

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 6.9.7.0 (6.9.7.0)
Syntax
C#
Copy
protected PostconditionFailedException(
	SerializationInfo info,
	StreamingContext context
)

Parameters

info
Type: System.Runtime.Serialization.SerializationInfo
The SerializationInfo that holds the serialized object data about the exception being thrown.
context
Type: System.Runtime.Serialization.StreamingContext
The StreamingContext that contains contextual information about the source or destination.
See Also