code-contracts

6Hitze

2Antwort

Im Bild oben „Möglicherweise ein NULL-Verweis Unboxing“ können Sie eine Warnung von-Code Verträge sehen. Ich glaube nicht, dass das legitim ist, denn this kann nie null sein. Ist das ein Fehler oder f

32Hitze

2Antwort

Debug.Assert vs Code Vertragsverwendung

Wann sollte debug.assert über Code-Verträge oder umgekehrt? Ich möchte die Vorbedingung für eine Methode überprüfen und bin verwirrt, um eine über die andere zu wählen. Ich habe Komponententests, bei

5Hitze

2Antwort

-Code Verträge in Mono

Der folgende Code: Contract.Requires<ArgumentException>(command != null, Resources.Messages.CommandNotSpecified); Anrufe Contract.AssertMustUseRewriter (ContractFailureKind kind, System.String messa

5Hitze

2Antwort

CodeContracts „Required“ Verständnis

Ich habe versucht, den folgenden Code eine Art von nicht null Prüfung für abgerufene Entitäten zu ermöglichen, sicherzustellen, dass sie existieren, sind vor einige konkrete Geschäfte zu machen: prote

9Hitze

1Antwort

Ungeprüfte Stellen Sie sicher, dass eine andere Eigenschaft in Kombination verweist mit einer Schnittstelle

den folgenden Code Angenommen: [ContractClass(typeof(ICC4Contract))] public interface ICC4 { bool IsFooSet { get; } string Foo { get; } } public class CC4 : ICC4 { private string

27Hitze

3Antwort

Wie kann ich Code Contracts veranlassen, eine bestimmte Assembly-Referenz zu ignorieren?

Ich mache eine Erweiterung zu Visual Studio. Innerhalb des Codes verwende ich Code-Verträge, um Assertions und Checks zu machen. Ich setze die Warnoption auf hoch. Ich möchte diese Warnstufe beibehalt

7Hitze

2Antwort

-Code Contracts warnt vor „sorgt für unbewiesen“, wenn Schlösser beteiligt sind

Ich versuche, herauszufinden, wie .NET-Code Verträge mit dem lock Stichwort interagieren, mit dem folgende Beispiel: public class TestClass { private object o1 = new object(); private objec

7Hitze

2Antwort

Code Contracts - sollten private Methoden auf Vor- und Nachbedingungen überprüft werden?

Ich versuche Code Contracts zu beschleunigen. Ich mag das Konzept, aber in der Praxis sehe ich nicht den Wert des Hinzufügens von Contract.Requires auf zahlreichen privaten Methoden, von denen einige

11Hitze

4Antwort

Code Vertrag oder if-Anweisung?

Ich habe gerade versucht, Code Contracts zu verwenden, und ich sehe keine echten Vorteile gegenüber einem if statement. Betrachten Sie Folgendes. private static void BindClassesToInterfacesByConventio

5Hitze

1Antwort

Warum sollte ich Code Contracts in öffentlichen Methoden verwenden?

IMHO, da öffentliche Methoden mit Parametern von jedem anderen Programmierer aufgerufen werden können, ist es verantwortlich, Parameterwerte zu überprüfen und sinnvolle ArgumentException zu werfen, so