Definition at line 10 of file ContractException.cs.
Referenced by System.Diagnostics.Contracts.ContractException.ContractException(), System.Diagnostics.Contracts.ContractException.ContractException(), and System.Diagnostics.Contracts.ContractException.GetObjectData().