with Impdef;
WITH REPORT; USE REPORT;
WITH CALENDAR; USE CALENDAR;
PROCEDURE C97301B IS
OR_BRANCH_TAKEN : BOOLEAN := FALSE;
BEGIN
TEST ("C97301B", "CHECK THAT A TIMED_ENTRY_CALL DELAYS FOR AT " &
"LEAST THE SPECIFIED AMOUNT OF TIME WHEN THE " &
"QUEUE FOR THE CALLED ENTRY ALREADY CONTAINS " &
"ANOTHER TASK WHOSE RENDEZVOUS CANNOT BE " &
"COMPLETED WITHIN THE SPECIFIED DELAY" );
DECLARE
WAIT_TIME : DURATION := 3.0 * Impdef.One_Second;
TASK T1;
TASK T2 IS
ENTRY AWAKEN_T2;
END T2;
TASK T3 IS
ENTRY AWAKEN_T3;
ENTRY RELEASE_T;
END T3;
TASK T IS
ENTRY DO_IT_NOW_OR_WAIT (X : INTEGER);
END T;
TASK BODY T IS
BEGIN
ACCEPT DO_IT_NOW_OR_WAIT (X : INTEGER) DO
IF X = 1 THEN
T2.AWAKEN_T2;
WHILE DO_IT_NOW_OR_WAIT'COUNT = 0 LOOP
DELAY 1.0 * Impdef.One_Second;
END LOOP;
T3.AWAKEN_T3;
T3.RELEASE_T;
ELSE
FAILED ("WRONG TASK IN RENDEZVOUS - 1");
END IF;
END DO_IT_NOW_OR_WAIT;
ACCEPT DO_IT_NOW_OR_WAIT (X : INTEGER) DO
IF X /= 2 THEN
FAILED ("WRONG TASK IN RENDEZVOUS - 2");
END IF;
END DO_IT_NOW_OR_WAIT;
END T;
TASK BODY T1 IS
BEGIN
T.DO_IT_NOW_OR_WAIT (1);
END T1;
TASK BODY T2 IS
BEGIN
ACCEPT AWAKEN_T2;
T.DO_IT_NOW_OR_WAIT (2);
END T2;
TASK BODY T3 IS
START_TIME : TIME;
STOP_TIME : TIME;
BEGIN
BEGIN
ACCEPT AWAKEN_T3;
START_TIME := CLOCK;
SELECT
T.DO_IT_NOW_OR_WAIT (3);
OR
DELAY WAIT_TIME;
STOP_TIME := CLOCK;
IF STOP_TIME >= (WAIT_TIME + START_TIME) THEN
NULL;
ELSE
FAILED ( "INSUFFICIENT DELAY" );
END IF;
OR_BRANCH_TAKEN := TRUE;
COMMENT( "OR_BRANCH TAKEN" );
ACCEPT RELEASE_T;
END SELECT;
EXCEPTION
WHEN TASKING_ERROR =>
FAILED ( "TASKING ERROR" );
END;
IF OR_BRANCH_TAKEN THEN
NULL;
ELSE
FAILED( "RENDEZVOUS ATTEMPTED" );
END IF;
END T3;
BEGIN
NULL;
END;
RESULT;
END C97301B;