WITH REPORT;
PROCEDURE C62002A IS
USE REPORT;
BEGIN
TEST ("C62002A", "CHECK THAT COMPONENTS OF ACCESS IN PARAMETERS" &
" MAY BE USED IN ASSIGNMENT CONTEXTS");
DECLARE
TYPE PTRINT IS ACCESS INTEGER;
PI : PTRINT;
PROCEDURE PROCA (PI : IN PTRINT) IS
PROCEDURE PROCA1 (I : OUT INTEGER) IS
BEGIN
I := 7;
END PROCA1;
PROCEDURE PROCA2 (I : IN OUT INTEGER) IS
BEGIN
I := I + 1;
END PROCA2;
BEGIN
PROCA1 (PI.ALL);
PROCA2 (PI.ALL);
PI.ALL := PI.ALL + 1;
IF (PI.ALL /= 9) THEN
FAILED ("ASSIGNMENT TO COMPONENT OF INTEGER" &
" ACCESS PARAMETER FAILED");
END IF;
END PROCA;
BEGIN
PI := NEW INTEGER '(0);
PROCA (PI);
END;
DECLARE
TYPE TBL IS ARRAY (1..3) OF INTEGER;
TYPE PTRTBL IS ACCESS TBL;
PT : PTRTBL;
PROCEDURE PROCB (PT : IN PTRTBL) IS
PROCEDURE PROCB1 (I : OUT INTEGER) IS
BEGIN
I := 7;
END PROCB1;
PROCEDURE PROCB2 (I : IN OUT INTEGER) IS
BEGIN
I := I + 1;
END PROCB2;
PROCEDURE PROCB3 (T : OUT TBL) IS
BEGIN
T := (1,2,3);
END PROCB3;
PROCEDURE PROCB4 (T : IN OUT TBL) IS
BEGIN
T(3) := T(3) - 1;
END PROCB4;
BEGIN
PROCB3 (PT.ALL); PROCB4 (PT.ALL); PROCB1 (PT(2)); PROCB2 (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 PROCB;
BEGIN
PT := NEW TBL '(0,0,0);
PROCB (PT);
END;
DECLARE
TYPE REC IS
RECORD
I1 : INTEGER;
I2 : INTEGER;
I3 : INTEGER;
END RECORD;
TYPE PTRREC IS ACCESS REC;
PR : PTRREC;
PROCEDURE PROCC (PR : IN PTRREC) IS
PROCEDURE PROCC1 (I : OUT INTEGER) IS
BEGIN
I := 7;
END PROCC1;
PROCEDURE PROCC2 (I : IN OUT INTEGER) IS
BEGIN
I := I + 1;
END PROCC2;
PROCEDURE PROCC3 (R : OUT REC) IS
BEGIN
R := (1,2,3);
END PROCC3;
PROCEDURE PROCC4 (R : IN OUT REC) IS
BEGIN
R.I3 := R.I3 - 1;
END PROCC4;
BEGIN
PROCC3 (PR.ALL); PROCC4 (PR.ALL); PROCC1 (PR.I2); PROCC2 (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 PROCC;
BEGIN
PR := NEW REC '(0,0,0);
PROCC (PR);
END;
RESULT;
END C62002A;