WITH REPORT;
PROCEDURE CB2004A IS
USE REPORT;
FLOW_COUNT : INTEGER := 0;
E1, E2, E3 : EXCEPTION;
BEGIN
TEST("CB2004A","CHECK THAT EXCEPTIONS RAISED INSIDE NESTED " &
"BLOCKS CAN BE HANDLED IN OUTER BLOCKS");
BEGIN
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE E1;
FAILED("PROGRAMMER-DEFINED EXCEPTION " &
"NOT RAISED #1");
EXCEPTION
WHEN E2 | E3 =>
FAILED("WRONG PROGRAMMER-" &
"DEFINED EXCEPTION HANDLED #1");
END;
EXCEPTION
WHEN CONSTRAINT_ERROR |
PROGRAM_ERROR | STORAGE_ERROR |
TASKING_ERROR | E2 | E3 =>
FAILED("WRONG " &
"EXCEPTION HANDLED #1");
END;
EXCEPTION
WHEN E1 =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE E2;
FAILED("PROGRAMMER-DEFINED EXCEPTION " &
"NOT RAISED #2");
EXCEPTION
WHEN E1 | E3 =>
FAILED("WRONG PROGRAMMER-" &
"DEFINED EXCEPTION HANDLED #2");
END;
EXCEPTION
WHEN CONSTRAINT_ERROR |
PROGRAM_ERROR | STORAGE_ERROR |
TASKING_ERROR | E1 | E3 =>
FAILED("WRONG " &
"EXCEPTION HANDLED #2");
END;
EXCEPTION
WHEN E3 =>
FAILED("WRONG EXCEPTION HANDLED #2A");
WHEN E1 | E2 | CONSTRAINT_ERROR =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE E1;
FAILED("PROGRAMMER-DEFINED EXCEPTION " &
"NOT RAISED #3");
EXCEPTION
WHEN E2 | E3 =>
FAILED("WRONG PROGRAMMER-" &
"DEFINED EXCEPTION HANDLED #3");
END;
EXCEPTION
WHEN CONSTRAINT_ERROR |
PROGRAM_ERROR | STORAGE_ERROR |
TASKING_ERROR | E2 | E3 =>
FAILED("WRONG " &
"EXCEPTION HANDLED #3");
END;
EXCEPTION
WHEN E2 | CONSTRAINT_ERROR =>
FAILED("WRONG EXCEPTION HANDLED #3A");
WHEN OTHERS =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE CONSTRAINT_ERROR;
FAILED("PREDEFINED EXCEPTION NOT RAISED #4");
EXCEPTION
WHEN E1 | E2 | E3 =>
FAILED("WRONG " &
"EXCEPTION HANDLED #4");
END;
EXCEPTION
WHEN PROGRAM_ERROR | STORAGE_ERROR |
TASKING_ERROR =>
FAILED("WRONG PREDEFINED " &
"EXCEPTION HANDLED #4");
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE CONSTRAINT_ERROR;
FAILED("PREDEFINED EXCEPTION NOT RAISED #5");
EXCEPTION
WHEN E1 | E2 | E3 =>
FAILED("WRONG " &
"EXCEPTION HANDLED #5");
END;
EXCEPTION
WHEN PROGRAM_ERROR |
STORAGE_ERROR | TASKING_ERROR =>
FAILED("WRONG PREDEFINED " &
"EXCEPTION HANDLED #5");
END;
EXCEPTION
WHEN E1 | E2 =>
FAILED("WRONG EXCEPTION HANDLED #5A");
WHEN CONSTRAINT_ERROR | E3 =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
BEGIN
BEGIN
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE CONSTRAINT_ERROR;
FAILED("PREDEFINED EXCEPTION NOT RAISED #6");
EXCEPTION
WHEN E1 | E2 | E3 =>
FAILED("WRONG " &
" EXCEPTION HANDLED #6");
END;
EXCEPTION
WHEN PROGRAM_ERROR | STORAGE_ERROR |
TASKING_ERROR =>
FAILED("WRONG PREDEFINED " &
"EXCEPTION HANDLED #6");
END;
EXCEPTION
WHEN E1 =>
FAILED("WRONG EXCEPTION HANDLED #6A");
WHEN OTHERS =>
FLOW_COUNT := FLOW_COUNT + 1;
END;
EXCEPTION
WHEN E1 | E2 | E3 =>
FAILED("PROGRAMMER-DEFINED EXCEPTION HANDLED IN" &
"WRONG SCOPE");
WHEN CONSTRAINT_ERROR =>
FAILED("CONSTRAINT_ERROR HANDLED IN WRONG SCOPE");
WHEN OTHERS =>
FAILED("OTHER EXCEPTIONS HANDLED IN WRONG SCOPE");
END;
IF FLOW_COUNT /= 12 THEN
FAILED("INCORRECT FLOW_COUNT VALUE");
END IF;
RESULT;
END CB2004A;