code-contracts

5Hitze

2Antwort

Warum bekomme ich immer noch Code Contracts: Stellen Sie eine unbewiesene Warnung sicher?

Unten ist ein sehr einfaches Beispiel. Wenn ich auf der statischen Analyse Warnungen drehen, bekomme ich immer noch CodeContracts Achtung: sorgt für unbewiesen: Contract.Result() = string.Empty auf de

c# code-contracts design-by-contract 2010-11-18

---

4Hitze

1Antwort

Kann ich einige Verträge leicht von der statischen Analyse ausschließen?

Es gibt bestimmte Verträge, die ich kenne, die der statische Analysator möglicherweise nicht beweisen kann. Ich kann bestimmte Arten von Vertragsverletzungsfehlern von einer ganzen Funktion ausschließ

static-analysis code-contracts 2010-11-18

---

5Hitze

2Antwort

Wie behaupten Sie in algorithmischem Code in .NET?

Ich entwickle gerade ein kleines KI-Framework (Genetische Algorithmen/Neuronale Netze) in C# für ein Universitätsprojekt. Meine erste Sorge ist die Entwicklung eines wiederverwendbaren Frameworks, als

c# .net algorithm oop code-contracts 2010-11-19

---

1Hitze

1Antwort

Einrichten-Code Contracts in Visual Studio 2010

Also ich habe versucht, einigen einfachen Code mit Code Verträgen zu laufen (die ich seit einiger Zeit nicht benutzt habe) static void Main(string[] args) { double res = sqrt(-5); }

c# visual-studio code-contracts 2010-11-19

---

7Hitze

2Antwort

Wie Code-Verträge zu verwenden, wenn von Schnittstellen wie IDictionary <T, U> abgeleitet werden?

Eine Klasse Ich schreibe implementiert IDictionary<string, object>. In meiner CopyTo Implementierung möchte ich Code-Verträge verwenden: Zeug wie Contract.Requires<ArgumentNullException>(array != null

c# interface code-contracts 2010-10-03

---

8Hitze

2Antwort

Wie kann ich Code-Verträge vollständig deaktivieren?

Ich habe es derzeit wie folgt eingerichtet. Ich hatte versucht, 'Runtime Contract Checking' zu prüfen und dann 'None' zu wählen, aber das scheint unnötig zu sein. Wenn ich meine Projekteinstellungen w

visual-studio visual-studio-2010 code-contracts 2010-11-23

---

9Hitze

2Antwort

Microsoft-Code Verträge ohne Visual Studio

Dieser Stack-Überlauf Frage: Microsoft Code Contracts and CI build server fragt, wie Code Verträge auf einem Build-Server arbeiten zu erhalten, ohne Visual Studio 2010 Installation Wir versuchen, das

visual-studio-2010 msbuild teamcity code-contracts 2010-11-27

---

9Hitze

1Antwort

Wie kann ich Code-Verträge für vorhandenen Framework (BCL) Code angeben?

Code-Verträge funktionieren gut, bis Sie ein Bazillion Contract.Assume(...) für die Ergebnisse aus dem Framework-Code hinzufügen müssen. Zum Beispiel gibt MemoryStream.ToArray() nie ein Null-Array zur

c# code-contracts 2010-10-12

---

5Hitze

1Antwort

Code Contracts: ContractClassFor im Umgang mit einer generischen abstrakten Klasse?

Also, ich habe ein kleines Problem hier. Angenommen, ich habe: public class Repository<TEntity> where TEntity : class { public abstract void Add(TEntity entity); // ...and so on... }

c# .net generics code-contracts 2010-10-17

---

7Hitze

2Antwort

Vertragsklasse sollte eine abstrakte Klasse sein

Der folgende Code gibt mir die Warnung Contract class 'FooContracts' should be an abstract class. Von allen Beispielen, die ich online gelesen habe (z. B. http://www.infoq.com/articles/code-contracts-

c#-4.0 abstract-class code-contracts 2010-09-04

---