PostconditionViolationException()
Initializes a new instance of the PostconditionViolationException class.
Declaration
public PostconditionViolationException()PostconditionViolationException(string)
Initializes a new instance of the PostconditionViolationException class with a specified error message.
Declaration
public PostconditionViolationException(string message)Parameters
| Type | Name | Description |
|---|---|---|
| string | message | Exception message. |
PostconditionViolationException(string, object?)
Initializes a new instance of the PostconditionViolationException class with a specified error message and actual value.
Declaration
public PostconditionViolationException(string message, object? actualValue)Parameters
| Type | Name | Description |
|---|---|---|
| string | message | Exception message. |
| object | actualValue | The value that caused the exception. |
PostconditionViolationException(string, Exception?)
Initializes a new instance of the PostconditionViolationException class with a specified error message and a reference to the inner exception that is the cause of this exception.
Declaration
public PostconditionViolationException(string message, Exception? innerException)Parameters
| Type | Name | Description |
|---|---|---|
| string | message | Exception message. |
| Exception | innerException | Inner exception. |
PostconditionViolationException(SerializationInfo, StreamingContext)
Initializes a new instance of the PostconditionViolationException class with serialized data.
Declaration
protected PostconditionViolationException(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. |