Constructor PostconditionFailedException
PostconditionFailedException()
Declaration
public PostconditionFailedException()
PostconditionFailedException(String)
Declaration
public PostconditionFailedException(string message)
Parameters
Type |
Name |
Description |
String |
message |
|
PostconditionFailedException(String, Exception)
Declaration
public PostconditionFailedException(string message, Exception innerException)
Parameters
PostconditionFailedException(SerializationInfo, StreamingContext)
Declaration
protected PostconditionFailedException(SerializationInfo info, StreamingContext context)
Parameters