WITH REPORT; USE REPORT;
PROCEDURE C45252A IS
TYPE MIDDLE_M3 IS DELTA 0.5 RANGE 0.0 .. 2.5;
TYPE LIKE_DURATION_M23 IS DELTA 0.020 RANGE -86_400.0 .. 86_400.0;
BEGIN
TEST ("C45252A", "CHECK RAISING OF EXCEPTIONS BY RELATIONAL " &
"OPERATIONS FOR FIXED POINT TYPES - BASIC TYPES");
BEGIN
IF 2.9E9 <= LIKE_DURATION_M23'LAST THEN
FAILED ("2.9E9 <= LIKE_DURATION_M23'LAST");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED BY COMPARISON " &
"""2.9E9 <= LIKE_DURATION_M23'LAST""");
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED BY COMPARISON " &
"""2.9E9 <= LIKE_DURATION_M23'LAST""");
END;
BEGIN
IF 1.0E19 IN LIKE_DURATION_M23 THEN
FAILED ("1.0E19 IN LIKE_DURATION_M23");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
"""1.0E19 IN LIKE_DURATION_M23""");
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED BY MEMBERSHIP TEST " &
"""1.0E19 IN LIKE_DURATION_M23""");
END;
BEGIN
IF 1.0E19 <= MIDDLE_M3'LAST THEN
FAILED ("1.0E19 <= MIDDLE_M3'LAST");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED BY COMPARISON " &
"""1.0E19 <= MIDDLE_M3'LAST""");
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED BY COMPARISON " &
"""1.0E19 <= MIDDLE_M3'LAST""");
END;
BEGIN
IF 2.9E9 IN MIDDLE_M3 THEN
FAILED ("2.9E9 IN MIDDLE_M3");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
COMMENT ("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
"""2.9E9 IN MIDDLE_M3""");
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED BY MEMBERSHIP TEST " &
"""2.9E9 IN MIDDLE_M3""");
END;
BEGIN
IF 3.5 <= MIDDLE_M3'LAST THEN
FAILED ("3.5 <= MIDDLE_M3'LAST");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CONSTRAINT_ERROR RAISED BY COMPARISON " &
"""3.5 <= MIDDLE_M3'LAST""");
WHEN OTHERS =>
FAILED ("SOME EXCEPTION RAISED BY COMPARISON " &
"""3.5 <= MIDDLE_M3'LAST""");
END;
BEGIN
IF 3.0 IN MIDDLE_M3 THEN
FAILED ("3.0 IN MIDDLE_M3");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
"""3.0 IN MIDDLE_M3""");
WHEN OTHERS =>
FAILED ("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
"""3.0 IN MIDDLE_M3""");
END;
BEGIN
IF 86_450.0 <= LIKE_DURATION_M23'LAST THEN
FAILED ("86_450.0 <= LIKE_DURATION_M23'LAST");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CONSTRAINT_ERROR RAISED BY COMPARISON " &
"""86_450.0 <= LIKE_DURATION_M23'LAST""");
WHEN OTHERS =>
FAILED ("SOME EXCEPTION RAISED BY COMPARISON " &
"""86_450.0 <= LIKE_DURATION_M23'LAST""");
END;
BEGIN
IF 86_500.0 IN LIKE_DURATION_M23 THEN
FAILED ("86_500.0 IN LIKE_DURATION_M23");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
"""86_500.0 IN LIKE_DURATION_M23""");
WHEN OTHERS =>
FAILED ("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
"""86_500.0 IN LIKE_DURATION_M23""");
END;
BEGIN
IF -86_450.0 IN LIKE_DURATION_M23 THEN
FAILED ("-86_450.0 IN LIKE_DURATION_M23");
END IF;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
FAILED ("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
"""-86_450.0 IN LIKE_DURATION_M23""");
WHEN OTHERS =>
FAILED ("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
"""-86_450.0 IN LIKE_DURATION_M23""");
END;
RESULT;
END C45252A;