| m | TriggerFailure | Void |
| m | RaiseContractFailedEvent | String |
| m | Equals | Boolean |
| m | GetHashCode | Int32 |
| m | GetType | Type |
| m | ToString | String |
| kind | System.Diagnostics.Contracts.ContractFailureKind |
| displayMessage | System.String |
| userMessage | System.String |
| conditionText | System.String |
| innerException | System.Exception |
| failureKind | System.Diagnostics.Contracts.ContractFailureKind |
| userMessage | System.String |
| conditionText | System.String |
| innerException | System.Exception |
| obj | System.Object |
| . |
| . |
| . |