Add 2 new attributes
[mono.git] / mcs / class / corlib / System.Diagnostics.Contracts /
drwxr-xr-x   ..
-rw-r--r-- 172 ChangeLog
-rw-r--r-- 7788 Contract.cs
-rw-r--r-- 1771 ContractClassAttribute.cs
-rw-r--r-- 1743 ContractClassForAttribute.cs
-rw-r--r-- 2110 ContractFailedEventArgs.cs
-rw-r--r-- 1465 ContractFailureKind.cs
-rw-r--r-- 1636 PureAttribute.cs