-- C97115A.ADA
|
-- C97115A.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 WHETHER AN ENTRY FAMILY INDEX EXPRESSION FOLLOWING AN OPEN
|
-- CHECK WHETHER AN ENTRY FAMILY INDEX EXPRESSION FOLLOWING AN OPEN
|
-- GUARD IS EVALUATED DIRECTLY AFTER THE GUARD, OR ONLY AFTER ALL GUARDS
|
-- GUARD IS EVALUATED DIRECTLY AFTER THE GUARD, OR ONLY AFTER ALL GUARDS
|
-- HAVE BEEN EVALUATED, OR IN SOME MIXED ORDER SUCH THAT INDEX
|
-- HAVE BEEN EVALUATED, OR IN SOME MIXED ORDER SUCH THAT INDEX
|
-- EXPRESSIONS ARE EVALUATED AFTER THEIR GUARDS ARE DETERMINED TO BE
|
-- EXPRESSIONS ARE EVALUATED AFTER THEIR GUARDS ARE DETERMINED TO BE
|
-- OPEN.
|
-- OPEN.
|
|
|
-- RM 5/11/82
|
-- RM 5/11/82
|
-- SPS 11/21/82
|
-- SPS 11/21/82
|
-- JBG 10/24/83
|
-- JBG 10/24/83
|
-- PWN 09/11/94 REMOVED PRAGMA PRIORITY FOR ADA 9X.
|
-- PWN 09/11/94 REMOVED PRAGMA PRIORITY FOR ADA 9X.
|
|
|
with Impdef;
|
with Impdef;
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
WITH SYSTEM; USE SYSTEM;
|
WITH SYSTEM; USE SYSTEM;
|
PROCEDURE C97115A IS
|
PROCEDURE C97115A IS
|
|
|
|
|
-- THE TASK WILL HAVE LAST PRIORITY ( PRIORITY'FIRST )
|
-- THE TASK WILL HAVE LAST PRIORITY ( PRIORITY'FIRST )
|
|
|
EVAL_ORDER : STRING (1..6) := ( 1..6 => '*' );
|
EVAL_ORDER : STRING (1..6) := ( 1..6 => '*' );
|
EVAL_ORD : STRING (1..6) := ( 1..6 => '*' );
|
EVAL_ORD : STRING (1..6) := ( 1..6 => '*' );
|
INDEX : INTEGER := 0;
|
INDEX : INTEGER := 0;
|
|
|
|
|
FUNCTION F1 (X:INTEGER) RETURN INTEGER IS
|
FUNCTION F1 (X:INTEGER) RETURN INTEGER IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'F'; -- 123: FGH
|
EVAL_ORDER (INDEX) := 'F'; -- 123: FGH
|
EVAL_ORD (INDEX) := 'G'; -- 123: GGG ( 'G' FOR 'GUARD' )
|
EVAL_ORD (INDEX) := 'G'; -- 123: GGG ( 'G' FOR 'GUARD' )
|
RETURN ( IDENT_INT(7) );
|
RETURN ( IDENT_INT(7) );
|
END F1;
|
END F1;
|
|
|
|
|
FUNCTION F2 (X:INTEGER) RETURN INTEGER IS
|
FUNCTION F2 (X:INTEGER) RETURN INTEGER IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'G';
|
EVAL_ORDER (INDEX) := 'G';
|
EVAL_ORD (INDEX) := 'G';
|
EVAL_ORD (INDEX) := 'G';
|
RETURN ( IDENT_INT(7) );
|
RETURN ( IDENT_INT(7) );
|
END F2;
|
END F2;
|
|
|
|
|
FUNCTION F3 (X:INTEGER) RETURN INTEGER IS
|
FUNCTION F3 (X:INTEGER) RETURN INTEGER IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'H';
|
EVAL_ORDER (INDEX) := 'H';
|
EVAL_ORD (INDEX) := 'G';
|
EVAL_ORD (INDEX) := 'G';
|
RETURN ( IDENT_INT(7) );
|
RETURN ( IDENT_INT(7) );
|
END F3;
|
END F3;
|
|
|
|
|
FUNCTION I1 ( X:INTEGER ) RETURN BOOLEAN IS
|
FUNCTION I1 ( X:INTEGER ) RETURN BOOLEAN IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'A'; -- 123: ABC
|
EVAL_ORDER (INDEX) := 'A'; -- 123: ABC
|
EVAL_ORD (INDEX) := 'I'; -- 123: III ( 'I' FOR 'INDEX' )
|
EVAL_ORD (INDEX) := 'I'; -- 123: III ( 'I' FOR 'INDEX' )
|
RETURN ( IDENT_BOOL(TRUE) ); -- (THAT'S ENTRY-FAMILY INDEX)
|
RETURN ( IDENT_BOOL(TRUE) ); -- (THAT'S ENTRY-FAMILY INDEX)
|
END I1;
|
END I1;
|
|
|
|
|
FUNCTION I2 ( X:INTEGER ) RETURN BOOLEAN IS
|
FUNCTION I2 ( X:INTEGER ) RETURN BOOLEAN IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'B';
|
EVAL_ORDER (INDEX) := 'B';
|
EVAL_ORD (INDEX) := 'I';
|
EVAL_ORD (INDEX) := 'I';
|
RETURN ( IDENT_BOOL(TRUE) );
|
RETURN ( IDENT_BOOL(TRUE) );
|
END I2;
|
END I2;
|
|
|
|
|
FUNCTION I3 ( X:INTEGER ) RETURN BOOLEAN IS
|
FUNCTION I3 ( X:INTEGER ) RETURN BOOLEAN IS
|
BEGIN
|
BEGIN
|
INDEX := INDEX + 1;
|
INDEX := INDEX + 1;
|
EVAL_ORDER (INDEX) := 'C';
|
EVAL_ORDER (INDEX) := 'C';
|
EVAL_ORD (INDEX) := 'I';
|
EVAL_ORD (INDEX) := 'I';
|
RETURN ( IDENT_BOOL(TRUE) );
|
RETURN ( IDENT_BOOL(TRUE) );
|
END I3;
|
END I3;
|
|
|
FUNCTION POS_OF (FUNC : CHARACTER) RETURN INTEGER IS
|
FUNCTION POS_OF (FUNC : CHARACTER) RETURN INTEGER IS
|
BEGIN
|
BEGIN
|
FOR I IN EVAL_ORDER'RANGE LOOP
|
FOR I IN EVAL_ORDER'RANGE LOOP
|
IF EVAL_ORDER(I) = FUNC THEN
|
IF EVAL_ORDER(I) = FUNC THEN
|
RETURN I;
|
RETURN I;
|
END IF;
|
END IF;
|
END LOOP;
|
END LOOP;
|
FAILED ("DID NOT FIND LETTER " & FUNC);
|
FAILED ("DID NOT FIND LETTER " & FUNC);
|
RETURN 0;
|
RETURN 0;
|
END POS_OF;
|
END POS_OF;
|
|
|
|
|
BEGIN
|
BEGIN
|
|
|
|
|
TEST ("C97115A", "CHECK THAT THE INDEX EXPRESSIONS ARE" &
|
TEST ("C97115A", "CHECK THAT THE INDEX EXPRESSIONS ARE" &
|
" EVALUATED AFTER THE GUARDS BUT" &
|
" EVALUATED AFTER THE GUARDS BUT" &
|
" BEFORE THE RENDEZVOUS IS ATTEMPTED" );
|
" BEFORE THE RENDEZVOUS IS ATTEMPTED" );
|
|
|
|
|
DECLARE
|
DECLARE
|
|
|
|
|
TASK T IS
|
TASK T IS
|
|
|
|
|
ENTRY E ( BOOLEAN );
|
ENTRY E ( BOOLEAN );
|
ENTRY E1;
|
ENTRY E1;
|
|
|
END T;
|
END T;
|
|
|
|
|
TASK BODY T IS
|
TASK BODY T IS
|
BEGIN
|
BEGIN
|
|
|
|
|
WHILE E1'COUNT = 0 -- IF E1 NOT YET CALLED, THEN GIVE
|
WHILE E1'COUNT = 0 -- IF E1 NOT YET CALLED, THEN GIVE
|
LOOP -- THE MAIN TASK AN OPPORTUNITY
|
LOOP -- THE MAIN TASK AN OPPORTUNITY
|
DELAY 10.01 * Impdef.One_Second; -- TO ISSUE THE CALL.
|
DELAY 10.01 * Impdef.One_Second; -- TO ISSUE THE CALL.
|
END LOOP;
|
END LOOP;
|
|
|
|
|
SELECT
|
SELECT
|
|
|
ACCEPT E1;
|
ACCEPT E1;
|
|
|
OR
|
OR
|
|
|
WHEN 6 + F1(7) = 13 =>
|
WHEN 6 + F1(7) = 13 =>
|
ACCEPT E ( I1(17) );
|
ACCEPT E ( I1(17) );
|
|
|
OR
|
OR
|
|
|
WHEN 6 + F2(7) = 13 =>
|
WHEN 6 + F2(7) = 13 =>
|
ACCEPT E ( I2(17) );
|
ACCEPT E ( I2(17) );
|
|
|
OR
|
OR
|
|
|
WHEN 6 + F3(7) = 13 =>
|
WHEN 6 + F3(7) = 13 =>
|
ACCEPT E ( I3(17) );
|
ACCEPT E ( I3(17) );
|
|
|
END SELECT;
|
END SELECT;
|
|
|
|
|
END T;
|
END T;
|
|
|
|
|
BEGIN
|
BEGIN
|
|
|
T.E1;
|
T.E1;
|
|
|
END; -- END OF BLOCK CONTAINING THE ENTRY CALLS
|
END; -- END OF BLOCK CONTAINING THE ENTRY CALLS
|
|
|
|
|
COMMENT ("GUARD AND INDEX FUNCTIONS WERE CALLED IN ORDER " &
|
COMMENT ("GUARD AND INDEX FUNCTIONS WERE CALLED IN ORDER " &
|
EVAL_ORDER);
|
EVAL_ORDER);
|
COMMENT ("GUARD AND INDEX EXPRESSIONS WERE EVALUATED IN THE " &
|
COMMENT ("GUARD AND INDEX EXPRESSIONS WERE EVALUATED IN THE " &
|
"ORDER " & EVAL_ORD);
|
"ORDER " & EVAL_ORD);
|
|
|
IF POS_OF ('F') > POS_OF ('A') OR
|
IF POS_OF ('F') > POS_OF ('A') OR
|
POS_OF ('G') > POS_OF ('B') OR
|
POS_OF ('G') > POS_OF ('B') OR
|
POS_OF ('H') > POS_OF ('C') THEN
|
POS_OF ('H') > POS_OF ('C') THEN
|
FAILED ("AN INDEX EXPRESSION WAS EVALUATED TOO EARLY");
|
FAILED ("AN INDEX EXPRESSION WAS EVALUATED TOO EARLY");
|
END IF;
|
END IF;
|
|
|
RESULT;
|
RESULT;
|
|
|
END C97115A;
|
END C97115A;
|
|
|