code-contracts, Seitenzahl 1

2

Antworten

Wie bringt Contract.Exists Mehrwert?

Ich fange gerade an, über die Codevertragsbibliothek zu lernen, die mit VS2010 standardmäßig kommt. Eine Sache, auf die ich sofort stoße, ist, was einige der Vertragsklauseln wirklich bedeuten. Zum Beispiel, wie unterscheiden sich diese beide...

06.05.2010, 21:45

1

Antwort

Code Verträge für Mono?

Unterstützt mono Code-Verträge ? I.e. Wenn ich eine Klassenbibliothek erstelle, können Mono-Benutzer meine Assembly verwenden? Wenn nicht, gibt es alternative Bibliotheken? Vorzugsweise unterstützt statische Analyse (durch ein Plugin oder äh...

26.06.2011, 09:02

1

Antwort

Unproven Stellen Sie sicher, dass in Verbindung mit einer Schnittstelle auf eine andere Eigenschaft verwiesen wird

Nehmen Sie den folgenden Code an: %Vor% Die Verträge versuchen zu sagen: IsFooSet gibt true zurück, wenn Foo nicht null . ist Foo gibt null nicht zurück, wenn IsFooSet true zurückgibt. Das funktioniert fast....

26.02.2013, 13:13

2

Antworten

Verschachtelte Verträge für generische Schnittstellen

Ich kann einen verschachtelten Vertragstyp für eine nicht generische Schnittstelle haben: %Vor% Aber es beschwert sich, wenn ich versuche, dasselbe mit einer generischen Schnittstelle zu tun: %Vor% Die Warnung lautet: Die Vertragsk...

20.09.2013, 09:20

1

Antwort

Wie kann ich Code-Verträge für vorhandenen Framework-Code (BCL) angeben?

Code Contracts funktionieren gut, bis Sie ein bazillion Contract.Assume(...) für die Ergebnisse aus dem Framework-Code hinzufügen müssen. Zum Beispiel gibt MemoryStream.ToArray() niemals ein Null-Array zurück, so gut ich das anhand von Ref...

12.10.2010, 19:55

1

Antwort

Code Contracts: Invarianten in der abstrakten Klasse

Ich habe ein Problem bei der Verwendung von Invarianten mit Code-Verträgen festgestellt. Ich möchte eine Invariante innerhalb meiner abstrakten Klasse definieren, aber sie wird einfach ignoriert. Der folgende Code zeigt meine Schnittstelle und d...

18.03.2015, 13:41

2

Antworten

Code Verträge und Vererbungsprobleme, was geht wo?

Ich könnte Code-Verträge missverstehen, aber hier ist meine Situation. Ich habe den folgenden Code: %Vor% Ich versuche, einen relativ einfachen Vertrag hinzuzufügen: Contract.Requires (id != 0); , und ich möchte, dass er auf Fetch va...

12.01.2012, 23:34

2

Antworten

Code Vertragsverständnis des Fehlers

Ich beginne gerade mit Code Contracts und brauche ein wenig Hilfe bei der Korrektur eines Fehlers: Gegeben dieser Code: %Vor% Ich erhalte den folgenden Fehler: %Vor% scheint viele der Standard-Checks nicht verfügbar zu machen. Was feh...

15.06.2011, 19:12

2

Antworten

Warum warnt mich CodeContracts, dass "unbewiesen: index @ this.Count" erforderlich ist, obwohl ich die Zählung bereits überprüft habe?

Ich habe Code, der ungefähr so aussieht: %Vor% Sollte das Any Konto nicht auf Index 0 prüfen? Mache ich etwas falsch, oder erkennt CodeContracts diesen Fall einfach nicht?

28.07.2011, 18:25

1

Antwort

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

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 (...) visue...

12.03.2010, 22:22