Als nächstes behandeln wir die Zuweisung (assignment statement ). Sie dient dazu, einer Variablen einen neuen Wert zu geben. Dabei ist zu beachten, daß die Variable und der Ausdruck auf der rechten Seite denselben Typ haben. Dieser Typ darf kein limitierter Typ sein. Einfache Beispiele sind:
Wochentag := Freitag;
Sollte bei einer Zuweisung eine Verletzung des definierten Bereiches auftreten, so wird die Fehlermeldung constraint_error ausgelöst.