WITH REPORT; USE REPORT;
PROCEDURE C45651A IS
BEGIN
TEST ("C45651A", "CHECK THAT, FOR FIXED POINT TYPES, THE ABS " &
"OPERATOR PRODUCES CORRECT RESULTS - BASIC " &
"TYPES");
A: DECLARE
TYPE LIKE_DURATION_M23 IS DELTA 0.020
RANGE -86_400.0 .. 86_400.0;
NON_MODEL_CONST : CONSTANT := 2.0 / 3;
NON_MODEL_VAR : LIKE_DURATION_M23 := 0.0;
SMALL, MAX, MIN, ZERO : LIKE_DURATION_M23 := 0.5;
X : LIKE_DURATION_M23 := 1.0;
BEGIN
IF EQUAL (3, 3) THEN
SMALL := LIKE_DURATION_M23'SMALL;
MAX := LIKE_DURATION_M23'LAST;
MIN := LIKE_DURATION_M23'FIRST;
ZERO := 0.0;
NON_MODEL_VAR := NON_MODEL_CONST;
END IF;
IF EQUAL (3, 3) THEN
X := SMALL;
END IF;
IF ABS X /= SMALL OR X /= ABS LIKE_DURATION_M23'SMALL THEN
FAILED ("ABS (1.0 / 64) /= (1.0 / 64)");
END IF;
IF EQUAL (3, 3) THEN
X := MAX;
END IF;
IF ABS X /= MAX OR X /= ABS LIKE_DURATION_M23'LAST THEN
FAILED ("ABS 86_400.0 /= 86_400.0");
END IF;
IF EQUAL (3, 3) THEN
X := -SMALL;
END IF;
IF ABS X /= SMALL OR
ABS (-LIKE_DURATION_M23'SMALL) /= SMALL THEN
FAILED ("ABS -(1.0 / 64) /= (1.0 / 64)");
END IF;
IF EQUAL (3, 3) THEN
X := MIN;
END IF;
IF ABS X /= MAX OR ABS LIKE_DURATION_M23'FIRST /= MAX THEN
FAILED ("ABS -86_400.0 /= 86_400.0");
END IF;
IF EQUAL (3, 3) THEN
X := 0.0;
END IF;
IF "ABS" (RIGHT => X) /= ZERO OR X /= ABS 0.0 THEN
FAILED ("ABS 0.0 /= 0.0 -- (LIKE_DURATION_M23)");
END IF;
IF NON_MODEL_VAR NOT IN 0.65625 .. 0.671875 THEN
FAILED ("VALUE OF NON_MODEL_VAR NOT IN CORRECT RANGE " &
"- A");
END IF;
IF ABS NON_MODEL_VAR NOT IN 0.65625 .. 0.671875 OR
ABS LIKE_DURATION_M23'(NON_MODEL_CONST) NOT IN
0.65625 .. 0.671875 THEN
FAILED ("ABS (2.0 / 3) NOT IN CORRECT RANGE - A");
END IF;
IF EQUAL (3, 3) THEN
X := 86_399.992_187_5; END IF;
IF ABS X NOT IN 86_399.984_375 .. 86_400.0 OR
ABS (LIKE_DURATION_M23'LAST - LIKE_DURATION_M23'SMALL / 2)
NOT IN 86_399.984_375 .. 86_400.0 THEN
FAILED ("ABS (LIKE_DURATION_M23'LAST - " &
"LIKE_DURATION_M23'SMALL / 2) NOT IN CORRECT " &
"RANGE");
END IF;
IF EQUAL (3, 3) THEN
X := -NON_MODEL_CONST;
END IF;
IF ABS X NOT IN 0.65625 .. 0.671875 OR
ABS (-LIKE_DURATION_M23'(NON_MODEL_CONST)) NOT IN
0.65625 .. 0.671875 THEN
FAILED ("ABS (-2.0 / 3) NOT IN CORRECT RANGE - A");
END IF;
IF EQUAL (3, 3) THEN
X := -86_399.992_187_5; END IF;
IF ABS X NOT IN 86_399.984_375 .. 86_400.0 OR
ABS (LIKE_DURATION_M23'FIRST + LIKE_DURATION_M23'SMALL / 2)
NOT IN 86_399.984_375 .. 86_400.0 THEN
FAILED ("ABS (LIKE_DURATION_M23'FIRST +" &
"LIKE_DURATION_M23'SMALL / 2) NOT IN CORRECT " &
"RANGE");
END IF;
END A;
B: DECLARE
TYPE DECIMAL_M4 IS DELTA 100.0 RANGE -1000.0 .. 1000.0;
NON_MODEL_CONST : CONSTANT := 2.0 / 3;
NON_MODEL_VAR : DECIMAL_M4 := 0.0;
SMALL, MAX, MIN, ZERO : DECIMAL_M4 := 128.0;
X : DECIMAL_M4 := 0.0;
BEGIN
IF EQUAL (3, 3) THEN
SMALL := DECIMAL_M4'SMALL;
ZERO := 0.0;
NON_MODEL_VAR := NON_MODEL_CONST;
END IF;
IF EQUAL (3, 3) THEN
X := SMALL;
END IF;
IF ABS X /= SMALL OR X /= ABS DECIMAL_M4'SMALL THEN
FAILED ("ABS 64.0 /= 64.0");
END IF;
IF EQUAL (3, 3) THEN
X := -SMALL;
END IF;
IF ABS X /= SMALL OR ABS (-DECIMAL_M4'SMALL) /= SMALL THEN
FAILED ("ABS -64.0 /= 64.0");
END IF;
IF EQUAL (3, 3) THEN
X := 0.0;
END IF;
IF ABS X /= ZERO OR X /= ABS 0.0 THEN
FAILED ("ABS 0.0 /= 0.0 -- (DECIMAL_M4)");
END IF;
IF NON_MODEL_VAR NOT IN 0.0 .. 64.0 THEN
FAILED ("VALUE OF NON_MODEL_VAR NOT IN CORRECT RANGE " &
"- B");
END IF;
IF ABS NON_MODEL_VAR NOT IN 0.0 .. 64.0 OR
ABS DECIMAL_M4'(NON_MODEL_CONST) NOT IN 0.0 .. 64.0 THEN
FAILED ("ABS (2.0 / 3) NOT IN CORRECT RANGE - B");
END IF;
IF EQUAL (3, 3) THEN
X := 37.0; END IF;
IF EQUAL (3, 3) THEN
X := 928.0;
END IF;
IF EQUAL (3, 3) THEN
X := -NON_MODEL_CONST;
END IF;
IF ABS X NOT IN 0.0 .. 64.0 OR
ABS (-DECIMAL_M4'(NON_MODEL_CONST)) NOT IN 0.0 .. 64.0 THEN
FAILED ("ABS -(2.0 / 3) NOT IN CORRECT RANGE - B");
END IF;
IF EQUAL (3, 3) THEN
X := -37.0; END IF;
IF EQUAL (3, 3) THEN
X := -928.0;
END IF;
END B;
RESULT;
END C45651A;