The return statement ends the execution of an action and control is transferred to the action’s caller, at the point following the action call (which might be in the middle of an expression). Any statements between the return statement and the end of action are not executed.

If the action does not have a returns clause then an expression is not permitted in the return statement.

If the action has a returns clause then an expression whose value is the action’s return value is required in the return statement. The expression type must match the type specified in the returns clause.