3 -- Grant of Unlimited Rights
5 -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
6 -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
7 -- unlimited rights in the software and documentation contained herein.
8 -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
9 -- this public release, the Government intends to confer upon all
10 -- recipients unlimited rights equal to those held by the Government.
11 -- These rights include rights to use, duplicate, release or disclose the
12 -- released technical data and computer software in whole or in part, in
13 -- any manner and for any purpose whatsoever, and to have or permit others
18 -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
19 -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
20 -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
21 -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
22 -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
23 -- PARTICULAR PURPOSE OF SAID MATERIAL.
26 -- CHECK THAT FLOAT_IO GET WHEN SUPPLIED WITH A WIDTH PARAMETER
27 -- GREATER THAN ZERO READS ONLY THAT MANY CHARACTERS. ALSO CHECK
28 -- THAT INPUT TERMINATES WHEN A LINE TERMINATOR IS ENCOUNTERED AND
29 -- THAT DATA_ERROR IS RAISED WHEN THE DATA IS INVALID.
31 -- APPLICABILITY CRITERIA:
32 -- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH
33 -- SUPPORT TEXT FILES.
40 -- JBG 02/22/84 CHANGED TO .ADA TEST
41 -- RJW 11/04/86 REVISED TEST TO OUTPUT A NON_APPLICABLE
42 -- RESULT WHEN FILES ARE NOT SUPPORTED.
43 -- DWC 09/14/87 SPLIT CASE FOR FIXED_IO INTO CE3804H.ADA AND
44 -- CORRECTED EXCEPTION HANDLING.
45 -- LDC 06/01/88 CHANGED TEST VALUE FROM "3.525" TO "3.625".
53 INCOMPLETE
: EXCEPTION;
57 TEST
("CE3804G", "CHECK THAT FLOAT_IO GET WHEN SUPPLIED WITH " &
58 "A WIDTH PARAMETER GREATER THAN ZERO READS " &
59 "ONLY THAT MANY CHARACTERS. ALSO CHECK THAT " &
60 "INPUT TERMINATES WHEN A LINE TERMINATOR IS " &
61 "ENCOUNTERED AND THAT DATA_ERROR IS RAISED " &
62 "WHEN THE DATA IS INVALID.");
69 CREATE
(FT
, OUT_FILE
, LEGAL_FILE_NAME
);
72 NOT_APPLICABLE
("USE_ERROR RAISED; TEXT CREATE " &
73 "WITH OUT_FILE MODE");
76 NOT_APPLICABLE
("NAME_ERROR RAISED; TEXT CREATE " &
77 "WITH OUT_FILE MODE");
81 PUT
(FT
, "3.259.5 8.52");
85 PUT
(FT
, ASCII
.HT
& "9.0");
95 PACKAGE FL_IO
IS NEW FLOAT_IO
(FL
);
101 OPEN
(FT
, IN_FILE
, LEGAL_FILE_NAME
);
104 NOT_APPLICABLE
("USE_ERROR RAISED; TEXT" &
105 "OPEN WITH IN_FILE MODE");
111 FAILED
("WIDTH CHARACTERS NOT READ - FLOAT");
115 FAILED
("WIDTH CHARACTERS NOT READ - " &
120 FAILED
("DIDN'T COUNT LEADING BLANKS " &
126 FAILED
("DATA_ERROR NOT RAISED - " &
132 FAILED
("WRONG EXCEPTION RAISED"
138 FAILED
("GET WITH WIDTH " &
145 FAILED
("WIDTH CHARACTERS NOT " &