Che cosa significa "Contratto non può essere nel blocco try" significa?

Question

Sto utilizzando la libreria 3.5 per il codice Microsoft contratti

public object RetrieveById(int Id) 
{  
    //stuff happens... 
    Contract.Ensures(newObject != null, "object must not be null"); 
    return newProject; 
    //No error message if I move the Contract.Ensures to here 
    //But it isn't asserting/throwing a contract exception here either   
} 

ottengo il messaggio di compilatore: "Errore 18 sezione Contratto entro blocco try nel metodo 'Controller.RetrieveById (System.Int32)'

UPDATE:

ho capito con il vostro aiuto:

• Sposta in alto

• Controllare contro Contract.Result

  Contract.Ensures (Contract.Result() = null, "oggetto non deve essere nulla"!);

Answer 1

potrei mancare qualcosa, ma ho appena guardato la documentazione relativa a questo:

http://msdn.microsoft.com/en-us/library/dd412865.aspx

dice:

Questo metodo chiamata deve essere al inizio di un metodo o proprietà, prima di qualsiasi altro codice.

Quindi basta lasciare la chiamata di Ensures nella parte superiore del metodo e non si dovrebbero avere problemi.

Answer 2

Ecco una soluzione simile:

http://social.msdn.microsoft.com/Forums/en/codecontracts/thread/43f467f1-14b7-4e56-8030-50f842b7ba68

tuo recente modifica mostra si dispone di codice sopra l'istruzione Contract.Ensures. Contract.Ensures deve venire prima di qualsiasi altro codice nel metodo, in modo da:

public object RetrieveById(int Id) 
{  
    //first line of method: 
    Contract.Ensures(newObject != null, "object must not be null"); 

    //stuff happens... 

    return newProject;   
} 

Answer 3

E 'piuttosto semplice: il contratto violazioni segnali di classe contratto di un'eccezione. Mettendolo in un blocco try sconfigge lo scopo, sei suscettibile di catturare l'eccezione.