WITH REPORT; USE REPORT;
PROCEDURE CD2A32I IS
TYPE BASIC_INT IS RANGE -63 .. 63;
BASIC_SIZE : CONSTANT := 7;
FOR BASIC_INT'SIZE USE BASIC_SIZE;
BEGIN
TEST ("CD2A32I", "CHECK THAT WHEN A SIZE SPECIFICATION " &
"OF THE SMALLEST APPROPRIATE SIGNED SIZE " &
"IS GIVEN FOR AN INTEGER TYPE, " &
"THE TYPE " &
"CAN BE PASSED AS AN ACTUAL PARAMETER TO " &
"GENERIC PROCEDURES");
DECLARE
GENERIC
TYPE GPARM IS RANGE <>;
PROCEDURE GENPROC;
PROCEDURE GENPROC IS
SUBTYPE INT IS GPARM;
I1 : INT := -63;
I2 : INT := 0;
I3 : INT := 63;
FUNCTION IDENT (I : INT) RETURN INT IS
BEGIN
IF EQUAL (0,0) THEN
RETURN I;
ELSE
RETURN 0;
END IF;
END IDENT;
BEGIN
IF INT'SIZE /= IDENT_INT (BASIC_SIZE) THEN
FAILED ("INCORRECT VALUE FOR INT'SIZE");
END IF;
IF I1'SIZE < IDENT_INT (BASIC_SIZE) THEN
FAILED ("INCORRECT VALUE FOR I1'SIZE");
END IF;
FOR I IN IDENT (I1) .. IDENT (I3) LOOP
IF NOT (I IN I1 .. I3) OR
(I NOT IN IDENT(-63) .. IDENT(63)) THEN
FAILED ("INCORRECT RESULTS FOR MEMBERSHIP " &
"OPERATORS");
END IF;
END LOOP;
IF NOT ((+I1 = I1) AND
(-I3 = I1) AND
(ABS I1 = I3)) THEN
FAILED ("INCORRECT RESULTS FOR UNARY ARITHMETIC " &
"OPERATORS");
END IF;
IF INT'LAST /= IDENT (63) THEN
FAILED ("INCORRECT VALUE FOR INT'LAST");
END IF;
IF INT'VAL (-63) /= IDENT (I1) OR
INT'VAL (0) /= IDENT (I2) OR
INT'VAL (63) /= IDENT (I3) THEN
FAILED ("INCORRECT VALUE FOR INT'VAL");
END IF;
IF INT'PRED (I2) /= IDENT (-1) OR
INT'PRED (I3) /= IDENT (62) THEN
FAILED ("INCORRECT VALUE FOR INT'PRED");
END IF;
IF INT'VALUE ("-63") /= IDENT (I1) OR
INT'VALUE (" 0") /= IDENT (I2) OR
INT'VALUE (" 63") /= IDENT (I3) THEN
FAILED ("INCORRECT VALUE FOR INT'VALUE");
END IF;
END GENPROC;
PROCEDURE NEWPROC IS NEW GENPROC (BASIC_INT);
BEGIN
NEWPROC;
END;
RESULT;
END CD2A32I;