-- C93005C.ADA
|
-- C93005C.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- unlimited rights in the software and documentation contained herein.
|
-- unlimited rights in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- released technical data and computer software in whole or in part, in
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- CHECK THAT IF AN EXCEPTION IS RAISED IN A DECLARATIVE PART OR PACKAGE
|
-- CHECK THAT IF AN EXCEPTION IS RAISED IN A DECLARATIVE PART OR PACKAGE
|
-- SPECIFICATION, A TASK DECLARED IN THE SAME DECLARATIVE PART BECOMES
|
-- SPECIFICATION, A TASK DECLARED IN THE SAME DECLARATIVE PART BECOMES
|
-- COMPLETED BEFORE IT HAS BEEN ACTIVATED; ANY TASKS AWAITING A
|
-- COMPLETED BEFORE IT HAS BEEN ACTIVATED; ANY TASKS AWAITING A
|
-- RENDEZVOUS WITH THE COMPLETED RECEIVE TASKING_ERROR.
|
-- RENDEZVOUS WITH THE COMPLETED RECEIVE TASKING_ERROR.
|
|
|
-- CASE 1: TASKS IN DECLARATIVE PART OF A BLOCK AND PACKAGE
|
-- CASE 1: TASKS IN DECLARATIVE PART OF A BLOCK AND PACKAGE
|
-- SPECIFICATION. THE TASKS DEPEND ON THE DECLARATIVE PART.
|
-- SPECIFICATION. THE TASKS DEPEND ON THE DECLARATIVE PART.
|
|
|
-- RAC 19-MAR-1985
|
-- RAC 19-MAR-1985
|
-- JBG 06/03/85
|
-- JBG 06/03/85
|
-- EG 10/30/85 ELIMINATE THE USE OF NUMERIC_ERROR IN TEST.
|
-- EG 10/30/85 ELIMINATE THE USE OF NUMERIC_ERROR IN TEST.
|
-- PWN 09/11/94 REMOVED PRAGMA PRIORITY FOR ADA 9X.
|
-- PWN 09/11/94 REMOVED PRAGMA PRIORITY FOR ADA 9X.
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
WITH SYSTEM; USE SYSTEM;
|
WITH SYSTEM; USE SYSTEM;
|
PRAGMA ELABORATE (REPORT);
|
PRAGMA ELABORATE (REPORT);
|
|
|
with Impdef;
|
with Impdef;
|
|
|
PACKAGE C93005C_PK1 IS
|
PACKAGE C93005C_PK1 IS
|
|
|
-- THIS TYPE OF TASK IS ALWAYS UNACTIVATED.
|
-- THIS TYPE OF TASK IS ALWAYS UNACTIVATED.
|
TASK TYPE UNACTIVATED IS
|
TASK TYPE UNACTIVATED IS
|
ENTRY E;
|
ENTRY E;
|
END UNACTIVATED;
|
END UNACTIVATED;
|
|
|
TYPE ACC_UNACTIVATED IS ACCESS UNACTIVATED;
|
TYPE ACC_UNACTIVATED IS ACCESS UNACTIVATED;
|
|
|
-- *******************************************
|
-- *******************************************
|
-- DEFINITIONS FOR MUST NOT BE TERMINATED TASKS
|
-- DEFINITIONS FOR MUST NOT BE TERMINATED TASKS
|
-- *******************************************
|
-- *******************************************
|
--
|
--
|
-- THIS SET OF DECLARATIONS DEFINES A RECORD TYPE MNT (MUST NOT
|
-- THIS SET OF DECLARATIONS DEFINES A RECORD TYPE MNT (MUST NOT
|
-- TERMINATE). WHENEVER SUCH A RECORD IS DECLARED, A COUNT IS
|
-- TERMINATE). WHENEVER SUCH A RECORD IS DECLARED, A COUNT IS
|
-- INCREMENTED AND A TASK IS CREATED. THE TASK WILL DECREMENT THE
|
-- INCREMENTED AND A TASK IS CREATED. THE TASK WILL DECREMENT THE
|
-- COUNT UNLESS IT IS INCORRECTLY AND PREMATURELY TERMINATED.
|
-- COUNT UNLESS IT IS INCORRECTLY AND PREMATURELY TERMINATED.
|
-- THE ROUTINE CHECK IS CALLED TO VERIFY WHETHER THE COUNT
|
-- THE ROUTINE CHECK IS CALLED TO VERIFY WHETHER THE COUNT
|
-- HAS RETURNED TO 0 (ALL MNT TASKS GOT A CHANCE TO DO THEIR
|
-- HAS RETURNED TO 0 (ALL MNT TASKS GOT A CHANCE TO DO THEIR
|
-- DECREMENT).
|
-- DECREMENT).
|
|
|
-- AN MNT TASK. SUCH TASKS MUST NOT BE TERMINATED
|
-- AN MNT TASK. SUCH TASKS MUST NOT BE TERMINATED
|
-- BY ANYONE BUT THEMSELVES.
|
-- BY ANYONE BUT THEMSELVES.
|
--
|
--
|
TASK TYPE MNT_TASK IS
|
TASK TYPE MNT_TASK IS
|
END MNT_TASK;
|
END MNT_TASK;
|
|
|
FUNCTION F RETURN INTEGER;
|
FUNCTION F RETURN INTEGER;
|
|
|
-- THE RECORD THAT IS DECLARED TO HOLD AN MNT TASK
|
-- THE RECORD THAT IS DECLARED TO HOLD AN MNT TASK
|
-- AND FORCE CALLING F BEFORE CREATING THE TASK.
|
-- AND FORCE CALLING F BEFORE CREATING THE TASK.
|
-- F INCREMENTS THE COUNT, THE TASK DECREMENTS THE
|
-- F INCREMENTS THE COUNT, THE TASK DECREMENTS THE
|
-- COUNT.
|
-- COUNT.
|
--
|
--
|
TYPE MNT IS
|
TYPE MNT IS
|
RECORD
|
RECORD
|
DUMMY : INTEGER := F;
|
DUMMY : INTEGER := F;
|
T : MNT_TASK;
|
T : MNT_TASK;
|
END RECORD;
|
END RECORD;
|
|
|
PROCEDURE CHECK;
|
PROCEDURE CHECK;
|
|
|
|
|
-- *******************************************
|
-- *******************************************
|
-- END OF DEFINITIONS FOR MUST NOT BE TERMINATED TASKS
|
-- END OF DEFINITIONS FOR MUST NOT BE TERMINATED TASKS
|
-- *******************************************
|
-- *******************************************
|
|
|
END C93005C_PK1;
|
END C93005C_PK1;
|
|
|
|
|
PACKAGE BODY C93005C_PK1 IS
|
PACKAGE BODY C93005C_PK1 IS
|
|
|
-- THIS TASK IS CALLED IF AN UNACTIVATED TASK
|
-- THIS TASK IS CALLED IF AN UNACTIVATED TASK
|
-- IS EVER INCORRECTLY ACTIVATED. IT REPORTS FAILURE.
|
-- IS EVER INCORRECTLY ACTIVATED. IT REPORTS FAILURE.
|
|
|
TASK T IS
|
TASK T IS
|
ENTRY E;
|
ENTRY E;
|
END;
|
END;
|
|
|
-- ***********************************************
|
-- ***********************************************
|
-- START OF DEFINITIONS FOR MUST NOT TERMINATE TASKS
|
-- START OF DEFINITIONS FOR MUST NOT TERMINATE TASKS
|
-- ***********************************************
|
-- ***********************************************
|
|
|
-- COUNT OF TASKS THAT MUST NOT BE TERMINATED AND
|
-- COUNT OF TASKS THAT MUST NOT BE TERMINATED AND
|
-- ARE STILL ACTIVE.
|
-- ARE STILL ACTIVE.
|
|
|
MNT_COUNT : INTEGER := 0;
|
MNT_COUNT : INTEGER := 0;
|
|
|
-- TASK TO SYNCHRONIZE THE MNT_COUNT VARIABLE
|
-- TASK TO SYNCHRONIZE THE MNT_COUNT VARIABLE
|
|
|
TASK MNT_COUNTER IS
|
TASK MNT_COUNTER IS
|
ENTRY INCR;
|
ENTRY INCR;
|
ENTRY DECR;
|
ENTRY DECR;
|
END MNT_COUNTER;
|
END MNT_COUNTER;
|
|
|
-- SYNCHRONIZING TASK
|
-- SYNCHRONIZING TASK
|
|
|
TASK BODY MNT_COUNTER IS
|
TASK BODY MNT_COUNTER IS
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
SELECT
|
SELECT
|
ACCEPT INCR DO
|
ACCEPT INCR DO
|
MNT_COUNT := MNT_COUNT +1;
|
MNT_COUNT := MNT_COUNT +1;
|
END INCR;
|
END INCR;
|
|
|
OR ACCEPT DECR DO
|
OR ACCEPT DECR DO
|
MNT_COUNT := MNT_COUNT -1;
|
MNT_COUNT := MNT_COUNT -1;
|
END DECR;
|
END DECR;
|
|
|
OR TERMINATE;
|
OR TERMINATE;
|
|
|
END SELECT;
|
END SELECT;
|
END LOOP;
|
END LOOP;
|
END MNT_COUNTER;
|
END MNT_COUNTER;
|
|
|
-- INCREMENT THE MNT_COUNT WHEN A TASK IS CREATED
|
-- INCREMENT THE MNT_COUNT WHEN A TASK IS CREATED
|
--
|
--
|
FUNCTION F RETURN INTEGER IS
|
FUNCTION F RETURN INTEGER IS
|
BEGIN
|
BEGIN
|
MNT_COUNTER.INCR;
|
MNT_COUNTER.INCR;
|
RETURN 0;
|
RETURN 0;
|
END F;
|
END F;
|
|
|
-- CHECK THAT THE MUST NOT BE TERMINATED TASKS ARE
|
-- CHECK THAT THE MUST NOT BE TERMINATED TASKS ARE
|
-- NOT YET TERMINATED AND THAT THE SYNCRHONIZING TASK
|
-- NOT YET TERMINATED AND THAT THE SYNCRHONIZING TASK
|
-- ITSELF IS NOT TERMINATED.
|
-- ITSELF IS NOT TERMINATED.
|
--
|
--
|
PROCEDURE CHECK IS
|
PROCEDURE CHECK IS
|
BEGIN
|
BEGIN
|
IF MNT_COUNT /= 0 OR MNT_COUNTER'TERMINATED THEN
|
IF MNT_COUNT /= 0 OR MNT_COUNTER'TERMINATED THEN
|
FAILED ("SOME MUST-NOT-TERMINATE TASK WAS PREMATURELY " &
|
FAILED ("SOME MUST-NOT-TERMINATE TASK WAS PREMATURELY " &
|
"TERMINATED");
|
"TERMINATED");
|
END IF;
|
END IF;
|
-- RESET THE COUNT FOR THE NEXT SUBTEST:
|
-- RESET THE COUNT FOR THE NEXT SUBTEST:
|
MNT_COUNT := 0;
|
MNT_COUNT := 0;
|
END CHECK;
|
END CHECK;
|
|
|
-- A MUST NOT BE TERMINATED TASK. DELAY LONG ENOUGH
|
-- A MUST NOT BE TERMINATED TASK. DELAY LONG ENOUGH
|
-- TO BE THE LAST TASK OF A SCOPE TO TERMINATE. THEN
|
-- TO BE THE LAST TASK OF A SCOPE TO TERMINATE. THEN
|
-- DECREMENT THE COUNTER.
|
-- DECREMENT THE COUNTER.
|
--
|
--
|
TASK BODY MNT_TASK IS
|
TASK BODY MNT_TASK IS
|
BEGIN
|
BEGIN
|
DELAY 5.0 * Impdef.One_Second;
|
DELAY 5.0 * Impdef.One_Second;
|
MNT_COUNTER.DECR;
|
MNT_COUNTER.DECR;
|
END MNT_TASK;
|
END MNT_TASK;
|
|
|
-- ***********************************************
|
-- ***********************************************
|
-- END OF DEFINITIONS FOR MUST NOT TERMINATE TASKS
|
-- END OF DEFINITIONS FOR MUST NOT TERMINATE TASKS
|
-- ***********************************************
|
-- ***********************************************
|
|
|
TASK BODY T IS
|
TASK BODY T IS
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
SELECT
|
SELECT
|
ACCEPT E DO
|
ACCEPT E DO
|
FAILED ("SOME TYPE U TASK WAS ACTIVATED");
|
FAILED ("SOME TYPE U TASK WAS ACTIVATED");
|
END E;
|
END E;
|
|
|
OR TERMINATE;
|
OR TERMINATE;
|
END SELECT;
|
END SELECT;
|
END LOOP;
|
END LOOP;
|
END T;
|
END T;
|
|
|
-- TASKS OF TYPE UNACTIVATED MUST NEVER BE ACTIVATED.
|
-- TASKS OF TYPE UNACTIVATED MUST NEVER BE ACTIVATED.
|
--
|
--
|
TASK BODY UNACTIVATED IS
|
TASK BODY UNACTIVATED IS
|
BEGIN
|
BEGIN
|
T.E;
|
T.E;
|
END UNACTIVATED;
|
END UNACTIVATED;
|
END C93005C_PK1;
|
END C93005C_PK1;
|
|
|
WITH REPORT, C93005C_PK1;
|
WITH REPORT, C93005C_PK1;
|
USE REPORT, C93005C_PK1;
|
USE REPORT, C93005C_PK1;
|
WITH SYSTEM; USE SYSTEM;
|
WITH SYSTEM; USE SYSTEM;
|
PROCEDURE C93005C IS
|
PROCEDURE C93005C IS
|
|
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST("C93005C", "TEST EXCEPTIONS TERMINATE NOT YET ACTIVATED " &
|
TEST("C93005C", "TEST EXCEPTIONS TERMINATE NOT YET ACTIVATED " &
|
"TASKS");
|
"TASKS");
|
|
|
COMMENT("SUBTEST 1: TASKS IN DECL PART OF A BLOCK AND A PACKAGE " &
|
COMMENT("SUBTEST 1: TASKS IN DECL PART OF A BLOCK AND A PACKAGE " &
|
"SPEC");
|
"SPEC");
|
COMMENT(" THE TASKS DEPEND ON THE DECLARATIVE PART");
|
COMMENT(" THE TASKS DEPEND ON THE DECLARATIVE PART");
|
B1: DECLARE
|
B1: DECLARE
|
X : MNT;
|
X : MNT;
|
BEGIN
|
BEGIN
|
B2: BEGIN
|
B2: BEGIN
|
B3: DECLARE
|
B3: DECLARE
|
TYPE ACC_MNT IS ACCESS MNT;
|
TYPE ACC_MNT IS ACCESS MNT;
|
T1 : UNACTIVATED;
|
T1 : UNACTIVATED;
|
M2 : ACC_MNT := NEW MNT;
|
M2 : ACC_MNT := NEW MNT;
|
|
|
PACKAGE RAISES_EXCEPTION IS
|
PACKAGE RAISES_EXCEPTION IS
|
T2 : UNACTIVATED;
|
T2 : UNACTIVATED;
|
M3 : ACC_MNT := NEW MNT;
|
M3 : ACC_MNT := NEW MNT;
|
I : POSITIVE := IDENT_INT(0); -- RAISE
|
I : POSITIVE := IDENT_INT(0); -- RAISE
|
-- CONSTRAINT_ERROR EXCEPTION
|
-- CONSTRAINT_ERROR EXCEPTION
|
END RAISES_EXCEPTION;
|
END RAISES_EXCEPTION;
|
USE RAISES_EXCEPTION;
|
USE RAISES_EXCEPTION;
|
BEGIN -- WOULD HAVE BEEN ACTIVATED HERE
|
BEGIN -- WOULD HAVE BEEN ACTIVATED HERE
|
IF EQUAL (I, I) THEN
|
IF EQUAL (I, I) THEN
|
FAILED ("EXCEPTION NOT RAISED");
|
FAILED ("EXCEPTION NOT RAISED");
|
END IF;
|
END IF;
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("EXCEPTION RAISED IN WRONG SCOPE");
|
FAILED ("EXCEPTION RAISED IN WRONG SCOPE");
|
END B3;
|
END B3;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
COMMENT ("SUBTEST 1 COMPLETED");
|
COMMENT ("SUBTEST 1 COMPLETED");
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("WRONG EXCEPTION RAISED IN B2");
|
FAILED ("WRONG EXCEPTION RAISED IN B2");
|
END B2;
|
END B2;
|
END B1;
|
END B1;
|
|
|
CHECK;
|
CHECK;
|
|
|
RESULT;
|
RESULT;
|
|
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("EXCEPTION NOT ABSORBED");
|
FAILED ("EXCEPTION NOT ABSORBED");
|
RESULT;
|
RESULT;
|
END C93005C;
|
END C93005C;
|
|
|