Fix wrong contract due to wrong method documentation

tom-englert · tom-englert · commit 400467bcdd5a · 2015-07-04T15:54:37.000+02:00
diff --git a/Microsoft.Research/Contracts/MsCorlib/System.Collections.ObjectModel.Collection.cs b/Microsoft.Research/Contracts/MsCorlib/System.Collections.ObjectModel.Collection.cs
@@ -383,7 +383,8 @@ protected virtual void RemoveItem(int index)
         //     index is less than zero.-or-index is greater than System.Collections.ObjectModel.Collection<T>.Count.
         protected virtual void SetItem(int index, T item)
         {
-            Contract.Requires((index >= 0) && (index <= Count));
+            // Comment is wrong, index must be < Count!
+            Contract.Requires((index >= 0) && (index < Count));
         }
 
         IEnumerator IEnumerable.GetEnumerator()

Original file line number	Diff line number	Diff line change
`@@ -383,7 +383,8 @@ protected virtual void RemoveItem(int index)`
`383`	`383`	`// index is less than zero.-or-index is greater than System.Collections.ObjectModel.Collection<T>.Count.`
`384`	`384`	`protected virtual void SetItem(int index, T item)`
`385`	`385`	`{`
`386`		`- Contract.Requires((index >= 0) && (index <= Count));`
	`386`	`+ // Comment is wrong, index must be < Count!`
	`387`	`+ Contract.Requires((index >= 0) && (index < Count));`
`387`	`388`	`}`
`388`	`389`
`389`	`390`	`IEnumerator IEnumerable.GetEnumerator()`