with Impdef;
WITH REPORT; USE REPORT;
WITH SYSTEM; USE SYSTEM;
PROCEDURE C94008C IS
GENERIC
TYPE HOLDER_TYPE IS PRIVATE;
TYPE VALUE_TYPE IS PRIVATE;
INITIAL_VALUE : HOLDER_TYPE;
WITH PROCEDURE SET (HOLDER : OUT HOLDER_TYPE;
VALUE : IN HOLDER_TYPE) IS <>;
WITH PROCEDURE UPDATE (HOLDER : IN OUT HOLDER_TYPE;
VALUE : IN VALUE_TYPE) IS <>;
PACKAGE SHARED IS
PROCEDURE SET (VALUE : IN HOLDER_TYPE);
PROCEDURE UPDATE (VALUE : IN VALUE_TYPE);
FUNCTION GET RETURN HOLDER_TYPE;
END SHARED;
PACKAGE BODY SHARED IS
TASK SHARE IS
ENTRY SET (VALUE : IN HOLDER_TYPE);
ENTRY UPDATE (VALUE : IN VALUE_TYPE);
ENTRY READ (VALUE : OUT HOLDER_TYPE);
END SHARE;
TASK BODY SHARE IS
VARIABLE : HOLDER_TYPE;
BEGIN
LOOP
SELECT
ACCEPT SET (VALUE : IN HOLDER_TYPE) DO
SHARED.SET (VARIABLE, VALUE);
END SET;
OR
ACCEPT UPDATE (VALUE : IN VALUE_TYPE) DO
SHARED.UPDATE (VARIABLE, VALUE);
END UPDATE;
OR
ACCEPT READ (VALUE : OUT HOLDER_TYPE) DO
VALUE := VARIABLE;
END READ;
OR
TERMINATE;
END SELECT;
END LOOP;
END SHARE;
PROCEDURE SET (VALUE : IN HOLDER_TYPE) IS
BEGIN
SHARE.SET (VALUE);
END SET;
PROCEDURE UPDATE (VALUE : IN VALUE_TYPE) IS
BEGIN
SHARE.UPDATE (VALUE);
END UPDATE;
FUNCTION GET RETURN HOLDER_TYPE IS
VALUE : HOLDER_TYPE;
BEGIN
SHARE.READ (VALUE);
RETURN VALUE;
END GET;
BEGIN
SHARE.SET (INITIAL_VALUE); END SHARED;
PACKAGE EVENTS IS
TYPE EVENT_TYPE IS
RECORD
TRACE : STRING (1..4) := "....";
LENGTH : NATURAL := 0;
END RECORD;
PROCEDURE UPDATE (VAR : IN OUT EVENT_TYPE; VAL : CHARACTER);
PROCEDURE SET (VAR : OUT EVENT_TYPE; VAL : EVENT_TYPE);
END EVENTS;
PACKAGE COUNTER IS
PROCEDURE UPDATE (VAR : IN OUT INTEGER; VAL : INTEGER);
PROCEDURE SET (VAR : OUT INTEGER; VAL : INTEGER);
END COUNTER;
PACKAGE BODY COUNTER IS
PROCEDURE UPDATE (VAR : IN OUT INTEGER; VAL : INTEGER) IS
BEGIN
VAR := VAR + VAL;
END UPDATE;
PROCEDURE SET (VAR : OUT INTEGER; VAL : INTEGER) IS
BEGIN
VAR := VAL;
END SET;
END COUNTER;
PACKAGE BODY EVENTS IS
PROCEDURE UPDATE (VAR : IN OUT EVENT_TYPE; VAL : CHARACTER) IS
BEGIN
VAR.LENGTH := VAR.LENGTH + 1;
VAR.TRACE(VAR.LENGTH) := VAL;
END UPDATE;
PROCEDURE SET (VAR : OUT EVENT_TYPE; VAL : EVENT_TYPE) IS
BEGIN
VAR := VAL;
END SET;
END EVENTS;
USE EVENTS, COUNTER;
PACKAGE TRACE IS NEW SHARED (EVENT_TYPE, CHARACTER, ("....", 0));
PACKAGE TERMINATE_COUNT IS NEW SHARED (INTEGER, INTEGER, 0);
FUNCTION ENTER_TERMINATE RETURN BOOLEAN IS
BEGIN
TERMINATE_COUNT.UPDATE (1);
RETURN TRUE;
END ENTER_TERMINATE;
BEGIN
TEST ("C94008C", "CHECK CORRECT OPERATION OF SELECT WITH " &
"TERMINATE ALTERNATIVE");
DECLARE
PROCEDURE EVENT (VAR : CHARACTER) RENAMES TRACE.UPDATE;
TASK T1 IS
ENTRY E1;
END T1;
TASK BODY T1 IS
TASK T2 IS
ENTRY E2;
END T2;
TASK BODY T2 IS
TASK T3 IS
ENTRY E3;
END T3;
TASK BODY T3 IS
BEGIN
SELECT
ACCEPT E3;
OR WHEN ENTER_TERMINATE => TERMINATE;
END SELECT;
EVENT ('D');
END T3;
BEGIN
SELECT
ACCEPT E2;
OR WHEN ENTER_TERMINATE => TERMINATE;
END SELECT;
DELAY 10.0 * Impdef.One_Second;
IF TERMINATE_COUNT.GET /= 1 THEN
DELAY 20.0 * Impdef.One_Second;
END IF;
IF TERMINATE_COUNT.GET /= 1 THEN
FAILED ("30 SECOND DELAY NOT ENOUGH - 1 ");
END IF;
EVENT ('C');
T1.E1;
T3.E3;
END T2;
BEGIN
SELECT
ACCEPT E1;
OR WHEN ENTER_TERMINATE => TERMINATE;
END SELECT;
EVENT ('B');
TERMINATE_COUNT.SET (0);
T2.E2;
SELECT
ACCEPT E1;
OR WHEN ENTER_TERMINATE => TERMINATE;
END SELECT;
SELECT
ACCEPT E1;
OR TERMINATE; END SELECT;
FAILED ("TERMINATE NOT SELECTED IN T1");
END T1;
BEGIN
DELAY 10.0 * Impdef.One_Second;
IF TERMINATE_COUNT.GET /= 3 THEN
DELAY 20.0 * Impdef.One_Second;
END IF;
IF TERMINATE_COUNT.GET /= 3 THEN
FAILED ("30 SECOND DELAY NOT ENOUGH - 2");
END IF;
EVENT ('A');
T1.E1;
EXCEPTION
WHEN OTHERS => FAILED ("EXCEPTION IN MAIN BLOCK");
END;
IF TRACE.GET.TRACE /= "ABCD" THEN
FAILED ("INCORRECT ORDER OF EVENTS: " & TRACE.GET.TRACE);
END IF;
RESULT;
END C94008C;