WITH REPORT; USE REPORT;
PROCEDURE CD2A32J IS
TYPE BASIC_INT IS RANGE 0 .. 126;
BASIC_SIZE : CONSTANT := 7;
FOR BASIC_INT'SIZE USE BASIC_SIZE;
BEGIN
TEST ("CD2A32J", "CHECK THAT WHEN A SIZE SPECIFICATION " &
"OF THE SMALLEST APPROPRIATE UNSIGNED 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;
I0 : INT := 0;
I1 : INT := 63;
I2 : INT := 126;
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 I0'SIZE < IDENT_INT (BASIC_SIZE) THEN
FAILED ("INCORRECT VALUE FOR I0'SIZE");
END IF;
IF NOT ((I0 < IDENT (1)) AND
(IDENT (I2) > IDENT (I1)) AND
(I1 <= IDENT (63)) AND
(IDENT (126) = I2)) THEN
FAILED ("INCORRECT RESULTS FOR RELATIONAL " &
"OPERATORS");
END IF;
IF NOT (((I0 + I2) = I2) AND
((I2 - I1) = I1) AND
((I1 * IDENT (2)) = I2) AND
((I2 / I1) = IDENT (2)) AND
((I1 ** 1) = IDENT (63)) AND
((I2 REM 10) = IDENT (6)) AND
((I1 MOD 10) = IDENT (3))) THEN
FAILED ("INCORRECT RESULTS FOR BINARY ARITHMETIC " &
"OPERATORS");
END IF;
IF INT'POS (I0) /= IDENT_INT (0) OR
INT'POS (I1) /= IDENT_INT (63) OR
INT'POS (I2) /= IDENT_INT (126) THEN
FAILED ("INCORRECT VALUE FOR INT'POS");
END IF;
IF INT'SUCC (I0) /= IDENT (1) OR
INT'SUCC (I1) /= IDENT (64) THEN
FAILED ("INCORRECT VALUE FOR INT'SUCC");
END IF;
IF INT'IMAGE (I0) /= IDENT_STR (" 0") OR
INT'IMAGE (I1) /= IDENT_STR (" 63") OR
INT'IMAGE (I2) /= IDENT_STR (" 126") THEN
FAILED ("INCORRECT VALUE FOR INT'IMAGE");
END IF;
END GENPROC;
PROCEDURE NEWPROC IS NEW GENPROC (BASIC_INT);
BEGIN
NEWPROC;
END;
RESULT;
END CD2A32J;