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, 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. |