errors

A list of errors which has different semantics for different element types:

  • For Error Handler the error list defines errors which the handler handles.
  • For Error Transition the error list defines errors activate the transition.
  • For all other elements defines errors which the element throws.

Java analogy:

  • Error handler and transition - exception type in catch clause
  • All other elements - exception types in throws clause