-- C93005E.ADA
|
-- C93005E.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 3: TASKS IN PACKAGE SPECIFICATION.
|
-- CASE 3: TASKS IN PACKAGE SPECIFICATION.
|
-- THE TASKS DON'T DEPEND ON THE PACKAGE SPECIFICATION.
|
-- THE TASKS DON'T DEPEND ON THE PACKAGE SPECIFICATION.
|
|
|
-- 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);
|
PACKAGE C93005E_PK1 IS
|
PACKAGE C93005E_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;
|
|
|
TYPE BAD_REC IS
|
TYPE BAD_REC IS
|
RECORD
|
RECORD
|
T : UNACTIVATED;
|
T : UNACTIVATED;
|
I : POSITIVE := IDENT_INT(0); -- RAISE CONSTRAINT_ERROR.
|
I : POSITIVE := IDENT_INT(0); -- RAISE CONSTRAINT_ERROR.
|
END RECORD;
|
END RECORD;
|
|
|
TYPE ACC_BAD_REC IS ACCESS BAD_REC;
|
TYPE ACC_BAD_REC IS ACCESS BAD_REC;
|
|
|
|
|
-- *******************************************
|
-- *******************************************
|
-- 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 C93005E_PK1;
|
END C93005E_PK1;
|
|
|
with Impdef;
|
with Impdef;
|
PACKAGE BODY C93005E_PK1 IS
|
PACKAGE BODY C93005E_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 C93005E_PK1;
|
END C93005E_PK1;
|
|
|
WITH REPORT, C93005E_PK1;
|
WITH REPORT, C93005E_PK1;
|
USE REPORT, C93005E_PK1;
|
USE REPORT, C93005E_PK1;
|
WITH SYSTEM; USE SYSTEM;
|
WITH SYSTEM; USE SYSTEM;
|
PROCEDURE C93005E IS
|
PROCEDURE C93005E IS
|
|
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST("C93005E", "TEST EXCEPTIONS TERMINATE NOT YET ACTIVATED " &
|
TEST("C93005E", "TEST EXCEPTIONS TERMINATE NOT YET ACTIVATED " &
|
"TASKS");
|
"TASKS");
|
|
|
COMMENT("SUBTEST 3: TASK IN DECL PART OF PACKAGE SPEC");
|
COMMENT("SUBTEST 3: TASK IN DECL PART OF PACKAGE SPEC");
|
COMMENT(" THE TASKS DON'T DEPEND ON THE DECLARATIVE PART");
|
COMMENT(" THE TASKS DON'T DEPEND ON THE DECLARATIVE PART");
|
B31: DECLARE
|
B31: DECLARE
|
X : MNT;
|
X : MNT;
|
BEGIN
|
BEGIN
|
B32: BEGIN
|
B32: BEGIN
|
B33: DECLARE
|
B33: DECLARE
|
PACKAGE RAISES_EXCEPTION IS
|
PACKAGE RAISES_EXCEPTION IS
|
TYPE ACC_MNT IS ACCESS MNT;
|
TYPE ACC_MNT IS ACCESS MNT;
|
Y : ACC_MNT := NEW MNT;
|
Y : ACC_MNT := NEW MNT;
|
PTR : ACC_BAD_REC := NEW BAD_REC;
|
PTR : ACC_BAD_REC := NEW BAD_REC;
|
END RAISES_EXCEPTION;
|
END RAISES_EXCEPTION;
|
BEGIN -- WOULD HAVE BEEN ACTIVATED HERE
|
BEGIN -- WOULD HAVE BEEN ACTIVATED HERE
|
FAILED("EXCEPTION NOT RAISED");
|
FAILED("EXCEPTION NOT RAISED");
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("EXCEPTION RAISED IN WRONG SCOPE");
|
FAILED ("EXCEPTION RAISED IN WRONG SCOPE");
|
END B33;
|
END B33;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
COMMENT("SUBTEST 3 COMPLETED");
|
COMMENT("SUBTEST 3 COMPLETED");
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("WRONG EXCEPTION RAISED IN B32");
|
FAILED ("WRONG EXCEPTION RAISED IN B32");
|
END B32;
|
END B32;
|
END B31;
|
END B31;
|
|
|
CHECK;
|
CHECK;
|
|
|
RESULT;
|
RESULT;
|
|
|
EXCEPTION
|
EXCEPTION
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ("EXCEPTION NOT ABSORBED");
|
FAILED ("EXCEPTION NOT ABSORBED");
|
RESULT;
|
RESULT;
|
END C93005E;
|
END C93005E;
|
|
|