WITH REPORT; USE REPORT;
PROCEDURE C95071A IS
BEGIN
TEST ("C95071A", "CHECK THAT COMPONENTS OF ACCESS IN PARAMETERS " &
"MAY BE USED IN ASSIGNMENT CONTEXTS");
DECLARE
TYPE PTRINT IS ACCESS INTEGER;
PI : PTRINT;
TASK TA IS
ENTRY EA (PI : IN PTRINT);
END TA;
TASK BODY TA IS
BEGIN
ACCEPT EA (PI : IN PTRINT) DO
DECLARE
TASK TA1 IS
ENTRY EA1 (I : OUT INTEGER);
ENTRY EA2 (I : IN OUT INTEGER);
END TA1;
TASK BODY TA1 IS
BEGIN
ACCEPT EA1 (I : OUT INTEGER) DO
I := 7;
END EA1;
ACCEPT EA2 (I : IN OUT INTEGER) DO
I := I + 1;
END EA2;
END TA1;
BEGIN
TA1.EA1 (PI.ALL);
TA1.EA2 (PI.ALL);
PI.ALL := PI.ALL + 1;
IF (PI.ALL /= 9) THEN
FAILED ("ASSIGNMENT TO COMPONENT OF " &
"INTEGER ACCESS PARAMETER " &
"FAILED");
END IF;
END;
END EA;
END TA;
BEGIN
PI := NEW INTEGER'(0);
TA.EA (PI);
END;
DECLARE
TYPE TBL IS ARRAY (1..3) OF INTEGER;
TYPE PTRTBL IS ACCESS TBL;
PT : PTRTBL;
TASK TB IS
ENTRY EB (PT : IN PTRTBL);
END TB;
TASK BODY TB IS
BEGIN
ACCEPT EB (PT : IN PTRTBL) DO
DECLARE
TASK TB1 IS
ENTRY EB1 (T : OUT TBL);
ENTRY EB2 (T : IN OUT TBL);
ENTRY EB3 (I : OUT INTEGER);
ENTRY EB4 (I : IN OUT INTEGER);
END TB1;
TASK BODY TB1 IS
BEGIN
ACCEPT EB1 (T : OUT TBL) DO
T := (1,2,3);
END EB1;
ACCEPT EB2 (T : IN OUT TBL) DO
T(3) := T(3) - 1;
END EB2;
ACCEPT EB3 (I : OUT INTEGER) DO
I := 7;
END EB3;
ACCEPT EB4 (I : IN OUT INTEGER) DO
I := I + 1;
END EB4;
END TB1;
BEGIN
TB1.EB1 (PT.ALL); TB1.EB2 (PT.ALL); TB1.EB3 (PT(2)); TB1.EB4 (PT(1)); PT(3) := PT(3) + 7; IF (PT.ALL /= (2,7,9)) THEN
FAILED ("ASSIGNMENT TO COMPONENT OF " &
"ARRAY ACCESS PARAMETER FAILED");
END IF;
END;
END EB;
END TB;
BEGIN
PT := NEW TBL'(0,0,0);
TB.EB (PT);
END;
DECLARE
TYPE REC IS
RECORD
I1 : INTEGER;
I2 : INTEGER;
I3 : INTEGER;
END RECORD;
TYPE PTRREC IS ACCESS REC;
PR : PTRREC;
TASK TC IS
ENTRY EC (PR : IN PTRREC);
END TC;
TASK BODY TC IS
BEGIN
ACCEPT EC (PR : IN PTRREC) DO
DECLARE
TASK TC1 IS
ENTRY EC1 (R : OUT REC);
ENTRY EC2 (R : IN OUT REC);
ENTRY EC3 (I : OUT INTEGER);
ENTRY EC4 (I : IN OUT INTEGER);
END TC1;
TASK BODY TC1 IS
BEGIN
ACCEPT EC1 (R : OUT REC) DO
R := (1,2,3);
END EC1;
ACCEPT EC2 (R : IN OUT REC) DO
R.I3 := R.I3 - 1;
END EC2;
ACCEPT EC3 (I : OUT INTEGER) DO
I := 7;
END EC3;
ACCEPT EC4 (I : IN OUT INTEGER) DO
I := I + 1;
END EC4;
END TC1;
BEGIN
TC1.EC1 (PR.ALL); TC1.EC2 (PR.ALL); TC1.EC3 (PR.I2); TC1.EC4 (PR.I1); PR.I3 := PR.I3 + 7; IF (PR.ALL /= (2,7,9)) THEN
FAILED ("ASSIGNMENT TO COMPONENT OF " &
"RECORD ACCESS PARAMETER " &
"FAILED");
END IF;
END;
END EC;
END TC;
BEGIN
PR := NEW REC'(0,0,0);
TC.EC (PR);
END;
RESULT;
END C95071A;