2010-04-06 Jb Evain <jbevain@novell.com>
[mcs.git] / class / corlib / System.Diagnostics.Contracts / 
tree7de9817020e6a0956d8a704461cce81ba91a4c71
drwxr-xr-x   ..
-rw-r--r-- 285 ChangeLog
-rw-r--r-- 7800 Contract.cs
-rw-r--r-- 1782 ContractClassAttribute.cs
-rw-r--r-- 1754 ContractClassForAttribute.cs
-rw-r--r-- 2136 ContractFailedEventArgs.cs
-rw-r--r-- 1488 ContractFailureKind.cs
-rw-r--r-- 1586 ContractInvariantMethodAttribute.cs
-rw-r--r-- 1676 ContractPublicPropertyNameAttribute.cs
-rw-r--r-- 1538 ContractReferenceAssemblyAttribute.cs
-rw-r--r-- 1633 ContractRuntimeIgnoredAttribute.cs
-rw-r--r-- 1800 ContractVerificationAttribute.cs
-rw-r--r-- 1647 PureAttribute.cs