next up previous contents
Next: Links Up: Lecture 2: Classes, Objects, Previous: Message Flow: message label

Message Flow: message label syntax (cont'd.)

Guard-condition:
'[' condition-clause ']' 
e.g.: [mode = evaluate]
Sequence-expression:
[integer | name] [recurrence] ':'
e.g.: 2 *[n := 1..z]:

[integer | name]
e.g.: 1.2.3.7:
      1.1a, 1.1b/1.2:

[recurrence]
conditional: '[' condition-clause ']'
e.g.: [x<0]
iteration: '*' '[' iteration-clause ']'
e.g.: *[x=1..10]     (
Return-value := Signature:
return-value := signature
eg.g.: x := calc(n)
       prim := nextPrim(prim)



Ananda Amatya
11/3/1999