Anfang weiterConstraint-Klassen sind kondensierte
Predicate<CT> predicate = and( new ZENTRALE() , or( new SCHREIB() , new LESE() ) ); ANDB_ZENTRALE_ORB_SCHREIB_LESE_ORE_ANDE.java Verlagerung der Prüfung von der Laufzeit in die Compile-Zeit (nach vorn in der Zeit) (Alternative: Prüfung bei der Initialisierung: Prüfung zwar nicht zur Compile-Zeit, aber vollständiger dynamischer Test nicht erforderlich)
(gefrorene) Expressions