Warnung vor Codeverträgen ausschalten

Question

Ich möchte eine Warnung vor Codeverträgen ausschalten, aber nur für bestimmte Codezeilen. Wie kann ich das tun?

Ich bekomme zum Beispiel:

Warning 87  CodeContracts: requires unproven: key != null   

für:

return HttpContext.Current.Items[typeof(T).AssemblyQualifiedName];

was in unseren Anwendungen nie der Fall sein wird.

Answer 1

Nun, eine Möglichkeit wäre:

string key = typeof(T).AssemblyQualifiedName;
Contract.Assume(key != null);
return HttpContext.Current.Items[key];

Es ist ein bisschen hässlich, aber ich glaube, es sollte funktionieren.