Transitions

• Syntax for State Transition:

  event-signature '[' guard-condition ']' '/'
  action-expression 'send' send-clause
  

• Event signature: event name with comma separated parameters in parentheses:

  event-name '(' parameter ',' ...')'
  e.g.: draw (f: Figure, c: Colour)
  

• Guard condition within square brackets, '[' and ']':

  e.g.: [balance >= amount]
  

• Action expression preceded by '/';

  e.g.: increase () / n := n+1 / m := m+1
  

• Send clause preceded by send, may have a destination expression followed by '.' and the destination event name with comma separated argument list in parentheses:

  'send' destination-expression '.' 
  destination-event-name '(' argument ',' ...')'
  e.g.: send self.go down (first floor)
  

• Syntax for parameter:

  Parameter-name ':' type-expression, 
  Parameter-name ':' type-expression ...