microsoft-contracts

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

1Hitze

1Antwort

Design by Contract: Können Sie eine Schnittstelle mit einem Protokoll haben?

Ich bin ziemlich neu in dem Konzept von Design by Contract, aber bis jetzt liebe ich, wie einfach es es macht, mögliche Fehler zu finden. Allerdings habe ich mit der Microsoft.Contracts-Bibliothek gea

1Hitze

1Antwort

Kann der statische Checker von Microsoft.Contracts ohne Team System verwendet werden?

Abgesehen von der Anforderung an Visual Studio Team System, Microsoft.Contacts mit dem statischen Prüfer zu installieren, ist es möglich, den statischen Prüfer ohne Team-System auszuführen? Oder hängt

32Hitze

1Antwort

C#: Code Contracts vs. normale Parametervalidierung

beachten Sie die folgenden zwei Teile des Codes: public static Time Parse(string value) { string regXExpres = "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$"; Cont

2Hitze

2Antwort

Was braucht es, um diesen Vertrag zu belegen? Benötigt?

Ich habe eine Anwendung, die die Runden in einem Turnier durchläuft, und mir einen Vertrag Warnung an dieser vereinfachten Code-Struktur erhalten: public static void LoadState(IList<Object> stuff)

5Hitze

1Antwort

.NET-Code-Verträge: Kann es einfacher als das werden?

ich um nur war in Unordnung jemandes Frage hier auf Stack-Überlauf zu beantworten, wenn ich eine statische Überprüfung Warnung aus meinem Visual Studio (2008) bemerkt: string[] source = { "1", "A", "B

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