resharper属性を使用してポスト条件を指定する方法はありますか？

Question

は、私たちが法

internal static void NotNull<T>(T value) 
    where T : class 
{ 
    if (value == null) 
    { 
     throw new ArgumentNullException(); 
    } 
} 

は、このメソッドに渡された値は、後にnullになることはありませんことをReSharperのの静的解析を伝える方法があります持っていると言いますか？

Answer 1

それを達成するための2つの方法があります。

[JetBrains.Annotations.ContractAnnotation("halt <= null")] 
public void NotNull(object obj) 
{ 
    // ... 
} 

と個人的に

[JetBrains.Annotations.NotNull] 
public static T NotNull<T>(this T obj) 
{ 
    // ... 
    return obj; 
} 

それは堪能だし、あなたは自分のコードを続行することができますので、私は、それ以上の第二の好きなように拡張メソッドは： ）