Constructor PostconditionFailedException
PostconditionFailedException()
Initializes a new instance of the PostconditionFailedException class.
Declaration
public PostconditionFailedException()PostconditionFailedException(String)
Initializes a new instance of the PostconditionFailedException class with a specified error message.
Declaration
public PostconditionFailedException(string message)Parameters
| Type | Name | Description |
|---|---|---|
| String | message | Exception message. |
PostconditionFailedException(String, Exception)
Initializes a new instance of the PostconditionFailedException class with a specified error message and a reference to the inner exception that is the cause of this exception.
Declaration
public PostconditionFailedException(string message, Exception innerException)Parameters
| Type | Name | Description |
|---|---|---|
| String | message | Exception message. |
| Exception | innerException | Inner exception. |
PostconditionFailedException(SerializationInfo, StreamingContext)
Initializes a new instance of the PostconditionFailedException class with serialized data.
Declaration
protected PostconditionFailedException(SerializationInfo info, StreamingContext context)Parameters
| Type | Name | Description |
|---|---|---|
| SerializationInfo | info | The SerializationInfo that holds the serialized object data about the exception being thrown. |
| StreamingContext | context | The StreamingContext that contains contextual information about the source or destination. |