HSQLDB:退出存储过程

是否可以在HSQLDB存储过程结束之前从其返回

我试过：

IF (condition) THEN
  RETURN;
END IF;

这不能编译。 用

退出

或

离开

代替

返回

CREATE PROCEDURE PRO (VAR INT)
mylabel: BEGIN ATOMIC

  ...
  IF VAR = 3 THEN
   LEAVE mylabel;
  END IF;
  ...

END