erstellt von Robert Janzen am:
11.09.2009 21:45
Seit dem 03.09.2009 steht eine neue Version der Code Contracts aus dem Microsoft Research Labor zum Download bereit. Zwei Versionen stehen zur Auswahl. Die Standard-Edition für alle gängigen Visual Studio Editionen. Inhaber einer Visual Studio Teamsystem Ausgabe können sich eine erweiterte Version von Code Contracts downloaden. In dieser Version steht neben der Überprüfung der Kontrakte zur Laufzeit auch eine statische Analyse zur Verfügung.
weiterlesen »
|
erstellt von Robert Janzen am:
05.09.2009 07:40
Eine der beeindruckensten und mächtigsten Funktion von WPF ist mit Sicherheit die Datenbindung. Mit ihr kann man Inhalte von Objekten, beliebige XML-Strukturen leicht und schnell visualisieren. Aber auch Eigenschaften unterschiedlichster Art können aneinander gebunden werden. Eines der beliebtesten Beispiele dafür ist sicherlich die Symbiose zwischen einem Slider und Textbox.
weiterlesen »
|
erstellt von Robert Janzen am:
16.08.2009 16:03
Alle Methoden die innerhalb eines Vertrags aufgerufen werden, dürfen den Zustand des Objektes nicht verändern. Diese Methoden können jedoch eigene Objekte erstellen und diese verändern. Diese Anforderung wird Method Purity genannt. Code Contracts betrachtet folgende Dinge als PURE.
weiterlesen »
|
erstellt von Robert Janzen am:
16.08.2009 15:04
In seinem englischsprachigen Blog leading-edge-dev.de verfasst Matthias Jauernig einige umfangreiche Artikel zum Thema CodeContracts. In ihnen wird sehr umfangreich und detailliert auf Themen wie z.B. Method Purity und Code-Transformations eingegangen.
Prädikat: EMPFEHLENSWERT !
weiterlesen »
|
erstellt von Robert Janzen am:
08.08.2009 14:55
CodeContracts bieten die Möglichkeit verbindliche Verträge mit Schnittstellen und deren implementierenden Klassen zu machen. In dem folgenden Beispiel wird ein Interface erstellt. Dieses enthält eine Methode die zwei Zeichenketten entgegen nimmt. Der Rückgabewert ist ebenfalls eine Zeichenkette.
weiterlesen »
|
erstellt von Stefan Koerner am:
07.08.2009 11:28
Wir wollen einer Methode einen Delegaten als Parameter mitgeben um dort einen flexiblen Zugriff auf die Statusbar der Anwendung zu haben...
weiterlesen »
|
erstellt von Markus von Fritschen am:
05.08.2009 09:38
Mit folgendem Code kann eine kommaseparierte Zeichenkette in ein Integer-Array sicher umgewandelt werden.
weiterlesen »
|
erstellt von Robert Janzen am:
22.07.2009 18:14
Um sicherzustellen, dass interne Eigenschaften eines Objekt immer einen gültigen Zustand haben, kann eine Methode erstellt werden die dieses sicherstellt. Diese wird mit dem Attribute InvariantMethod gekennzeichnet. Dieser Artikel zeigt ein Beispiel.
weiterlesen »
|
erstellt von Robert Janzen am:
12.07.2009 19:43
In diesem Beitrage beschreibe ich was notwendig ist, um die CodeContracts zu verwenden. Außerdem werden kurz einige Einstellmöglichkeiten erläutert.
weiterlesen »
|
erstellt von Jürgen Kohl am:
10.07.2009 22:41
Und wieder einmal LINQ! Das folgende Snippet...
weiterlesen »
|