code-contracts

2Hitze

1Antwort

VS2015 mit Absturz „Eine neue Schutzseite ...“ bei der Bearbeitung nur Quellcode

Das Problem: Visual Studio 2015 hält mit diesem Fehler abstürzt: Eine neue Schutzseite für den Stapel kann nicht Hintergrund erstellt werden: Es gibt bereits einige Fragen in Bezug auf t draußen sein

7Hitze

1Antwort

Woher weiß Code Contracts, dass ToString-Überschreibungen nicht null zurückgeben dürfen?

Ich verwende Microsofts Code Contracts-Erweiterung mit C#. Wenn ich eine Klasse mit einer überschriebenen ToString Implementierung schreiben, die null zurückgibt, identifiziert es richtig, die Frage:

3Hitze

1Antwort

Wie spezifiziert man Sorgt für Out-Parameter?

Ich habe eine Methode mit einem out Parameter und ich möchte mit Contract.Ensures() angeben, dass, wenn die Methode zurückgibt, der Parameter nicht null ist. Im Grunde ist dies: void M(out object o)

2Hitze

1Antwort

Static Checker nicht beweisen Parameter = null

Wenn ich über-Code Contracts erfuhr, nahm ich ich folgendes tun könnte: public void ContractTest(string input) { Contract.Requires(input != null); } public void ContractTestCaller(string inpu

7Hitze

1Antwort

Code Vertragsumschreibung fehlgeschlagen mit 'Konnte nicht lösen Mitgliedsreferenz'

Beachten Sie, dass ein Duplikat von this question sein kann, bin ich mir nicht ganz sicher. Mein Problem besteht darin, dass ich ein Klassenbibliotheksprojekt habe, das einen Verweis auf eine Drittanb

5Hitze

1Antwort

CC Vorschlagen Redundante Sorgt

Ich habe ein Stück Code, die ein wenig wie folgt aussieht: public TReturn SubRegion(TParam foo) { Contract.Requires(foo!= null); Contract.Ensures(Contract.Result<TReturn>() != null);

6Hitze

2Antwort

Warum behauptet Code Contracts, dass "Gewährleistet ist falsch" für diesen Code?

Dies ist ein Konstruktor in einer meiner Klassen: public SemanticVersion(string version) { Contract.Requires<ArgumentException>(!string.IsNullOrEmpty(version)); Contract.Ensures(MajorVersio

4Hitze

2Antwort

Sind Unit-Tests erforderlich, wenn Sie Code-Verträge haben?

Wenn Sie eine Anwendung mit den Code-Verträgen entwickeln, wissen Sie vielleicht, dass dieses Konzept in der Programmiersprache Eiffel eingeführt wurde. Ich bin sehr verwirrt geworden, nachdem ich die

15Hitze

2Antwort

Vertrag, der die IEnumerable gewährleistet, ist nicht leer

Der angegebene Code static public int Q() { return Enumerable.Range(0, 100) .Select(i => i) .First(); } die folgende Warnung aussendet: warning : CodeContracts: requires unproven:

12Hitze

1Antwort

Automatische Dokumentation/Vertragsgenerierung für Pub/Sub RabbitMQ

In der REST-Welt haben wir so etwas wie eine Swagger-Spezifikation, die den Vertrag über eine REST-Schnittstellengrenze (zwischen Client und Server) vollständig beschreibt. Diese Swagger-Spezifikation