WITH SYSTEM; USE SYSTEM;
WITH REPORT; USE REPORT;
PROCEDURE C93005B IS
BEGIN
TEST ( "C93005B", "CHECK THAT WHEN AN EXCEPTION IS RAISED IN A " &
"DECLARATIVE PART, A TASK DECLARED IN THE " &
"SAME DECLARATIVE PART BECOMES TERMINATED. " &
"IN THIS CASE, SEVERAL TASKS ARE WAITING FOR " &
"ACTIVATION WHEN THE EXCEPTION OCCURS" );
BEGIN
DECLARE
TASK TYPE TA IS END TA;
TYPE ATA IS ACCESS TA;
TASK TYPE TB IS END TB;
TYPE TBREC IS
RECORD
TTB: TB;
END RECORD;
TASK TX IS ENTRY E;
END TX;
TASK BODY TA IS
BEGIN
DECLARE TASK TAB IS
END TAB;
TASK BODY TAB IS
BEGIN
TX.E;
FAILED ( "RENDEZVOUS COMPLETED " &
"WITHOUT ERROR - TAB" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION " &
"- TAB" );
END TAB;
BEGIN
NULL;
END;
TX.E;
FAILED ( "RENDEZVOUS COMPLETED WITHOUT ERROR " &
"- TA" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION - TA" );
END TA;
PACKAGE RAISE_IT IS
TASK TY IS ENTRY E;
END TY;
END RAISE_IT;
TASK BODY TB IS
BEGIN
DECLARE TASK TBB IS
END TBB;
TASK BODY TBB IS
BEGIN
RAISE_IT.TY.E;
FAILED ( "RENDEZVOUS COMPLETED " &
"WITHOUT ERROR - TBB" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION " &
"- TBB" );
END TBB;
BEGIN
NULL;
END;
RAISE_IT.TY.E;
FAILED ( "RENDEZVOUS COMPLETED WITHOUT ERROR " &
"- TB" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION - TB" );
END TB;
PACKAGE START_TC IS END START_TC;
TASK BODY TX IS
BEGIN
FAILED ( "TX ACTIVATED" );
LOOP
SELECT
ACCEPT E;
OR
TERMINATE;
END SELECT;
END LOOP;
END TX;
PACKAGE START_TZ IS
TASK TZ IS ENTRY E;
END TZ;
END START_TZ;
PACKAGE BODY START_TC IS
TBREC1 : TBREC;
TASK TC IS END TC;
TASK BODY TC IS
BEGIN
DECLARE
TASK TCB IS
END TCB;
TASK BODY TCB IS
BEGIN
START_TZ.TZ.E;
FAILED ( "RENDEZVOUS COMPLETED " &
"WITHOUT " &
"ERROR - TCB" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL " &
"EXCEPTION - TCB" );
END TCB;
BEGIN
NULL;
END;
START_TZ.TZ.E;
FAILED ( "RENDEZVOUS COMPLETED WITHOUT " &
"ERROR - TC" );
EXCEPTION
WHEN TASKING_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION - TC" );
END TC;
END START_TC;
PACKAGE BODY RAISE_IT IS
NTA : ATA := NEW TA;
TASK BODY TY IS
BEGIN
FAILED ( "TY ACTIVATED" );
LOOP
SELECT
ACCEPT E;
OR
TERMINATE;
END SELECT;
END LOOP;
END TY;
PACKAGE XCEPTION IS
I : POSITIVE := IDENT_INT (0); END XCEPTION;
USE XCEPTION;
BEGIN
IF I /= IDENT_INT (2) OR I = IDENT_INT (1) + 1 THEN
FAILED ( "PACKAGE DIDN'T RAISE EXCEPTION" );
END IF;
END RAISE_IT;
PACKAGE BODY START_TZ IS
TASK BODY TZ IS
BEGIN
FAILED ( "TZ ACTIVATED" );
LOOP
SELECT
ACCEPT E;
OR
TERMINATE;
END SELECT;
END LOOP;
END TZ;
END START_TZ;
BEGIN
FAILED ( "EXCEPTION NOT RAISED" );
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN TASKING_ERROR =>
FAILED ( "TASKING_ERROR IN MAIN PROGRAM" );
WHEN OTHERS =>
FAILED ( "ABNORMAL EXCEPTION IN MAIN" );
END;
RESULT;
END C93005B;