Constraint-Expression

Ausdruckskraft

Implikation statt Java-Typ-Kompatibilität. Wenn Bedingung(Prädikat) A erfüllt ist, muss Bedingung(Prädikat) B erfüllt sein. Wenn Bedingung(Prädikat) A nicht erfüllt ist, darf Bedingung(Prädikat) B erfüllt oder nicht sein. A => B Beispiel (NonNegativeInt): x >= 0 && => x >= 0 x % 2 == 0 Operator doppelter Pfeil nach rechts (fat arrow) (Basis meines Code-Generators)
Anfang weiter