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: 2023.0.3.0 (2023.0.3.0)

Syntax

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.

Reference

PostconditionFailedException Class

PostconditionFailedException Overload

PostSharp.Patterns.Contracts Namespace