execute block
returns (
PROGRESS varchar(100)
)
as
begin
 -- >>>>
 -- блок операций, которые выполняются всегда
 delete from T_TEST;
 PROGRESS = 'START';  suspend;

 in autonomous transaction do --если сработает savepoint, то можно не в автономе
 insert into T_TEST( OPER) values (:PROGRESS || CURRENT_TIMESTAMP);

 -- <<<<

 -- опциональный блок
 -- savepoint p1;
 -- хочу откатить сюда

 PROGRESS = 'P_TEST1'; suspend;
 for select RESULT
     from P_TEST1
     into :PROGRESS
     do suspend;

 PROGRESS = 'P_TEST2'; suspend;
 for select RESULT
     from P_TEST2
     into :PROGRESS
     do suspend;

 PROGRESS = 'PROCESSED'; suspend;
 for select OPER
     from T_TEST
     into :PROGRESS
     do suspend;

 when any
 do begin
     -- rollback p1;
     exception;
    end
end

set term ^ ;

create exception E_TEST 'e-xception'^


create table T_TEST (
OPER varchar(100)
)
^

create or alter procedure P_TEST1
returns (
RESULT integer
) as
begin
 RESULT = 0;
 while (RESULT < 10)
  do begin
      RESULT = RESULT + 1;
      insert into T_TEST( OPER) values ('P_TEST1:'|| :RESULT);
      suspend;
     end
end
^

create or alter procedure P_TEST2
returns (
RESULT integer
) as
begin
 RESULT = 0;
 while (RESULT < 10)
  do begin
      RESULT = RESULT + 1;
      insert into T_TEST( OPER) values ('P_TEST2:'|| :RESULT);
      if (RESULT =  2)
         then exception E_TEST 'error on ' || RESULT;
      suspend;
     end
end
^