HomeHomeHomeArchiteturMiddlewareMDSDBeratungCoachingTrainig
header
homemailbacksearchimpressum

go back go up Publications :: Vor- und Nachbedingungen in Java

dotted Line
dotted Line
menu not Selected Home
dotted Line
menu not Selected Services
dotted Line
menu not Selected Experience
dotted Line
menu not Selected New DSL Book
dotted Line
menu not Selected Conferences
dotted Line
menu selected Publications
   menu not Selected Books
   menu not Selected Patterns
   menu not Selected Papers
   menu not Selected Podcasts
   menu not Selected Videos
   menu not Selected Articles
   menu not Selected Position Papers
dotted Line
menu not Selected Vorlesungen
dotted Line
menu not Selected Site
dotted Line
dotted Line

magic Pixel banner 0

magic Pixel banner 1

magic Pixel banner 2

magic Pixel banner 3

magic Pixel banner 4 		magic Pixel

Vor- und Nachbedingungen in Java

Die Schnittstelle einer Klassen soll einen Vertrag zwischen der Klasse selbst und ihren Benutzerklassen definieren, der die Leistungen die die Lieferantenklasse anbietet (also deren Operationen) beschreibt. Leider definiert eine solche Schnittstelle nur die Syntax der Operationen, die Semantik bleibt undefiniert. Dem kann mit Constraints (Einschraenkungen) Abhilfe geschafft werden. In Java werden Constraints zwar nicht direkt unterstuetzt, jedoch lassen sie sich recht einfach nachbauen. Dieser Artikels zeigt eine Moeglichkeit, wie dies ohne neue Sprachfeatures oder spezielle Precompiler geschehen kann.

[Artikel]
01.01.2001
../data/articles/ppc.pdf Download... Abstract... Abstract... 		Vor- und Nachbedingungen in Java
Published in: Java Spektrum, 2001-01