WITH REPORT; USE REPORT;
PRAGMA ELABORATE(REPORT);
PACKAGE C83025C_PACK IS
Y : INTEGER := IDENT_INT(5);
Z : INTEGER := Y;
GENERIC
TYPE T IS PRIVATE;
X : T;
FUNCTION GEN_FUN RETURN T;
A : INTEGER := IDENT_INT(2);
B : INTEGER := A;
OBJ : INTEGER := IDENT_INT(3);
FLO : FLOAT := 5.0;
TYPE ENUM IS (ONE, TWO, THREE, FOUR);
EOBJ : ENUM := ONE;
GENERIC
Y : FLOAT := 2.0;
PROCEDURE INNER (X : IN OUT INTEGER);
GENERIC
Y : BOOLEAN := TRUE;
PROCEDURE INNER2 (X : IN INTEGER := A;
A : IN OUT INTEGER);
GENERIC
Y : ENUM := ONE;
FUNCTION INNER3 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER;
GENERIC
Y : ENUM;
FUNCTION INNER4 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER;
GENERIC
Y : CHARACTER := 'A';
PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT;
Z : CHARACTER := Y);
END C83025C_PACK;
PACKAGE BODY C83025C_PACK IS
FUNCTION GEN_FUN RETURN T IS
BEGIN
RETURN X;
END GEN_FUN;
FUNCTION F IS NEW GEN_FUN (INTEGER, OBJ);
FUNCTION F IS NEW GEN_FUN (FLOAT, FLO);
PROCEDURE INNER (X : IN OUT INTEGER) IS SEPARATE;
PROCEDURE INNER2 (X : IN INTEGER := C83025C_PACK.A;
A : IN OUT INTEGER) IS SEPARATE;
FUNCTION INNER3 (X : INTEGER;
Z : ENUM := Y) RETURN INTEGER IS SEPARATE;
FUNCTION INNER4 (X : INTEGER;
Z : ENUM := Y) RETURN INTEGER IS SEPARATE;
PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT;
Z : CHARACTER := Y) IS SEPARATE;
END C83025C_PACK;
SEPARATE (C83025C_PACK)
PROCEDURE INNER (X : IN OUT INTEGER) IS
C : INTEGER := A;
A : INTEGER := IDENT_INT(3);
BEGIN
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 1");
END IF;
IF C83025C_PACK.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 2");
END IF;
IF C83025C_PACK.B /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 3");
END IF;
IF C /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 4");
END IF;
IF X /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE PASSED IN - 5");
END IF;
IF Y /= 2.0 THEN
FAILED ("INCORRECT VALUE INNER HOMOGRAPH - 6");
END IF;
IF EQUAL(1,1) THEN
X := A;
ELSE
X := C83025C_PACK.A;
END IF;
END INNER;
SEPARATE (C83025C_PACK)
PROCEDURE INNER2 (X : IN INTEGER := C83025C_PACK.A;
A : IN OUT INTEGER) IS
C : INTEGER := A;
BEGIN
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 10");
END IF;
IF C83025C_PACK.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 11");
END IF;
IF C83025C_PACK.B /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 12");
END IF;
IF C /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 13");
END IF;
IF X /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE PASSED IN - 14");
END IF;
IF Y /= TRUE THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 15");
END IF;
IF EQUAL(1,1) THEN
A := IDENT_INT(4);
ELSE
A := 1;
END IF;
END INNER2;
SEPARATE (C83025C_PACK)
FUNCTION INNER3 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS
C : INTEGER := A;
A : INTEGER := IDENT_INT(3);
BEGIN
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 20");
END IF;
IF C83025C_PACK.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 21");
END IF;
IF C83025C_PACK.B /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 22");
END IF;
IF C /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 23");
END IF;
IF X /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE PASSED IN - 24");
END IF;
IF Y /= ONE THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 25");
END IF;
IF Z /= ONE THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 26");
END IF;
IF EQUAL(1,1) THEN
RETURN A;
ELSE
RETURN X;
END IF;
END INNER3;
SEPARATE (C83025C_PACK)
FUNCTION INNER4 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS
C : INTEGER := A;
A : INTEGER := IDENT_INT(3);
BEGIN
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 30");
END IF;
IF C83025C_PACK.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 31");
END IF;
IF C83025C_PACK.B /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 32");
END IF;
IF C /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 33");
END IF;
IF X /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE PASSED IN - 34");
END IF;
IF Y /= ONE THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 35");
END IF;
IF Z /= ONE THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 36");
END IF;
IF EQUAL(1,1) THEN
RETURN A;
ELSE
RETURN X;
END IF;
END INNER4;
SEPARATE (C83025C_PACK)
PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT;
Z : CHARACTER := Y) IS
BEGIN
X := INTEGER(F);
IF Y /= 'A' THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 40");
END IF;
IF Z /= 'A' THEN
FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 41");
END IF;
END INNER5;
WITH REPORT; USE REPORT;
WITH C83025C_PACK; USE C83025C_PACK;
PROCEDURE C83025C IS
PROCEDURE NEW_INNER IS NEW INNER;
PROCEDURE NEW_INNER2 IS NEW INNER2;
FUNCTION NEW_INNER3 IS NEW INNER3;
FUNCTION NEW_INNER4 IS NEW INNER4 (Y => EOBJ);
PROCEDURE NEW_INNER5 IS NEW INNER5;
BEGIN
TEST ("C83025C", "CHECK THAT A DECLARATION IN A DECLARATIVE " &
"REGION OF A GENERIC SUBPROGRAM HIDES AN OUTER " &
"DECLARATION OF A HOMOGRAPH");
A := IDENT_INT(2);
B := A;
NEW_INNER (A);
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 7");
END IF;
A := IDENT_INT(2);
NEW_INNER2 (A => OBJ);
IF OBJ /= IDENT_INT(4) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 16");
END IF;
A := IDENT_INT(2);
B := A;
IF NEW_INNER3(A) /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 27");
END IF;
A := IDENT_INT(2);
B := A;
IF NEW_INNER4(A) /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 37");
END IF;
OBJ := 1;
FLO := 6.25;
NEW_INNER5 (OBJ, FLO);
IF OBJ /= IDENT_INT(6) THEN
FAILED ("INCORRECT VALUE RETURNED FROM FUNCTION - 42");
END IF;
IF Y /= 5 THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 50");
END IF;
IF Z /= 5 THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 51");
END IF;
RESULT;
END C83025C;