generierte innere abstrakte Switch-Klasse
Formulierung:
zusätzliches Prädikat soll für den jeweiligen
Zweig gültig sein
(eine Expression ist grundsätzlich mit jedem Prädikat,
welches nicht in der Expression enthalten ist,
zu einer spezielleren Expression verknüpfbar
(und bleibt dabei gültig))
ursprüngliche Constraint-Expression:
(Z or N)
//Spezialisierung (X)OR durch zusätzliche Prädikate
//(in ursprünglicher Expression nicht vorhanden)
Switch(
"SchreibXorLese" ,
SCHREIB , // ergibt ((Z or N) and SCHREIB)
LESE ) // ergibt ((Z or N) and LESE)