Collections-11

Collections

Diese Variante wurde unverändert von einem früheren Beispiel übernommen.

Lists

Diese Version ist nicht nur in der Lage, Objekte innerhalb einer Liste explizit mittels Collections.Remove zu löschen, sondern auch im Falle eines Terminierungsereignisses (Resources.terminated).

TestLists

Im Vergleich zur früheren Version werden nicht mehr die Operatoren add und remove unterstützt, sondern nur der neue Operator kill, der die explizite Terminierung eines Objekts ermöglicht. Folgende Syntax wird also unterstützt:

Expression = Integer |
             List |
             "$" Integer |
             Operator Expression .
List =       "(" [ Expression { "," Expression } ] ")" .

Operator =   "kill" .             (* Resources.Notify *)