with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C97114A IS
EVAL_ORDER : STRING (1..6) := ( 1..6 => '*' );
EVAL_ORD : STRING (1..6) := ( 1..6 => '*' );
INDEX : INTEGER := 0;
DUMMY : INTEGER := 0;
FUNCTION F1 (X:INTEGER) RETURN INTEGER IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'F'; EVAL_ORD (INDEX) := 'G'; RETURN ( IDENT_INT(7) );
END F1;
FUNCTION F2 (X:INTEGER) RETURN INTEGER IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'G';
EVAL_ORD (INDEX) := 'G';
RETURN ( IDENT_INT(7) );
END F2;
FUNCTION F3 (X:INTEGER) RETURN INTEGER IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'H';
EVAL_ORD (INDEX) := 'G';
RETURN ( IDENT_INT(7) );
END F3;
FUNCTION D1( X:INTEGER ) RETURN DURATION IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'A'; EVAL_ORD (INDEX) := 'D'; RETURN ( 1.0 );
END D1;
FUNCTION D2( X:INTEGER ) RETURN DURATION IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'B';
EVAL_ORD (INDEX) := 'D';
RETURN ( 2.0 );
END D2;
FUNCTION D3( X:INTEGER ) RETURN DURATION IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'C';
EVAL_ORD (INDEX) := 'D';
RETURN ( 3.0 );
END D3;
FUNCTION POS_OF (FUNC : CHARACTER) RETURN INTEGER IS
BEGIN
FOR I IN EVAL_ORDER'RANGE LOOP
IF EVAL_ORDER(I) = FUNC THEN
RETURN I;
END IF;
END LOOP;
FAILED ("DID NOT FIND LETTER " & FUNC);
RETURN 0;
END POS_OF;
BEGIN
TEST ("C97114A", "CHECK THAT THE DELAY EXPRESSIONS ARE" &
" EVALUATED AFTER THE GUARDS BUT" &
" BEFORE THE RENDEZVOUS IS ATTEMPTED" );
DECLARE
TASK T IS
ENTRY E1;
END T;
TASK BODY T IS
BEGIN
WHILE E1'COUNT = 0 LOOP DELAY 10.01 * Impdef.One_Second; END LOOP;
SELECT
ACCEPT E1;
OR
WHEN 6 + F1(7) = 13 =>
DELAY D1( DUMMY ) * Impdef.One_Second;
OR
WHEN 6 + F2(7) = 13 =>
DELAY D2( DUMMY ) * Impdef.One_Second;
OR
WHEN 6 + F3(7) = 13 =>
DELAY D3( DUMMY ) * Impdef.One_Second;
END SELECT;
END T;
BEGIN
T.E1;
END;
COMMENT ("EVALUATIONS WERE DONE IN THE ORDER " & EVAL_ORD);
COMMENT ("FUNCTIONS WERE CALLED IN THE ORDER " & EVAL_ORDER);
IF EVAL_ORD = "GGGDDD" THEN
COMMENT ("ALL GUARDS EVALUATED FIRST");
ELSIF EVAL_ORD = "GDGDGD" THEN
COMMENT ("DELAY EXPRESSION EVALUATED AFTER EACH GUARD");
END IF;
IF POS_OF ('F') > POS_OF ('A') OR
POS_OF ('G') > POS_OF ('B') OR
POS_OF ('H') > POS_OF ('C') THEN
FAILED ("A DELAY EXPRESSION WAS EVALUATED BEFORE ITS " &
"GUARD");
END IF;
RESULT;
END C97114A;