summaryrefslogtreecommitdiff
path: root/gcc/testsuite/ada/acats/tests/ce/ce3809b.ada
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/ada/acats/tests/ce/ce3809b.ada
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/ce/ce3809b.ada')
-rw-r--r--gcc/testsuite/ada/acats/tests/ce/ce3809b.ada239
1 files changed, 239 insertions, 0 deletions
diff --git a/gcc/testsuite/ada/acats/tests/ce/ce3809b.ada b/gcc/testsuite/ada/acats/tests/ce/ce3809b.ada
new file mode 100644
index 000000000..45aca867e
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/ce/ce3809b.ada
@@ -0,0 +1,239 @@
+-- CE3809B.ADA
+
+-- Grant of Unlimited Rights
+--
+-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
+-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
+-- unlimited rights in the software and documentation contained herein.
+-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
+-- this public release, the Government intends to confer upon all
+-- recipients unlimited rights equal to those held by the Government.
+-- These rights include rights to use, duplicate, release or disclose the
+-- released technical data and computer software in whole or in part, in
+-- any manner and for any purpose whatsoever, and to have or permit others
+-- to do so.
+--
+-- DISCLAIMER
+--
+-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
+-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
+-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
+-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
+-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
+-- PARTICULAR PURPOSE OF SAID MATERIAL.
+--*
+-- HISTORY:
+-- CHECK THAT FIXED I/O GET CAN READ A VALUE FROM A STRING.
+-- CHECK THAT END_ERROR IS RAISED WHEN CALLED WITH A NULL STRING
+-- OR A STRING CONTAINING SPACES AND/OR HORIZONTAL TABULATION
+-- CHARACTERS. CHECK THAT LAST CONTAINS THE INDEX OF THE LAST
+-- CHARACTER READ FROM THE STRING.
+
+-- HISTORY:
+-- SPS 10/07/82
+-- SPS 12/14/82
+-- JBG 12/21/82
+-- DWC 09/15/87 ADDED CASE TO INCLUDE ONLY TABS IN STRING AND
+-- CHECKED THAT END_ERROR IS RAISED.
+
+WITH REPORT; USE REPORT;
+WITH TEXT_IO; USE TEXT_IO;
+
+PROCEDURE CE3809B IS
+BEGIN
+
+ TEST ("CE3809B", "CHECK THAT FIXED_IO GET " &
+ "OPERATES CORRECTLY ON STRINGS");
+
+ DECLARE
+ TYPE FX IS DELTA 0.001 RANGE -2.0 .. 1000.0;
+ PACKAGE FXIO IS NEW FIXED_IO (FX);
+ USE FXIO;
+ X : FX;
+ L : POSITIVE;
+ STR : STRING (1..10) := " 10.25 ";
+ BEGIN
+
+-- LEFT-JUSTIFIED IN STRING, POSITIVE, NO EXPONENT
+ BEGIN
+ GET ("896.5 ", X, L);
+ IF X /= 896.5 THEN
+ FAILED ("FIXED VALUE FROM STRING INCORRECT");
+ END IF;
+ EXCEPTION
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 1");
+ WHEN OTHERS =>
+ FAILED ("UNEXPECTED EXCEPTION RAISED - FIXED - 1");
+ END;
+
+ IF L /= IDENT_INT (5) THEN
+ FAILED ("VALUE OF LAST INCORRECT - FIXED - 1. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+
+-- STRING LITERAL WITH BLANKS
+ BEGIN
+ GET (" ", X, L);
+ FAILED ("END_ERROR NOT RAISED - FIXED - 2");
+ EXCEPTION
+ WHEN END_ERROR =>
+ IF L /= 5 THEN
+ FAILED ("AFTER END_ERROR, VALUE OF LAST " &
+ "INCORRECT - 2. LAST IS" &
+ INTEGER'IMAGE(L));
+ END IF;
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 2");
+ WHEN OTHERS =>
+ FAILED ("WRONG EXCEPTION RAISED - FIXED - 2");
+ END;
+
+-- NULL STRING LITERAL
+ BEGIN
+ GET ("", X, L);
+ FAILED ("END_ERROR NOT RAISED - FIXED - 3");
+ EXCEPTION
+ WHEN END_ERROR =>
+ IF L /= 5 THEN
+ FAILED ("AFTER END_ERROR, VALUE OF LAST " &
+ "INCORRECT - 3. LAST IS" &
+ INTEGER'IMAGE(L));
+ END IF;
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 3");
+ WHEN OTHERS =>
+ FAILED ("WRONG EXCEPTION RAISED - FIXED - 3");
+ END;
+
+-- NULL SLICE
+ BEGIN
+ GET (STR(5..IDENT_INT(2)), X, L);
+ FAILED ("END_ERROR NOT RAISED - FIXED - 4");
+ EXCEPTION
+ WHEN END_ERROR =>
+ IF L /= 5 THEN
+ FAILED ("AFTER END_ERROR, VALUE OF LAST " &
+ "INCORRECT - 4. LAST IS" &
+ INTEGER'IMAGE(L));
+ END IF;
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 4");
+ WHEN OTHERS =>
+ FAILED ("WRONG EXCEPTION RAISED - FIXED - 4");
+ END;
+
+-- SLICE WITH BLANKS
+ BEGIN
+ GET (STR(IDENT_INT(9)..10), X, L);
+ FAILED ("END_ERROR NOT RAISED - FIXED - 5");
+ EXCEPTION
+ WHEN END_ERROR =>
+ IF L /= IDENT_INT(5) THEN
+ FAILED ("AFTER END_ERROR, VALUE OF LAST " &
+ "INCORRECT - 5. LAST IS" &
+ INTEGER'IMAGE(L));
+ END IF;
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 5");
+ WHEN OTHERS =>
+ FAILED ("WRONG EXCEPTION RAISED - FIXED - 5");
+ END;
+
+-- NON-NULL SLICE
+ BEGIN
+ GET (STR(2..IDENT_INT(8)), X, L);
+ IF X /= 10.25 THEN
+ FAILED ("FIXED VALUE INCORRECT - 6");
+ END IF;
+ IF L /= 8 THEN
+ FAILED ("LAST INCORRECT FOR SLICE - 6. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+ EXCEPTION
+ WHEN OTHERS =>
+ FAILED ("EXCEPTION RAISED - 6");
+ END;
+
+-- LEFT-JUSTIFIED, POSITIVE EXPONENT
+ BEGIN
+ GET ("1.34E+02", X, L);
+ IF X /= 134.0 THEN
+ FAILED ("FIXED WITH EXP FROM STRING INCORRECT - 7");
+ END IF;
+
+ IF L /= 8 THEN
+ FAILED ("VALUE OF LAST INCORRECT - FIXED - 7. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+ EXCEPTION
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_EROR RAISED - FIXED - 7");
+ WHEN OTHERS =>
+ FAILED ("UNEXPECTED EXCEPTION RAISED - FIXED - 7");
+ END;
+
+-- RIGHT-JUSTIFIED, NEGATIVE EXPONENT
+ BEGIN
+ GET (" 25.0E-2", X, L);
+ IF X /= 0.25 THEN
+ FAILED ("NEG EXPONENT INCORRECT - 8");
+ END IF;
+ IF L /= 8 THEN
+ FAILED ("LAST INCORRECT - 8. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+ EXCEPTION
+ WHEN OTHERS =>
+ FAILED ("EXCEPTION RAISED - 8");
+ END;
+
+-- RIGHT-JUSTIFIED, NEGATIVE
+ GET (" -1.50", X, L);
+ IF X /= -1.5 THEN
+ FAILED ("FIXED IN RIGHT JUSTIFIED STRING INCORRECT - 9");
+ END IF;
+ IF L /= 7 THEN
+ FAILED ("LAST INCORRECT - 9. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+
+-- HORIZONTAL TAB WITH BLANK
+ BEGIN
+ GET (" " & ASCII.HT & "2.3E+2", X, L);
+ IF X /= 230.0 THEN
+ FAILED ("FIXED WITH TAB IN STRING INCORRECT - 10");
+ END IF;
+ IF L /= 8 THEN
+ FAILED ("LAST INCORRECT FOR TAB - 10. " &
+ "LAST IS" & INTEGER'IMAGE(L));
+ END IF;
+ EXCEPTION
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR FOR STRING WITH TAB - 10");
+ WHEN OTHERS =>
+ FAILED ("EXCEPTION FOR STRING WITH TAB - 10");
+ END;
+
+-- HORIZONTAL TABS ONLY
+
+ BEGIN
+ GET (ASCII.HT & ASCII.HT, X, L);
+ FAILED ("END_ERROR NOT RAISED - FIXED - 11");
+ EXCEPTION
+ WHEN END_ERROR =>
+ IF L /= IDENT_INT(8) THEN
+ FAILED ("AFTER END_ERROR, VALUE OF LAST " &
+ "INCORRECT - 11. LAST IS" &
+ INTEGER'IMAGE(L));
+ END IF;
+ WHEN DATA_ERROR =>
+ FAILED ("DATA_ERROR RAISED - FIXED - 11");
+ WHEN OTHERS =>
+ FAILED ("WRONG EXCEPTION RAISED - FIXED - 11");
+ END;
+ END;
+
+ RESULT;
+
+END CE3809B;