WITH REPORT; USE REPORT;
PROCEDURE CB5002A IS
BEGIN
TEST("CB5002A", "CHECK THAT WHEN ""TASKING_ERROR"" IS RAISED " &
"EXPLICITLY OR BY PROPAGATION WITHIN AN ACCEPT " &
"STATEMENT, THEN ""TASKING_ERROR"" IS RAISED " &
"IN BOTH THE CALLING AND THE CALLED TASK");
DECLARE
TASK CALLING_EXP IS
ENTRY A;
END CALLING_EXP;
TASK CALLED_EXP IS
ENTRY B;
ENTRY STOP;
END CALLED_EXP;
TASK CALLING_PROP IS
ENTRY C;
END CALLING_PROP;
TASK CALLED_PROP IS
ENTRY D;
ENTRY STOP;
END CALLED_PROP;
TASK PROP IS
ENTRY E;
ENTRY STOP;
END PROP;
TASK BODY CALLING_EXP IS
BEGIN
ACCEPT A DO
BEGIN
CALLED_EXP.B;
FAILED("EXCEPTION NOT RAISED IN CALLING " &
"TASK - EXPLICIT RAISE");
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED("WRONG EXCEPTION RAISED IN " &
"CALLING TASK - EXPLICIT RAISE");
END; END A;
END CALLING_EXP;
TASK BODY CALLED_EXP IS
BEGIN
BEGIN
ACCEPT B DO
RAISE TASKING_ERROR;
FAILED("EXCEPTION NOT RAISED IN CALLED " &
"TASK - EXPLICIT RAISE");
END B;
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED("WRONG EXCEPTION RAISED IN CALLED " &
"TASK - EXPLICIT RAISE");
END;
ACCEPT STOP;
END CALLED_EXP;
TASK BODY CALLING_PROP IS
BEGIN
ACCEPT C DO
BEGIN
CALLED_PROP.D;
FAILED("EXCEPTION NOT RAISED IN CALLING " &
"TASK - PROPAGATED RAISE");
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED("WRONG EXCEPTION RAISED IN " &
"CALLING TASK - PROPAGATED RAISE");
END; END C;
END CALLING_PROP;
TASK BODY CALLED_PROP IS
BEGIN
BEGIN
ACCEPT D DO
PROP.E;
FAILED("EXCEPTION NOT RAISED IN CALLED " &
"TASK - PROPAGATED RAISE");
END D;
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED("WRONG EXCEPTION RAISED IN CALLED " &
"TASK - PROPAGATED RAISE");
END;
ACCEPT STOP;
END CALLED_PROP;
TASK BODY PROP IS
BEGIN
BEGIN
ACCEPT E DO
RAISE TASKING_ERROR;
FAILED("EXCEPTION NOT RAISED IN PROPAGATE " &
"TASK - ACCEPT E");
END E;
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED("WRONG EXCEPTION RAISED IN PROP. TASK");
END;
ACCEPT STOP;
END PROP;
BEGIN
CALLING_EXP.A;
CALLING_PROP.C;
CALLED_EXP.STOP;
CALLED_PROP.STOP;
PROP.STOP;
END;
RESULT;
END CB5002A;