Operation replies

Operations can return a value.

The return value for an operation m must be determined within the transition whose context is the message m, using the reply operation:

m/reply(7);
Note: A triggered operation might not result in another triggered operation on the same instance.

Feedback