PACKAGE OTHER_PKG IS
I : INTEGER := 4;
FUNCTION F (X : INTEGER) RETURN INTEGER;
END OTHER_PKG;
PACKAGE BODY OTHER_PKG IS
FUNCTION F (X : INTEGER) RETURN INTEGER IS
BEGIN
RETURN X + 1;
END F;
END OTHER_PKG;
WITH REPORT, OTHER_PKG;
USE REPORT, OTHER_PKG;
PRAGMA ELABORATE (OTHER_PKG);
PACKAGE CA1108A_PKG IS
J : INTEGER := 2;
PROCEDURE PROC;
PROCEDURE CALL_SUBS (X, Y : IN OUT INTEGER);
END CA1108A_PKG;
PACKAGE BODY CA1108A_PKG IS
PROCEDURE SUB (X, Y : IN OUT INTEGER) IS SEPARATE;
PROCEDURE PROC IS
Y : INTEGER := 2;
BEGIN
Y := OTHER_PKG.I;
IF Y /= 4 THEN
FAILED ("OTHER_PKG VARIABLE NOT VISIBLE " &
"IN PACKAGE BODY PROCEDURE");
END IF;
END PROC;
PROCEDURE CALL_SUBS (X, Y : IN OUT INTEGER) IS
BEGIN
SUB (X, Y);
END CALL_SUBS;
BEGIN
J := F(J); IF J /= 3 THEN
FAILED ("OTHER_PKG FUNCTION NOT VISIBLE IN " &
"PACKAGE BODY");
END IF;
END CA1108A_PKG;
WITH REPORT, CA1108A_PKG;
USE REPORT, CA1108A_PKG;
PROCEDURE CA1108A IS
VAR1, VAR2 : INTEGER;
BEGIN
TEST ("CA1108A", "WITH_ AND USE_CLAUSES GIVEN FOR A PACKAGE " &
"SPEC APPLY TO THE BODY AND ITS SUBUNITS");
PROC;
VAR1 := 1;
VAR2 := 1;
CALL_SUBS (VAR1, VAR2);
IF VAR1 /= 4 THEN
FAILED ("OTHER_PKG VARIABLE NOT VISIBLE IN SUBUNIT");
END IF;
IF VAR2 /= 6 THEN
FAILED ("OTHER_PKG FUNCTION NOT VISIBLE IN SUBUNIT " &
"OF SUBUNIT");
END IF;
RESULT;
END CA1108A;
SEPARATE (CA1108A_PKG)
PROCEDURE SUB (X, Y : IN OUT INTEGER) IS
PROCEDURE SUB2 (Z : IN OUT INTEGER) IS SEPARATE;
BEGIN
X := I;
SUB2 (Y);
END SUB;
SEPARATE (CA1108A_PKG.SUB)
PROCEDURE SUB2 (Z : IN OUT INTEGER) IS
I : INTEGER := 5;
BEGIN
Z := OTHER_PKG.F(I);
END SUB2;