WITH SYSTEM; USE SYSTEM;
WITH REPORT; USE REPORT;
PROCEDURE CC1221D IS
SUBTYPE SUBINT IS INTEGER RANGE -100 .. 100;
TYPE INT IS RANGE -300 .. 300;
SUBTYPE SINT1 IS INT
RANGE INT (IDENT_INT (-4)) .. INT (IDENT_INT (4));
TYPE INT1 IS RANGE -6 .. 6;
BEGIN
TEST ( "CC1221D", "FOR A FORMAL INTEGER TYPE, CHECK THAT THE " &
"FOLLOWING BASIC OPERATIONS ARE IMPLICITLY " &
"DECLARED AND ARE THEREFORE AVAILABLE " &
"WITHIN THE GENERIC UNIT: EXPLICIT " &
"CONVERSION TO AND FROM REAL TYPES AND " &
"IMPLICIT CONVERSION FROM INTEGER LITERALS");
DECLARE
GENERIC
TYPE T IS RANGE <>;
PROCEDURE P (STR : STRING);
PROCEDURE P (STR : STRING) IS
TYPE FIXED IS DELTA 0.1 RANGE -100.0 .. 100.0;
FI0 : FIXED := 0.0;
FI2 : FIXED := 2.0;
FIN2 : FIXED := -2.0;
FL0 : FLOAT := 0.0;
FL2 : FLOAT := 2.0;
FLN2 : FLOAT := -2.0;
T0 : T := 0;
T2 : T := 2;
TN2 : T := -2;
FUNCTION IDENT (X : T) RETURN T IS
BEGIN
IF EQUAL (3, 3) THEN
RETURN X;
ELSE
RETURN T'FIRST;
END IF;
END IDENT;
BEGIN
IF T0 + 1 /= 1 THEN
FAILED ( "INCORRECT RESULTS FOR IMPLICIT " &
"CONVERSION WITH TYPE " & STR & " - 1" );
END IF;
IF T2 + 1 /= 3 THEN
FAILED ( "INCORRECT RESULTS FOR IMPLICIT " &
"CONVERSION WITH TYPE " & STR & " - 2" );
END IF;
IF TN2 + 1 /= -1 THEN
FAILED ( "INCORRECT RESULTS FOR IMPLICIT " &
"CONVERSION WITH TYPE " & STR & " - 3" );
END IF;
IF T (FI0) /= T0 THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FIXED VALUE 0.0 WITH TYPE " & STR);
END IF;
IF T (FI2) /= IDENT (T2) THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FIXED VALUE 2.0 WITH TYPE " & STR);
END IF;
IF T (FIN2) /= TN2 THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FIXED VALUE -2.0 WITH TYPE " & STR);
END IF;
IF T (FL0) /= IDENT (T0) THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FLOAT VALUE 0.0 WITH TYPE " & STR);
END IF;
IF T (FL2) /= T2 THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FLOAT VALUE 2.0 WITH TYPE " & STR);
END IF;
IF T (FLN2) /= IDENT (TN2) THEN
FAILED ( "INCORRECT CONVERSION FROM " &
"FLOAT VALUE -2.0 WITH TYPE " & STR);
END IF;
IF FIXED (T0) /= FI0 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FIXED VALUE 0.0 WITH TYPE " & STR);
END IF;
IF FIXED (IDENT (T2)) /= FI2 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FIXED VALUE 2.0 WITH TYPE " & STR);
END IF;
IF FIXED (TN2) /= FIN2 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FIXED VALUE -2.0 WITH TYPE " & STR);
END IF;
IF FLOAT (IDENT (T0)) /= FL0 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FLOAT VALUE 0.0 WITH TYPE " & STR);
END IF;
IF FLOAT (T2) /= FL2 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FLOAT VALUE 2.0 WITH TYPE " & STR);
END IF;
IF FLOAT (IDENT (TN2)) /= FLN2 THEN
FAILED ( "INCORRECT CONVERSION TO " &
"FLOAT VALUE -2.0 WITH TYPE " & STR);
END IF;
END P;
PROCEDURE P1 IS NEW P (SUBINT);
PROCEDURE P2 IS NEW P (SINT1);
PROCEDURE P3 IS NEW P (INT1);
BEGIN
P1 ( "SUBINT" );
P2 ( "SINT" );
P3 ( "INT1" );
END;
RESULT;
END CC1221D;