WITH REPORT; USE REPORT;
PROCEDURE C74401Q IS
PACKAGE PKG IS
TYPE LP IS LIMITED PRIVATE;
GENERIC
PROCEDURE P20 (X : OUT LP); PROCEDURE RESET (X : OUT LP);
FUNCTION EQ (L, R : LP) RETURN BOOLEAN;
VAL1 : CONSTANT LP;
PACKAGE NESTED IS
GENERIC
PROCEDURE NEST1 (X : OUT LP);
PRIVATE
GENERIC
PROCEDURE NEST2 (X : OUT LP);
END NESTED;
PRIVATE
TYPE LP IS NEW INTEGER;
VAL1 : CONSTANT LP := LP(IDENT_INT(3));
END PKG;
VAR : PKG.LP;
PACKAGE BODY PKG IS
PROCEDURE P20 (X : OUT LP) IS
BEGIN
X := 3;
END P20;
PROCEDURE RESET (X : OUT LP) IS
BEGIN
X := 0;
END RESET;
FUNCTION EQ (L, R : LP) RETURN BOOLEAN IS
BEGIN
RETURN L = R;
END EQ;
PACKAGE BODY NESTED IS
PROCEDURE NEST1 (X : OUT LP) IS
BEGIN
X := 3;
END NEST1;
PROCEDURE NEST2 (X : OUT LP) IS
BEGIN
X := LP(IDENT_INT(3));
END NEST2;
END NESTED;
BEGIN
VAR := LP(IDENT_INT(0));
END PKG;
PACKAGE INSTANCES IS
PROCEDURE NP20 IS NEW PKG.P20;
PROCEDURE NNEST1 IS NEW PKG.NESTED.NEST1;
END INSTANCES;
USE INSTANCES;
PACKAGE PKG1 IS
PROCEDURE P21 (X : OUT PKG.LP) RENAMES INSTANCES.NP20;
END PKG1;
BEGIN
TEST ("C74401Q", "CHECK THAT A PROCEDURE CAN HAVE AN OUT " &
"PARAMETER WITH A LIMITED PRIVATE TYPE");
PKG.RESET (VAR);
NP20 (VAR);
IF NOT PKG.EQ (VAR, PKG.VAL1) THEN
FAILED ("DIRECT CALL NOT CORRECT");
END IF;
PKG.RESET (VAR);
PKG1.P21 (VAR);
IF NOT PKG.EQ (VAR, PKG.VAL1) THEN
FAILED ("RENAMED CALL NOT CORRECT");
END IF;
RESULT;
END C74401Q;