c# - Code Contracts Ensures for ReSharper ExternalAnnotations -

Do anyone know how to add code contracts, how to add reverse to external annotations? It is not in the last v7.1.3 and neither does the latest V8 EAP, nor runs around any custom xml.

Specifically, it should be ascertained that no method no is a blank return: contract.education (result of contract tap);

If you are just trying to please the analysis engine, use it The simplest thing to do is in front of the [NotNull] method declaration, the contract annotation that you have posted the above link is a more powerful mechanism for defining relationships between input parameters and return values. , E.g., [contact name ("tap => null"]] .

However, clearly analyzes for the contract. The contract / <> code is a totally different resolution, because any automatic analysis can not be defined for this statement through [contract note] or any other rehearser annotation attribute.