Ask a question

Search Forums:

• Search Code Contracts Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Code Contracts

Discuss and provide feedback on Code Contracts.

• 1344
  

  GetUpperBound missing requires

  
  Jonathan Allen Wednesday, March 11, 2009 7:34 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 10:24 PM
 
• 2394
  

  How often will updates be released?

  
  Andrew L ArnottMSFTWednesday, March 11, 2009 4:55 PM
  Last Reply Andrew L ArnottMSFTWednesday, March 11, 2009 7:46 PM
 
• 1319
  

  GetUpperBound possibly missing ensures

  
  Jonathan Allen Wednesday, March 11, 2009 7:45 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 7:02 PM
 
• 3606
  

  Suggestion: Let ccrewrite pick between Requires and RequiresAlways

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 6:17 PM
  Last Reply Andrew L ArnottMSFTWednesday, March 11, 2009 2:12 PM
 
• 1468
  

  System.Web.UI.Control.ResolveUrl missing ensures non-null return value contract.

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 12:41 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 6:49 AM
 
• 1426
  

  missing contract: UriBuilder.get_Uri ensures result != null

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 4:36 PM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 12:07 AM
 
• 3433
  

  NameValueCollection indexer does not pass through to satisfy requires

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 5:59 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 10:58 PM
 
• 4496
  

  System.Linq.Enumerable methods missing contracts?

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 2:48 PM
  Last Reply Andrew L ArnottMSFTTuesday, March 10, 2009 7:58 PM
 
• 1453
  

  List<T>.AsReadOnly() missing contract ensures result != null

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 2:18 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 4:39 PM
 
• 1538
  

  Please add Ensures(Result != null) to System.IO.TextReader.ReadToEnd()

  
  Alexey R. Tuesday, March 10, 2009 8:18 AM
  Last Reply Mike BarnettMSFTTuesday, March 10, 2009 4:31 PM
 
• 1647
  

  Please add Ensures(Result != null) to CultureInfo.CreateSpecificCulture

  
  Alexey R. Tuesday, March 10, 2009 8:32 AM
  Last Reply Mike BarnettMSFTTuesday, March 10, 2009 3:58 PM
 
• 2469
  

  Bug? Requires contract including Type.IsAssignableFrom does not carry over

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 1:09 AM
  Last Reply Andrew L ArnottMSFTTuesday, March 10, 2009 2:23 PM
 
• 1472
  

  string.IsNullOrEmpty contract and value != null && value.Length > 0

  
  Andrew L ArnottMSFTMonday, March 09, 2009 11:51 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 6:39 AM
 
• 1449
  

  Missing BCL contract: ConfigurationElementCollection.GetElementKey requires element != null

  
  Andrew L ArnottMSFTMonday, March 09, 2009 11:46 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 6:21 AM
 
• 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
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 6:15 AM
 
• 1407
  

  cim code snippet should include FxCop suppression

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 3:15 AM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 5:53 AM
 
• 2406
  

  Suggested precondition on override method not allowed

  
  Andrew L ArnottMSFTMonday, March 09, 2009 11:43 PM
  Last Reply Francesco LogozzoMSFTTuesday, March 10, 2009 5:41 AM
 
• 1412
  

  HttpUtility.ParseQueryString missing ensures contract that return value is always non-null

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 1:33 AM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 2:58 AM
 
• 3462
  

  How to convey that an IEnumerable will never generate a null element?

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 12:18 AM
  Last Reply Manuel FahndrichMSFTTuesday, March 10, 2009 2:49 AM