Suchergebnisse für Anfrage "code-contracts"

4 die antwort

Code-Verträge: Warum werden einige Invarianten außerhalb der Klasse nicht berücksichtigt?

Betrachten Sie diesen unveränderlichen Typ: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) ...

2 die antwort

Nützlichkeit von System.Diagnostics.Contracts in Frage

Ich habe mit der neuen System.Diagnostics.Contracts-Klasse gespielt, weil sie anfangs sehr nützlich schien. Statische Methoden zum Überprüfen eingehender Argumente, zum Zurückgeben von Werten usw. Es war eine saubere Schnittstelle und konnte ...

2 die antwort

Ich implementiere diesen einfachen Vertrag falsch?

Dies ist mein Code: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requires(vertexCount >= 3); VertexCount = vertexCount; SideLength ...

TOP-Veröffentlichungen

2 die antwort

Microsoft Code Contracts und CI-Buildserver

Wir migrieren auf .NET 4 und sind sehr an der Implementierung neuer Design By Contract-Funktionen interessiert. Wie wir wissenCode Contract [http://research.microsoft.com/en-us/projects/contracts/] engine erfordert die Installation vonCode ...

2 die antwort

Code Verträge. Wie werden Warnungen für generierten Code unterdrückt?

Wie kann ich die statische Überprüfung meines Linq2Sql-Codes deaktivieren?