Suchergebnisse für Anfrage "code-contracts"
Wie binde ich Vertragsassemblys automatisch in das nupkg ein?
Ich habe gerade damit begonnen, mit Nuget einige Pakete für eine interne Bibliothek in unserem Unternehmen zu erstellen. Diese Bibliothek besteht aus vielen Assemblys, von denen viele Vertragsreferenz-Assemblys aus Codeverträgen generiert ...
Warum wird die .net-Ausnahme nicht abgefangen?
Betrachten Sie das folgende "sichere" Programm:
Warum macht ccrewrite.exe nichts über die Kommandozeile?
Ich habe Codeverträge, die in Visual Studio 2010 einwandfrei funktionieren, aber ich kann nicht
Wird garantiert, dass Codeverträge evaluiert werden, bevor verkettete Konstruktoren aufgerufen werden?
Bevor ich anfing, Codeverträge zu verwenden, hatte ich manchmal Probleme mit der Parametervalidierung, wenn ich Konstruktorketten verwendete.Dies lässt sich ...
Code Contracts scheint in VS2012 nicht zu funktionieren
Ich lese gerade über Code-Verträge, die auf den ersten Blick ziemlich revolutionär erscheinen, aber ich kann sie nicht zum Laufen bringen. Ich verwende Windo...
CodeContracts: Boolesche Bedingung ergibt einen konstanten Wert. Warum?
Ich bekomme diese Warnung, kann das Problem aber nicht herausfinden ... CodeContracts: Warnung: Die Boolesche Bedingung d1.Count! = D2.Count wird immer zu einem konstanten Wert ausgewertet. Wenn es (oder seine Negation) im Quellcode erscheint, ...
Code Contracts: Invarianten in der abstrakten Klasse
Ich habe ein Problem bei der Verwendung von Invarianten mit Codeverträgen festgestellt. Ich möchte eine Invariante in meiner abstrakten Klasse definieren, aber sie wird einfach ignoriert. Der folgende Code zeigt meine Schnittstelle und die ...
Mit Contract.ForAll in Code-Verträgen
Okay, ich habe noch eine andere Frage zu Code Contracts. Ich habe einen Vertrag über eine Schnittstellenmethode, die so aussieht (andere Methoden wurden aus Gründen der Übersichtlichkeit weggelassen): [ContractClassFor(typeof(IUnboundTagGroup))] ...