WITH REPORT; USE REPORT;
PROCEDURE C83023A IS
GENERIC
TYPE T IS PRIVATE;
X : T;
FUNCTION GEN_FUN RETURN T;
FUNCTION GEN_FUN RETURN T IS
BEGIN
RETURN X;
END GEN_FUN;
BEGIN
TEST ("C83023A", "CHECK THAT A DECLARATION IN A DECLARATIVE " &
"REGION OF A TASK HIDES AN OUTER " &
"DECLARATION OF A HOMOGRAPH");
ONE:
DECLARE A : INTEGER := IDENT_INT(2);
B : INTEGER := A;
TASK INNER IS
ENTRY HERE (X : IN OUT INTEGER);
END INNER;
TASK BODY INNER IS
C : INTEGER := A;
A : INTEGER := IDENT_INT(3);
BEGIN
ACCEPT HERE (X : IN OUT INTEGER) DO
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH" &
" - 1");
END IF;
IF ONE.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH" &
" - 2");
END IF;
IF ONE.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 EQUAL(1,1) THEN
X := A;
ELSE
X := ONE.A;
END IF;
END HERE;
END INNER;
BEGIN INNER.HERE(A);
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 6");
END IF;
END ONE;
TWO:
DECLARE TASK INNER IS
ENTRY HERE (X : IN OUT INTEGER);
END INNER;
A : INTEGER := IDENT_INT(2);
B : INTEGER := A;
TASK BODY INNER IS
C : INTEGER := A;
A : INTEGER := IDENT_INT(3);
BEGIN
ACCEPT HERE (X : IN OUT INTEGER) DO
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH" &
" - 10");
END IF;
IF TWO.A /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH" &
" - 11");
END IF;
IF TWO.B /= IDENT_INT(2) THEN
FAILED ("INCORRECT VALUE FOR OUTER VARIABLE " &
"- 12");
END IF;
IF C /= IDENT_INT(2) 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 EQUAL(1,1) THEN
X := A;
ELSE
NULL;
END IF;
END HERE;
END INNER;
BEGIN INNER.HERE(A);
IF A /= IDENT_INT(3) THEN
FAILED ("INCORRECT VALUE PASSED OUT - 15");
END IF;
END TWO;
THREE:
DECLARE
OBJ : INTEGER := 1;
FLO : FLOAT := 5.0;
FUNCTION F IS NEW GEN_FUN (INTEGER, OBJ);
TASK INNER IS
ENTRY HERE (X : IN OUT INTEGER);
END INNER;
FUNCTION F IS NEW GEN_FUN (FLOAT, FLO);
TASK BODY INNER IS
F : FLOAT := 6.25;
BEGIN
ACCEPT HERE (X : IN OUT INTEGER) DO
X := INTEGER(F);
END HERE;
END INNER;
BEGIN
INNER.HERE (OBJ);
IF OBJ /= IDENT_INT(6) THEN
FAILED ("INCORRECT VALUE RETURNED FROM FUNCTION - 20");
END IF;
END THREE;
RESULT;
END C83023A;