WITH REPORT; USE REPORT;
PROCEDURE C95089A IS
SUBTYPE INT IS INTEGER RANGE 1..3;
TYPE REC (N : INT) IS
RECORD
S : STRING (1..N);
END RECORD;
TYPE PTRSTR IS ACCESS STRING;
R1, R2, R3 : REC (3);
S1, S2, S3 : STRING (1..3);
PTRTBL : ARRAY (1..3) OF PTRSTR;
TASK T1 IS
ENTRY E1 (S1 : IN STRING; S2: IN OUT STRING;
S3 : OUT STRING);
END T1;
TASK BODY T1 IS
BEGIN
LOOP
SELECT
ACCEPT E1 (S1 : IN STRING; S2: IN OUT STRING;
S3 : OUT STRING) DO
S3 := S2;
S2 := S1;
END E1;
OR
TERMINATE;
END SELECT;
END LOOP;
END T1;
TASK T2 IS
ENTRY E2 (C1 : IN CHARACTER; C2 : IN OUT CHARACTER;
C3 : OUT CHARACTER);
END T2;
TASK BODY T2 IS
BEGIN
LOOP
SELECT
ACCEPT E2 (C1 : IN CHARACTER; C2 : IN OUT CHARACTER;
C3 : OUT CHARACTER) DO
C3 := C2;
C2 := C1;
END E2;
OR
TERMINATE;
END SELECT;
END LOOP;
END T2;
FUNCTION F1 (X : INT) RETURN PTRSTR IS
BEGIN
RETURN PTRTBL (X);
END F1;
FUNCTION "+" (S1, S2 : STRING) RETURN PTRSTR IS
BEGIN
RETURN PTRTBL (CHARACTER'POS(S1(1))-CHARACTER'POS('A')+1);
END "+";
BEGIN
TEST ("C95089A", "CHECK THAT ALL PERMITTED FORMS OF VARIABLE " &
"NAMES ARE PERMITTED AS ACTUAL PARAMETERS");
S1 := "AAA";
S2 := "BBB";
T1.E1 (S1, S2, S3);
IF S2 /= "AAA" OR S3 /= "BBB" THEN
FAILED ("SIMPLE VARIABLE AS AN ACTUAL PARAMETER NOT WORKING");
END IF;
S1 := "AAA";
S2 := "BBB";
S3 := IDENT_STR ("CCC");
T2.E2 (S1(1), S2(IDENT_INT(1)), S3(1));
IF S2 /= "ABB" OR S3 /= "BCC" THEN
FAILED ("INDEXED COMPONENT AS AN ACTUAL PARAMETER NOT " &
"WORKING");
END IF;
R1.S := "AAA";
R2.S := "BBB";
T1.E1 (R1.S, R2.S, R3.S);
IF R2.S /= "AAA" OR R3.S /= "BBB" THEN
FAILED ("SELECTED COMPONENT AS AN ACTUAL PARAMETER " &
"NOT WORKING");
END IF;
S1 := "AAA";
S2 := "BBB";
T1.E1 (S1(1..IDENT_INT(2)), S2(1..2),
S3(IDENT_INT(1)..IDENT_INT(2)));
IF S2 /= "AAB" OR S3 /= "BBC" THEN
FAILED ("SLICE AS AN ACTUAL PARAMETER NOT WORKING");
END IF;
PTRTBL(1) := NEW STRING'("AAA");
PTRTBL(2) := NEW STRING'("BBB");
PTRTBL(3) := NEW STRING'("CCC");
T1.E1 (F1(1).ALL, F1(2).ALL, F1(IDENT_INT(3)).ALL);
IF PTRTBL(2).ALL /= "AAA" OR PTRTBL(3).ALL /= "BBB" THEN
FAILED ("SELECTED COMPONENT OF FUNCTION VALUE AS AN ACTUAL " &
"PARAMETER NOT WORKING");
END IF;
PTRTBL(1) := NEW STRING'("AAA");
PTRTBL(2) := NEW STRING'("BBB");
PTRTBL(3) := NEW STRING'("CCC");
S1 := IDENT_STR("AAA");
S2 := IDENT_STR("BBB");
S3 := IDENT_STR("CCC");
T1.E1 ("+"(S1,S1).ALL, "+"(S2,S2).ALL, "+"(S3,S3).ALL);
IF PTRTBL(2).ALL /= "AAA" OR PTRTBL(3).ALL /= "BBB" THEN
FAILED ("SELECTED COMPONENT OF OVERLOADED OPERATOR " &
"FUNCTION VALUE AS AN ACTUAL PARAMETER NOT WORKING");
END IF;
PTRTBL(1) := NEW STRING'("AAA");
PTRTBL(2) := NEW STRING'("BBB");
PTRTBL(3) := NEW STRING'("CCC");
T2.E2 (F1(1)(1), F1(IDENT_INT(2))(1), F1(3)(IDENT_INT(1)));
IF PTRTBL(2).ALL /= "ABB" OR PTRTBL(3).ALL /= "BCC" THEN
FAILED ("INDEXED COMPONENT OF FUNCTION VALUE AS AN ACTUAL " &
"PARAMETER NOT WORKING");
END IF;
PTRTBL(1) := NEW STRING'("AAA");
PTRTBL(2) := NEW STRING'("BBB");
PTRTBL(3) := NEW STRING'("CCC");
T1.E1 (F1(1)(2..3), F1(2)(IDENT_INT(2)..3),
F1(3)(2..IDENT_INT(3)));
IF PTRTBL(2).ALL /= "BAA" OR PTRTBL(3).ALL /= "CBB" THEN
FAILED ("SLICE OF FUNCTION VALUE AS AN ACTUAL PARAMETER " &
"NOT WORKING");
END IF;
RESULT;
END C95089A;