statische Constraint-Prüfung in Java Design by Contract, aber mit Prüfung zur Compile-Zeit Heiner Kücker, Freelancer