WITH REPORT;
PROCEDURE CB3004A IS
USE REPORT;
E1 : EXCEPTION;
FLOW_COUNT : INTEGER := 0;
PROCEDURE P1 IS
E1, E2 : EXCEPTION;
PROCEDURE P2 IS
E1 : EXCEPTION;
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE E1;
FAILED("E1 EXCEPTION NOT RAISED");
EXCEPTION
WHEN P1.E1 =>
FAILED("P1.E1 EXCEPTION RAISED WHEN " &
"(P2)E1 EXPECTED");
WHEN E1 =>
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE P1.E1;
FAILED("P1.E1 EXCEPTION NOT RAISED");
EXCEPTION
WHEN E1 =>
FAILED("(P2)E1 EXCEPTION RAISED WHEN" &
" P1.E1 EXPECTED");
WHEN P1.E1 =>
FLOW_COUNT := FLOW_COUNT + 1;
WHEN OTHERS =>
FAILED("OTHERS RAISED WHEN P1.E1 " &
"EXPECTED");
END;
WHEN OTHERS =>
FAILED("OTHERS RAISED WHEN (P2)E1 EXPECTED");
END P2;
PROCEDURE P3 IS
CONSTRAINT_ERROR : EXCEPTION;
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE CONSTRAINT_ERROR;
FAILED("CONSTRAINT_ERROR EXCEPTION NOT RAISED");
EXCEPTION
WHEN STANDARD.CONSTRAINT_ERROR =>
FAILED("STANDARD.CONSTRAINT_ERROR EXCEPTION " &
"RAISED WHEN " &
"(P3)CONSTRAINT_ERROR EXPECTED");
WHEN CONSTRAINT_ERROR =>
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE STANDARD.CONSTRAINT_ERROR;
FAILED("STANDARD.CONSTRAINT_ERROR " &
"EXCEPTION NOT RAISED");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED("(P3)CONSTRAINT_ERROR " &
"EXCEPTION RAISED WHEN " &
"STANDARD.CONSTRAINT_ERROR " &
"EXPECTED");
WHEN STANDARD.CONSTRAINT_ERROR =>
FLOW_COUNT := FLOW_COUNT + 1;
WHEN OTHERS =>
FAILED("OTHERS RAISED WHEN " &
"STANDARD.CONSTRAINT_ERROR " &
"EXPECTED");
END;
WHEN OTHERS =>
FAILED("OTHERS RAISED WHEN " &
"(P3)CONSTRAINT_ERROR EXPECTED");
END P3;
PROCEDURE P4 IS
E2 : EXCEPTION;
BEGIN
FLOW_COUNT := FLOW_COUNT + 1;
RAISE P1.E2;
FAILED("P1.E2 EXCEPTION NOT RAISED");
EXCEPTION
WHEN E2 =>
FAILED("(P4).E2 RAISED WHEN P1.E2 EXPECTED");
END P4;
BEGIN P2;
P3;
P4;
FAILED("P1.E2 EXCEPTION NOT PROPAGATED FROM P4");
EXCEPTION
WHEN E2 =>
FLOW_COUNT := FLOW_COUNT + 1;
WHEN OTHERS =>
FAILED("EXCEPTION RAISED WHERE NONE EXPECTED");
END P1;
BEGIN
TEST("CB3004A","CHECK THAT WHEN EXCEPTION NAMES" &
" ARE REDECLARED THE HIDDEN DEFINITION IS STILL AVAILABLE");
P1;
IF FLOW_COUNT /= 8 THEN
FAILED("INCORRECT FLOW_COUNT VALUE");
END IF;
RESULT;
END CB3004A;