code-contracts

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

10Hitze

5Antwort

Design von Verträgen und Konstruktoren

Ich implementiere mein eigenes ArrayList für Schulzwecke, aber um die Dinge etwas aufzupeppen, versuche ich C# 4.0 Code Contracts zu verwenden. Alles war in Ordnung, bis ich Contracts zu den Konstrukt

5Hitze

2Antwort

Was tun bei Verwendung von Contract.Assert (true) und die Methode muss etwas zurückgeben?

Ich habe ein Stück Code, mit der folgenden Logik: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } In der Theorie gibt es immer ein Ele

9Hitze

2Antwort

Wie bringt Contract.Exists Mehrwert?

Ich fange gerade an, über die Codeverträge-Bibliothek zu lernen, die mit VS2010 standardmäßig kommt. Eine Sache, auf die ich sofort stoße, ist, was einige der Vertragsklauseln wirklich bedeuten. Zum B

33Hitze

2Antwort

Code Contracts: Wie liefere ich eine Vertragsklasse für eine generische Schnittstelle?

Ich mag einen Vertrag für diese generische Schnittstelle spezifizieren, Code-Verträge mit: interface IRandomWriteAccessible<T> { T this[uint index] { set; } uint Length { get; } } Die Do

7Hitze

1Antwort

Code Contracts: Wie kann ich in einer Nachbedingung angeben, dass sich der Wert eines Feldes/einer Eigenschaft nicht geändert hat?

Ich werde am besten nur mit einem Codebeispiel zeigen, was ich erreichen möchte? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures("SomeP

9Hitze

2Antwort

Code Contracts: Müssen wir Contract.Requires (...) Anweisungen redundant in delegierenden Methoden angeben?

Ich beabsichtige, die neue .NET 4 Code Contracts Funktion für die zukünftige Entwicklung zu verwenden. Dies hat mich dazu gebracht, mich zu fragen, ob wir äquivalente Contract.Requires(...)-Anweisunge

6Hitze

3Antwort

Erste-Code Verträge in Visual Studio 2010 arbeiten

Ich habe den folgenden Code: class Program { static void Main(string[] args) { Console.WriteLine(SqrtRoot(0)); Console.WriteLine(SqrtRoot(10)); Console.WriteLine(SqrtRoot(

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

6Hitze

1Antwort

Wie kann ich Code-Verträge in einem C++/CLI-Projekt verwenden?

Ich bin kürzlich auf Code Contracts gestoßen und habe angefangen, sie in meinen C# -Projekten zu verwenden. Ich habe jedoch auch eine Reihe von Projekten in C++/CLI geschrieben. Für C# und VB bieten C