Code Contracts with Interfaces: "Der Methodenaufruf wurde übersprungen. Der Compiler erzeugt den Methodenaufruf, da die Methode bedingt ist ... [...] "

Question

Code Contracts with Interfaces: "Der Methodenaufruf wurde übersprungen. Der Compiler erzeugt den Methodenaufruf, da die Methode bedingt ist ... [...] "

8

Guten Abend,

Ich habe gerade damit begonnen, mit Microsoft.Contracts (neuste Version) zu spielen und es über eine Beispielschnittstelle zu stecken, und jetzt sieht es so aus:

%Vor%

Nun, warum werden die beiden Contract.Ensures (...) visuell mit der QuickInfo "blured": " Methodeninvokation übersprungen. Compiler erzeugt Methodenaufruf, weil die Methode bedingt oder partiell ohne Implementierung ist "und die Ausgabe von CodeContracts zählt / zeigt sie nicht an ... Was fehlt mir & amp; hier falsch gemacht?

-J

.net code-contracts

Jörg B. 12.03.2010, 22:22

quelle

1 Antwort

Tags und Links .net code-contracts

Django: Verwenden von Annotate, Count und Distinct in einem Queryset CATextLayer und Tracking / Abstand zwischen den Zeichen

score 12 · Accepted Answer

Verfügen Sie über die entsprechenden Makros für den Codevertrag, die für diesen Build definiert wurden? Zum Beispiel CONTRACTS_FULL ? Wenn die richtigen Makros nicht definiert sind, können die Methoden von der Kompilierung ausgeschlossen werden.