WITH REPORT;
USE REPORT;
WITH CALENDAR;
USE CALENDAR;
PROCEDURE C96005F IS
CURR_DAY1 : CONSTANT TIME := TIME_OF(1984,1,1,0.0);
CURR_DAY2 : CONSTANT TIME := TIME_OF(1984,1,1,DAY_DURATION'LAST);
CURR_DAY3 : CONSTANT TIME := TIME_OF(1984,1,1,10000.0);
TOMORROW1 : CONSTANT TIME := TIME_OF(1984,1,2,0.0);
TOMORROW2 : CONSTANT TIME := TIME_OF(1984,1,2,DAY_DURATION'LAST);
TOMORROW3 : CONSTANT TIME := TIME_OF(1984,1,2,10000.0);
YESTERDAY1 : CONSTANT TIME := TIME_OF(1983,12,31,0.0);
YESTERDAY2 : CONSTANT TIME := TIME_OF(1983,12,31,
DAY_DURATION'LAST);
YESTERDAY3 : CONSTANT TIME := TIME_OF(1983,12,31,10000.0);
BEGIN
TEST("C96005F","CHECKING PACKAGE CALENDAR + AND - FUNCTIONS");
IF (CURR_DAY1 + DAY_DURATION'LAST) /= TOMORROW1 THEN
FAILED("FAILURE IN ADDING 1 DAY TO 'CURR_DAY1'");
END IF;
IF (CURR_DAY2 + DAY_DURATION'LAST) /= TOMORROW2 THEN
FAILED("FAILURE IN ADDING 1 DAY TO 'CURR_DAY2'");
END IF;
IF (CURR_DAY3 + DAY_DURATION'LAST) /= TOMORROW3 THEN
FAILED("FAILURE IN ADDING 1 DAY TO 'CURR_DAY3'");
END IF;
IF (CURR_DAY1 + DAY_DURATION'LAST) /= CURR_DAY2 THEN
FAILED("'CURR_DAY1' + 1 /= 'CURR_DAY2'");
END IF;
IF (CURR_DAY1 - DAY_DURATION'LAST) /= YESTERDAY1 THEN
FAILED("FAILURE IN SUBTRACTING 1 DAY FROM 'CURR_DAY1'");
END IF;
IF (CURR_DAY2 - DAY_DURATION'LAST) /= YESTERDAY2 THEN
FAILED("FAILURE IN SUBTRACTING 1 DAY FROM 'CURR_DAY2'");
END IF;
IF (CURR_DAY3 - DAY_DURATION'LAST) /= YESTERDAY3 THEN
FAILED("FAILURE IN SUBTRACTING 1 DAY FROM 'CURR_DAY3'");
END IF;
IF (CURR_DAY2 - DAY_DURATION'LAST) /= CURR_DAY1 THEN
FAILED("'CURR_DAY2' - 1 /= 'CURR_DAY1'");
END IF;
RESULT;
END C96005F;