Constraint-Expression

Verallgemeinerung

Kann man die Lösung auf andere Anwendungen übertragen ? 1. Ganze Zahlen Integer einschränken auf Natürliche Zahlen (>= 0) klappt (aber nur auf Basis Prädikat, keine mathematischen Feinheiten) 2. Zustands-Automat (Berechtigungen für Zustandswechsel) public Status next( XyzConstraint constraint ) klappt auch 3. existential types (Index ist passend zu einem bestimmten Array) Constraint ist an Context-Objekt gebunden klappt auch wenn Context-Objekt existential Objekt enthält/ist
Anfang weiter