Variable (Wertzuweisung)
-> varName
Stack | Position | Beschreibung |
---|---|---|
Stack(In) | Top | ein Wert |
Stack(Out) | Top | - |
Jeder auf dem Stack liegende Wert kann einer Variablen zugewiesen werden. Die Sequenz -> variablenName ist als eine einzige Anweisung zu verstehen; -> will als Symbol für Assignment verstanden werden (siehe Beispiel).
Stack | Position | Beschreibung |
---|---|---|
Stack(In) | Top | ] |
Top-1 | Wert n | |
. . . | . . . | |
Top-n | Wert 1 | |
Top-n-1 | [ | |
Stack(Out) | - |
Auch ein Vektor kann einer Variablen zugewiesen werden.
Zuweisungen innerhalb einer Transaktion werden bei deren Abbruch - wegen eines Fehlers oder durch Anweisung cancel ausgelöst - zurückgenommen (die Variable erhält wieder den Wert, den sie vor Beginn der Transaktion hatte).
Ausnahme: lokale Variable