| m | get_Message | String |
| m | get_Condition | String |
| m | get_FailureKind | ContractFailureKind |
| m | get_OriginalException | Exception |
| m | get_Handled | Boolean |
| m | SetHandled | Void |
| m | get_Unwind | Boolean |
| m | SetUnwind | Void |
| m | Equals | Boolean |
| m | GetHashCode | Int32 |
| m | GetType | Type |
| m | ToString | String |
| c | .ctor | |
| p | Message | String |
| p | Condition | String |
| p | FailureKind | ContractFailureKind |
| p | OriginalException | Exception |
| p | Handled | Boolean |
| p | Unwind | Boolean |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| . |
| obj | System.Object |
| . |
| . |
| . |
| failureKind | System.Diagnostics.Contracts.ContractFailureKind |
| message | System.String |
| condition | System.String |
| originalException | System.Exception |
| . |
| . |
| . |
| . |
| . |
| . |