code-contracts

11Hitze

1Antwort

Verwenden von Contract.ForAll in Code-Verträgen

Okay, ich habe noch eine weitere Code Contracts-Frage. Ich habe einen Vertrag über eine Interface-Methode, die wie folgt (aus Gründen der Übersichtlichkeit weggelassen andere Methoden) aussieht: [Cont

7Hitze

6Antwort

F # und statisch geprüfte Union Cases

Bald werde ich und mein Bruder Joel die Version 0.9 von Wing Beats veröffentlichen. Es ist ein internes DSL in F # geschrieben. Damit können Sie XHTML generieren. Eine der Inspirationsquellen war das

9Hitze

1Antwort

Warum Vertrag ist falsch, wenn Sie Standard (Typ) verwenden?

Beim kompilieren Code, der Code-Verträge verwendet, habe ich einen sehr seltsamen Fehler, den ich nicht verstehe. [ContractInvariantMethod] private void ObjectInvariant() { Contract.Invariant(

8Hitze

3Antwort

Helfen Code-Verträge wirklich beim Komponententesten?

Ich habe ziemlich viel Wissen über Unit-Tests. Ich habe versucht, über Code-Verträge zu lesen. Hilft es wirklich Unit-Tests? Wird es überbewertet, besonders wenn wir über Code-Contract sprechen, der u

6Hitze

4Antwort

Wie vermeidet man "source! = Null" bei der Verwendung von Code Contracts und Linq To Sql?

Ich habe den folgenden Code ein normales Datenkontext verwendet, die große Werke: ich die folgende Warnung erhalten: var dc = new myDataContext(); Contract.Assume(dc.Cars!= null); var cars = (from c

6Hitze

3Antwort

Gibt es eine Möglichkeit nicht MsBuild laufen statische Vertragsanalyse mit Code-Verträge zu lassen?

In meinem Projekt ist statisch Überprüfung deaktiviert, aber immer noch, wenn ich msbuild.exe mit cmd laufen, ist es für jedes Projekt Überprüfung statisch beginnt ... Gibt es eine Möglichkeit, mit Pa

22Hitze

1Antwort

Frage über [Pure] Methoden

Ist die folgende Methode rein? Ich würde es so sagen, da sich die aktuelle Klasse sowieso nicht ändert, also kann alles, was wir jetzt in der Klasse "sehen" können, bevor diese Methode ausgeführt wird

6Hitze

1Antwort

Code Contracts: Umgang mit geerbten Schnittstellen?

Ich verwende MS-Code-Verträge und habe einen Haken mit der Verwendung der Schnittstellenvererbung und der ContractClassFor-Attribute. diese Schnittstellen und Vertragsklassen Gegeben: [ContractClass(t

15Hitze

3Antwort

Also tun C# 4.0 Code-Verträge tatsächlich etwas?

Nach dem Lesen über die statische Klasse System.Diagnostics.Contracts.Contract, die durch die Großartigkeit der SpeC# beeinflusst wurde, war ich begeistert und fing sofort an, meinen Code mit Aufrufen

21Hitze

3Antwort

Kann man die Codeanalyse Code Contracts verstehen lassen?

Bei der Verwendung von Codeanalyse und Code-Verträge in Kombination, erhalte ich eine Menge Warnungen wie CA1062: Microsoft.Design: In äußerlich sichtbare Methode 'Foo.Bar (Log)', bestätigen Parameter