私はCodeContractsから、次の提案を実装したいと思います:それは私がこれを実現するために、ターゲット属性でSupressMessageを使用することができるはずのように感じているフレームワークメソッドでSuppressMessageを使用できますか?
CodeContracts: MyModule: Method MyModule.MyClass.MyMethod:
To mask *all* warnings issued like the precondition add the attribute:
[SuppressMessage("Microsoft.Contracts", "RequiresAtCall-propertyAccessor != null")]
to the method
System.Linq.Expressions.Expression.Property(System.Linq.Expressions.Expression,System.Reflection.MethodInfo)
。ただし、これはフレームワークメソッドなので、わかりません。
//doesn't work
[module: SuppressMessage("Microsoft.Contracts", "RequiresAtCall-propertyAccessor != null", Scope = "Member", Target = "System.Linq.Expressions.Expression.Property(System.Linq.Expressions.Expression,System.Reflection.MethodInfo)", Justification = "This isn't covered by Linq Contracts yet.")]
どのように私は世界的にこの警告を抑制することができるので、私は、呼び出し場所の警告のすべてをベースラインまたは抑制するために持っていないのですか?
EDIT: The specific usage that requires this measure is:
void mymethod()
{
var myObserver = new PropertyObserver<MyViewModel>();
//this line throws the error, within the n => n.Value expression
myObserver.RegisterHandler(n => n.Value, OnValueChanged);
}
public class PropertyObserver<TPropertySource> where TPropertySource : INotifyPropertyChanged
{
public PropertyObserver<TPropertySource> RegisterHandler(
Expression<Func<TPropertySource, object>> expression,
Action<TPropertySource> handler)
{
//what this does is irrelevant; the violation occurs in the method call
}
}
//n => n.Value decompiles to the following
public static MemberExpression Property (Expression expression, MethodInfo propertyAccessor)
{
//and this line is the message I want to suppress, but it's in the .NET framework.
ContractUtils.RequiresNotNull(propertyAccessor, "propertyAccessor");
ValidateMethodInfo(propertyAccessor);
return Property (expression, GetProperty(propertyAccessor));
}
あなたは 'Contract.Assume'を使用していない理由がある石膏にこれらの...とあなたのコードを持っているということですか?ちょうどあまりにも多くの出現? – porges
私たちはContract.Assumeから一般的に離れようとしましたが、はい、かなりの数があります。 –
私は、この問題は、式/ MethodInfosを取得するさまざまな方法が結果が非nullであることを「保証」していないことを推測しています。 http://social.msdn.microsoft.com/Forums/en-NZ/codecontracts/thread/d8e2c2ad-de37-42ef-a854-02052d821975のようないくつかのラッパーメソッドの使用を検討しましたか?そうすれば、あなたは 'Assume'を1つの場所で行うだけでよいので、' Assume'の使用は最小限に抑えられます。 – porges