Code Contracts
Discuss and provide feedback on Code Contracts.
Filtering and SortingUse these options to narrow down the question and discussion list.
- 1344

GetUpperBound missing requires
Jonathan Allen Wednesday, March 11, 2009 7:34 AM - 2394

How often will updates be released?
Andrew L ArnottMSFTWednesday, March 11, 2009 4:55 PM - 1319

GetUpperBound possibly missing ensures
Jonathan Allen Wednesday, March 11, 2009 7:45 AM - 3606

Suggestion: Let ccrewrite pick between Requires and RequiresAlways
Andrew L ArnottMSFTTuesday, March 10, 2009 6:17 PM - 1468

System.Web.UI.Control.ResolveUrl missing ensures non-null return value contract.
Andrew L ArnottMSFTTuesday, March 10, 2009 12:41 AM - 1426

missing contract: UriBuilder.get_Uri ensures result != null
Andrew L ArnottMSFTTuesday, March 10, 2009 4:36 PM - 3433

NameValueCollection indexer does not pass through to satisfy requires
Andrew L ArnottMSFTTuesday, March 10, 2009 5:59 PM - 4496

System.Linq.Enumerable methods missing contracts?
Andrew L ArnottMSFTTuesday, March 10, 2009 2:48 PM - 1453

List<T>.AsReadOnly() missing contract ensures result != null
Andrew L ArnottMSFTTuesday, March 10, 2009 2:18 PM - 1538

Please add Ensures(Result != null) to System.IO.TextReader.ReadToEnd()
Alexey R. Tuesday, March 10, 2009 8:18 AM - 1647

Please add Ensures(Result != null) to CultureInfo.CreateSpecificCulture
Alexey R. Tuesday, March 10, 2009 8:32 AM - 2469

Bug? Requires contract including Type.IsAssignableFrom does not carry over
Andrew L ArnottMSFTTuesday, March 10, 2009 1:09 AM - 1472

string.IsNullOrEmpty contract and value != null && value.Length > 0
Andrew L ArnottMSFTMonday, March 09, 2009 11:51 PM - 1449

Missing BCL contract: ConfigurationElementCollection.GetElementKey requires element != null
Andrew L ArnottMSFTMonday, March 09, 2009 11:46 PM - 0726

Missing Contracts on Libraries
Manuel FahndrichMSFTTuesday, March 10, 2009 6:20 AM - 1446

ConfigurationSection.get_SectionInformation missing Ensures non-null return value contract
Andrew L ArnottMSFTTuesday, March 10, 2009 12:20 AM - 1407

cim code snippet should include FxCop suppression
Andrew L ArnottMSFTTuesday, March 10, 2009 3:15 AM - 2406

Suggested precondition on override method not allowed
Andrew L ArnottMSFTMonday, March 09, 2009 11:43 PM - 1412

HttpUtility.ParseQueryString missing ensures contract that return value is always non-null
Andrew L ArnottMSFTTuesday, March 10, 2009 1:33 AM - 3462

How to convey that an IEnumerable will never generate a null element?
Andrew L ArnottMSFTTuesday, March 10, 2009 12:18 AM


