PostconditionViolationException Constructor
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. |