CodeContracts：null参照 'this.Master'のメソッドを呼び出す可能性があります

Question

基本的なマスターページとコンテンツページがあり、コンテンツページのマスターページのプロパティまたはメソッドを使用する場合は、

string something = this.Master.MasterPageFile; 

コードコントラクト静的解析は、と文句を言うでしょう：

warning : CodeContracts: Possibly calling a method on a null reference 'this.Master' 

は、どのように私は、マスターページにアクセスしたいときはいつでも、コードの契約は文句を停止して入手できますか？

R.

[編集]

は、このを見てみましょうか？私はshowFeedbackのを（呼び出したいたびに次の操作を実行する必要がありますする必要はありません

public partial class Manage : System.Web.UI.Page 
{ 
    protected void Page_Load(object sender, EventArgs e) 
    { 
     this.Master.ShowFeedback("Test.", true); 
    } 

    [ContractInvariantMethod] 
    private void ObjectInvariants() 
    { 
     Contract.Invariant(this.Master != null); 
    } 
} 

）：

Contract.Assume(this.Master != null) 
this.Master.ShowFeedback("Test.", true); 

ん意味をなさない？

Answer 1

あなたのクラスに不変として追加することができます

[ContractInvariantMethod] 
private void Invariants() 
{ 
    Contract.Invariant(Master != null); 
}