WITH REPORT;
USE REPORT;
WITH TEXT_IO;
USE TEXT_IO;
PROCEDURE CE3908A IS
BEGIN
TEST ("CE3908A", "CHECK THAT GET FOR ENUMERATION TYPES CAN " &
"OPERATE ON STRINGS. CHECK THAT IT RAISES " &
"END_ERROR WHEN THE STRING IS NULL OR EMPTY. " &
"CHECK THAT LAST CONTAINS THE INDEX VALUE OF " &
"THE LAST CHARACTER READ FROM THE STRING");
DECLARE
TYPE FRUIT IS (APPLE, PEAR, ORANGE, STRAWBERRY);
DESSERT : FRUIT;
PACKAGE FRUIT_IO IS NEW ENUMERATION_IO (FRUIT);
USE FRUIT_IO;
L : POSITIVE;
BEGIN
GET ("APPLE ", DESSERT, L);
IF DESSERT /= APPLE THEN
FAILED ("ENUMERATION VALUE FROM STRING INCORRECT - 1");
END IF;
IF L /= IDENT_INT (5) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE AFTER GET - 1");
END IF;
GET ("APPLE", DESSERT, L);
IF DESSERT /= APPLE THEN
FAILED ("ENUMERATION VALUE FROM STRING INCORRECT - 2");
END IF;
IF L /= IDENT_INT (5) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE AFTER GET - 2");
END IF;
BEGIN
GET (ASCII.HT & "APPLE", DESSERT, L);
IF DESSERT /= APPLE THEN
FAILED ("ENUMERATION VALUE FROM STRING " &
"INCORRECT - 3");
END IF;
IF L /= IDENT_INT(6) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE AFTER " &
"GET - 3");
END IF;
EXCEPTION
WHEN END_ERROR =>
FAILED ("GET DID NOT SKIP LEADING TABS");
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 3");
END;
BEGIN
GET ("", DESSERT, L);
FAILED ("END_ERROR NOT RAISED - 4");
EXCEPTION
WHEN END_ERROR =>
IF L /= IDENT_INT(6) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE " &
"AFTER GET - 4");
END IF;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 4");
END;
BEGIN
GET (ASCII.HT & "", DESSERT, L);
FAILED ("END_ERROR NOT RAISED - 5");
EXCEPTION
WHEN END_ERROR =>
IF L /= IDENT_INT(6) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE " &
"AFTER GET - 5");
END IF;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 5");
END;
BEGIN
GET(" ", DESSERT, L);
FAILED ("END ERROR NOT RAISED - 6");
EXCEPTION
WHEN END_ERROR =>
IF L /= IDENT_INT(6) THEN
FAILED ("LAST CONTAINS INCORRECT VALUE " &
"AFTER GET - 6");
END IF;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED - 6");
END;
END;
RESULT;
END CE3908A;