code-contracts

1Hitze

3Antwort

Wie wirkt sich die Verwendung von Code-Verträgen in meinem Webprojekt auf die Bereitstellung aus?

Wenn code contracts in einer Anwendung verwendet werden, müssen wir dann irgendetwas (aus dem Code Contracts-Paket) auf dem Produktionsserver installieren, wie das Einfügen von Assemblys in GAC oder d

7Hitze

5Antwort

Fehler in Iteratoren mit Codeverträgen?

Der folgende Code schlägt bei der Vorbedingung fehl. Ist das ein Fehler in Code-Verträgen? static class Program { static void Main() { foreach (var s in Test(3)) { Consol

4Hitze

2Antwort

Welche Werkzeuge verwenden Sie für Design by Contract?

Ich benutzte Microsoft CodeContracts für drei Wochen und jetzt ist die Hälfte meines Codes nur Verträge. Ich habe dutzende von nicht bewiesenen Orten, ich kann keine Runtime-Checks verwenden, weil das

7Hitze

2Antwort

Können Microsoft-Code-Verträge mit einer ASP.NET-Website verwendet werden?

Ich verwende derzeit Microsoft Code Contracts in einer ASP.NET MVC-Anwendung ohne Probleme, aber ich kann nicht scheinen, es in einer grundlegenden ASP.NET-Website ausgeführt werden. Ich bin mir nicht

1Hitze

2Antwort

CodeContracts: Wie erfülle ich Require in Ctor mit diesem() Anruf?

Ich spiele mit den CodeContracts von Microsoft herum und stieß auf ein Problem, das ich nicht lösen konnte. Ich habe eine Klasse mit zwei Konstruktoren: Das Beispiel ist vereinfacht. Ich weiß nicht, w

1Hitze

2Antwort

Wie kann ich angeben, dass eine Methode niemals einen Nullcode zurückgibt?

Wie kann ich angeben, dass eine Methode niemals null zurückgibt? Momentan ist das mein Code. Zeile 19 erhält eine garantiert nicht bewiesene Nachricht, obwohl CreateFunction davon ausgeht, dass das Er

14Hitze

6Antwort

.NET Guard-Klassenbibliothek?

Ich bin auf der Suche nach einer Bibliothek oder Quellcode, der Schutzmethoden wie die Überprüfung auf Null Argumente bietet. Offensichtlich ist das ziemlich einfach zu erstellen, aber ich frage mich,

25Hitze

3Antwort

Wie frei kann ich im Code in einer Objektinvariante sein?

Ich versuche, Invarianten in Code Contracts zu demonstrieren, und ich dachte, ich würde ein Beispiel für eine sortierte Liste von Zeichenfolgen geben. Es verwaltet ein Array intern, mit Platz für Ergä