WITH REPORT;
PROCEDURE C61009A IS
USE REPORT;
TYPE INT IS RANGE 1 .. 10;
TYPE ARR IS ARRAY (INTEGER RANGE <>) OF INTEGER;
TYPE RECTYPE (CONSTRAINT : INTEGER) IS
RECORD
A : ARR (0..CONSTRAINT);
END RECORD;
C7 : CONSTANT INTEGER := 7;
V7 : INTEGER := 7;
TYPE A_INT IS ACCESS INTEGER;
C_A : CONSTANT A_INT := NEW INTEGER'(7);
SUBTYPE RECTYPE1 IS RECTYPE (2 + 5);
SUBTYPE RECTYPE2 IS RECTYPE (C7);
SUBTYPE RECTYPE3 IS RECTYPE (V7);
FUNCTION "&" (X,Y : INTEGER) RETURN INTEGER IS
BEGIN
RETURN 10;
END "&";
FUNCTION FUNC (X : INTEGER) RETURN INTEGER IS
BEGIN
RETURN X;
END FUNC;
PROCEDURE PROC1 (REC : RECTYPE1 := (3+4,(0,1,2,3,4,5,6,7))) IS
BEGIN
IF (REC /= (7,(0,1,2,3,4,5,6,7))) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC1 PARAMETER");
END IF;
END PROC1;
PROCEDURE PROC2 (REC : RECTYPE2 := (C7,(0,1,2,3,4,5,6,7))) IS
BEGIN
IF (REC /= (C7,(0,1,2,3,4,5,6,7))) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC2 PARAMETER");
END IF;
END PROC2;
PROCEDURE PROC3 (P1 : INT := INT'LAST) IS
BEGIN
IF (P1 /= INT (10)) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC3 PARAMETER");
END IF;
END PROC3;
PROCEDURE PROC4 (P4 : RECTYPE3 := (V7,(0,1,2,3,4,5,6,7))) IS
BEGIN
IF (P4 /= (V7,(0,1,2,3,4,5,6,7))) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC4 PARAMETER");
END IF;
END PROC4;
PROCEDURE PROC5 (P5 : INTEGER := C_A.ALL) IS
BEGIN
IF(P5 /= C_A.ALL) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC5 PARAMETER");
END IF;
END PROC5;
PROCEDURE PROC6 (P6 : INTEGER := 6&4) IS
BEGIN
IF (P6 /= IDENT_INT(10)) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC6 PARAMETER");
END IF;
END PROC6;
PROCEDURE PROC7 (P7 : INTEGER := FUNC(10)) IS
BEGIN
IF (P7 /= IDENT_INT(10)) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC7 PARAMETER");
END IF;
END PROC7;
PROCEDURE PROC8 (P8 : A_INT := NEW INTEGER'(7)) IS
BEGIN
IF (P8.ALL /= IDENT_INT(7)) THEN
FAILED ("INCORRECT DEFAULT VALUE FOR PROC8 PARAMETER");
END IF;
END PROC8;
BEGIN
TEST ("C61009A", "CHECK USE OF STATIC EXPRESSIONS, CONSTANT " &
"NAMES, ATTRIBUTE NAMES, VARIABLES, USER- " &
"DEFINED OPERATORS, USER-DEFINED FUNCTIONS " &
"DEREFERENCED ACCESSES, AND ALLOCATORS IN " &
"THE FORMAL PART OF A SUBPROGRAM SPECIFICATION");
PROC1;
PROC2;
PROC3;
PROC4;
PROC5;
PROC6;
PROC7;
PROC8;
RESULT;
END C61009A;