Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ChangeLog | 285 | logplain |
-rw-r--r-- | Contract.cs | 9320 | logplain |
-rw-r--r-- | ContractAbbreviatorAttribute.cs | 1437 | logplain |
-rw-r--r-- | ContractArgumentValidatorAttribute.cs | 1449 | logplain |
-rw-r--r-- | ContractClassAttribute.cs | 1771 | logplain |
-rw-r--r-- | ContractClassForAttribute.cs | 1688 | logplain |
-rw-r--r-- | ContractException.cs | 1873 | logplain |
-rw-r--r-- | ContractFailedEventArgs.cs | 2281 | logplain |
-rw-r--r-- | ContractFailureKind.cs | 1477 | logplain |
-rw-r--r-- | ContractInvariantMethodAttribute.cs | 1575 | logplain |
-rw-r--r-- | ContractOptionAttribute.cs | 2010 | logplain |
-rw-r--r-- | ContractPublicPropertyNameAttribute.cs | 1665 | logplain |
-rw-r--r-- | ContractReferenceAssemblyAttribute.cs | 1527 | logplain |
-rw-r--r-- | ContractRuntimeIgnoredAttribute.cs | 1622 | logplain |
-rw-r--r-- | ContractShouldAssertException.cs | 1463 | logplain |
-rw-r--r-- | ContractVerificationAttribute.cs | 1789 | logplain |
-rw-r--r-- | PureAttribute.cs | 1615 | logplain |