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