Open sandboxFocus

Constructor PostconditionViolationException

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.