Suchergebnisse für Anfrage "code-contracts"
Design von Verträgen und Konstrukteuren
Ich implementiere meine eigene ArrayList für Schulzwecke, versuche jedoch, C # 4.0-Codeverträge zu verwenden, um die Dinge ein wenig aufzupeppen. Alles war in Ordnung, bis ich den Konstrukteuren Verträge hinzufügen musste. Soll ...
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 ...
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 ...
Was ist die beste Alternative für Codeverträge in Visual Studio 2015?
Ich versuche, Methodenparameter in meinem Code auf möglichst elegante Weise zu validieren. Code-Verträge scheinen 2015 nicht zu funktionieren. Verwendet jemand Alternativen?
Wie vermeide ich “source! = Null”, wenn ich Code Contracts und Linq To Sql verwende?
Ich habe den folgenden Code unter Verwendung eines normalen Datenkontexts, der hervorragend funktioniert: var dc = new myDataContext(); Contract.Assume(dc.Cars!= null); var cars = (from c in dc.Cars where c.Owner == 'Jim' select c).ToList(); ...
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))] ...
.net 4.0-Code-Verträge. Wann verwenden? Wann sind sie Zeitverschwendung?
Ich habe .NET 4.0-Codeverträge studiert und mich auch mit dem Stackoverflow befasst. Ich bin noch nie auf einen Beispielcode gestoßen, der Codeverträge verwendet, sodass ich mich wundere. Ist das wirklich nützlich? Oder ist es vielleicht ...
Code-Verträge für .NET 3.5 bringen den VS10-Debugger durcheinander
Ich habe vor kurzem viele manuelle Tests und Ausnahmefehler mit Code-Verträgen migriert. Anstatt auf .NET 4 zu aktualisieren, verwende ich dasMicrosoft.Contracts.dll Assembly, damit ich mich etwas länger an .NET 3.5 halten kann (dies ist eine ...
Code-Verträge: Wie gehe ich mit vererbten Schnittstellen um?
Ich verwende MS-Code-Verträge und bin mit der Verwendung von Schnittstellenvererbung und ContractClassFor-Attributen auf einen Haken gestoßen. Gegeben diese Schnittstellen und Vertragsklassen: [ContractClass(typeof(IOneContract))] interface ...