with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C97115A IS
EVAL_ORDER : STRING (1..6) := ( 1..6 => '*' );
EVAL_ORD : STRING (1..6) := ( 1..6 => '*' );
INDEX : 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 I1 ( X:INTEGER ) RETURN BOOLEAN IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'A'; EVAL_ORD (INDEX) := 'I'; RETURN ( IDENT_BOOL(TRUE) ); END I1;
FUNCTION I2 ( X:INTEGER ) RETURN BOOLEAN IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'B';
EVAL_ORD (INDEX) := 'I';
RETURN ( IDENT_BOOL(TRUE) );
END I2;
FUNCTION I3 ( X:INTEGER ) RETURN BOOLEAN IS
BEGIN
INDEX := INDEX + 1;
EVAL_ORDER (INDEX) := 'C';
EVAL_ORD (INDEX) := 'I';
RETURN ( IDENT_BOOL(TRUE) );
END I3;
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 ("C97115A", "CHECK THAT THE INDEX EXPRESSIONS ARE" &
" EVALUATED AFTER THE GUARDS BUT" &
" BEFORE THE RENDEZVOUS IS ATTEMPTED" );
DECLARE
TASK T IS
ENTRY E ( BOOLEAN );
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 =>
ACCEPT E ( I1(17) );
OR
WHEN 6 + F2(7) = 13 =>
ACCEPT E ( I2(17) );
OR
WHEN 6 + F3(7) = 13 =>
ACCEPT E ( I3(17) );
END SELECT;
END T;
BEGIN
T.E1;
END;
COMMENT ("GUARD AND INDEX FUNCTIONS WERE CALLED IN ORDER " &
EVAL_ORDER);
COMMENT ("GUARD AND INDEX EXPRESSIONS WERE EVALUATED IN THE " &
"ORDER " & EVAL_ORD);
IF POS_OF ('F') > POS_OF ('A') OR
POS_OF ('G') > POS_OF ('B') OR
POS_OF ('H') > POS_OF ('C') THEN
FAILED ("AN INDEX EXPRESSION WAS EVALUATED TOO EARLY");
END IF;
RESULT;
END C97115A;