-- FXF3A00.A -- -- 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. --* -- -- FOUNDATION DESCRIPTION: -- This foundation contains decimal data values, valid and invalid -- Picture strings, and Edited Output result strings that will be used -- in tests of Appendix F.3. -- Note: In this foundation package, the effect of "Table Driven Data" -- is achieved using a series of arrays to hold the various data items. -- Since the data items (Picture strings, Edited Output) are often of -- different lengths, the arrays are defined to contain pointers to -- string values, thereby allowing the "tables" to hold string data of -- different sizes. -- -- CHANGE HISTORY: -- 06 Dec 94 SAIC ACVC 2.0 -- 15 Feb 95 SAIC Picture string, decimal data, and edited_output -- modifications. -- 23 Feb 95 SAIC Picture string modification. -- 10 Mar 95 SAIC Added explanatory comments. -- 15 Nov 95 SAIC Corrected picture string for ACVC 2.0.1. -- 06 Oct 96 SAIC Corrected invalid picture strings. -- 13 Feb 97 PWB.CTA Deleted invalid picture string. -- 17 Feb 97 PWB.CTA Added leading blank to two picture strings --! with Ada.Text_IO.Editing; package FXF3A00 is Number_Of_NDP_Items : constant := 12; -- No Decimal Places. Number_Of_2DP_Items : constant := 20; -- Two Decimal Places. Number_Of_Valid_Strings : constant := 40; Number_Of_FF_Strings : constant := 4; -- French Francs Number_Of_DM_Strings : constant := 5; -- Deutchemarks Number_Of_CHF_Strings : constant := 1; -- Swiss Francs Number_Of_Foreign_Strings : constant := Number_Of_FF_Strings + Number_Of_DM_Strings + Number_Of_CHF_Strings; Number_Of_Invalid_Strings : constant := 25; Number_Of_Erroneous_Conditions : constant := 3; Number_Of_Edited_Output_Strings : constant := 32; -- The following string is to be used as a picture string with length -- beyond the maximum (Max_Picture_Length) that is supported by the -- implementation. A_Picture_String_Too_Long : constant String (1..Ada.Text_IO.Editing.Max_Picture_Length + 1) := (others => '9'); type Str_Ptr is access String; type Decimal_Type_NDP is delta 1.0 digits 16; -- no decimal places type Decimal_Type_2DP is delta 0.01 digits 16; -- two decimal places type Data_Array_Type_1 is array (Integer range <>) of Decimal_Type_NDP; type Data_Array_Type_2 is array (Integer range <>) of Decimal_Type_2DP; type Picture_String_Array_Type is array (Integer range <>) of Str_Ptr; type Edited_Output_Results_Array_Type is array (Integer range <>) of Str_Ptr; Data_With_NDP : Data_Array_Type_1 (1..Number_Of_NDP_Items) := ( 1 => 1234.0, 2 => 51234.0, 3 => -1234.0, 4 => 1234.0, 5 => 1.0, 6 => 0.0, 7 => -10.0, 8 => -1.0, 9 => 1234.0, 10 => 1.0, 11 => 36.0, 12 => 0.0 ); Data_With_2DP : Data_Array_Type_2 (1..Number_Of_2DP_Items) := ( 1 => 123456.78, 2 => 123456.78, 3 => 0.0, 4 => 0.20, 5 => 123456.00, 6 => -123456.78, 7 => 123456.78, 8 => -12.34, 9 => 1.23, 10 => 12.34, -- Items 11-20 are used with picture strings in evaluating use of -- foreign currency symbols. 11 => 123456.78, 12 => 123456.78, 13 => 32.10, 14 => -5432.10, 15 => -1234.57, 16 => 123456.78, 17 => 12.34, 18 => 12.34, 19 => 1.23, 20 => 12345.67 ); Valid_Strings : Picture_String_Array_Type (1..Number_Of_Valid_Strings) := -- Items 1-10 are used in conjunction with Data_With_2DP values -- to produce edited output strings, as well as in tests of -- function Valid. ( 1 => new String'("-###**_***_**9.99"), 2 => new String'("-$**_***_**9.99"), 3 => new String'("-$$$$$$.$$"), 4 => new String'("-$$$$$$.$$"), 5 => new String'("+BBBZZ_ZZZ_ZZZ.ZZ"), 6 => new String'("--_---_---_--9"), 7 => new String'("-$_$$$_$$$_$$9.99"), 8 => new String'("<$$_$$$9.99>"), 9 => new String'("$_$$9.99"), 10 => new String'("$$9.99"), -- Items 11-22 are used in conjunction with Data_With_NDP values -- to produce edited output strings. 11 => new String'("ZZZZ9"), 12 => new String'("ZZZZ9"), 13 => new String'("<#Z_ZZ9>"), 14 => new String'("<#Z_ZZ9>"), 15 => new String'("ZZZ.ZZ"), 16 => new String'("ZZZ.ZZ"), 17 => new String'("<###99>"), 18 => new String'("ZZZZZ-"), 19 => new String'("$$$$9"), 20 => new String'("$$$$$"), 21 => new String'("<###99>"), 22 => new String'("$$$$9"), -- Items 23-40 are used in validation of the Valid, To_Picture, and -- Pic_String subprograms of package Text_IO.Editing, and are not -- used to generate edited output. 23 => new String'("zZzZzZzZzZzZzZzZzZ"), 24 => new String'("999999999999999999"), 25 => new String'("******************"), 26 => new String'("$$$$$$$$$$$$$$$$$$"), 27 => new String'("9999/9999B9999_999909999"), 28 => new String'("+999999999999999999"), 29 => new String'("-999999999999999999"), 30 => new String'("999999999999999999+"), 31 => new String'("999999999999999999-"), 32 => new String'("<<<_<<<_<<<_<<<_<<<_<<9>"), 33 => new String'("++++++++++++++++++++"), 34 => new String'("--------------------"), 35 => new String'("zZzZzZzZzZzZzZzZzZ.zZ"), 36 => new String'("******************.99"), 37 => new String'("$$$$$$$$$$$$$$$$$$.99"), -- The following string has length 30, which is the minimum value -- that must be supported for Max_Picture_Length. 38 => new String'("9_999_999_999_999_999_999BB.99"), 39 => new String'("<<<_<<<_<<<_<<<.99>"), 40 => new String'("ZZZZZZZZZZZZZZZZZ+") ); Foreign_Strings : Picture_String_Array_Type (1..Number_Of_Foreign_Strings) := -- These strings are going to be used in conjunction with non-default -- values for Currency string, Radix mark, and Separator in calls to -- Image and Put, as well as in tests of function Valid. ( 1 => new String'("-###**_***_**9.99"), -- FF 2 => new String'("-$**_***_**9.99"), -- FF 3 => new String'("<###z_ZZ9.99>"), -- FF 4 => new String'("<###Z_ZZ9.99>"), -- FF 5 => new String'("<<<<_<<<.<<###>"), -- DM 6 => new String'("-$_$$$_$$$_$$9.99"), -- DM 7 => new String'("$z99.99"), -- DM 8 => new String'("$$$9.99"), -- DM 9 => new String'("$_$$9.99"), -- DM 10 => new String'("###_###_##9.99") -- CHF ); Invalid_Strings : Picture_String_Array_Type (1..Number_Of_Invalid_Strings) := -- -- The RM references to the right of these invalid picture strings -- indicates which of the composition constraints of picture strings -- is violated by the particular string (and all following strings -- until another reference is presented). However, certain strings -- violate multiple of the constraints. -- ( 1 => new String'("<<<"), 2 => new String'("<<>>"), 3 => new String'("<<<9_B0/$DB"), 4 => new String'("+BB"), 5 => new String'("<-"), 6 => new String'(" new String'(" new String'("< new String'("<<__DB"), 10 => new String'("<<<++++_++-"), 11 => new String'("-999.99>"), 12 => new String'("+++9.99+"), 13 => new String'("++++>>"), 14 => new String'("->"), 15 => new String'("++9-"), 16 => new String'("---999999->"), 17 => new String'("+++-"), 18 => new String'("+++_+++_+.--"), 19 => new String'("--B.BB+>"), 20 => new String'("$$#$"), 21 => new String'("#B$$$$"), 22 => new String'("**Z"), 23 => new String'("ZZZzzz*"), 24 => new String'("9.99DB(2)"), 25 => new String'(A_Picture_String_Too_Long) ); Edited_Output : Edited_Output_Results_Array_Type (1..Number_Of_Edited_Output_Strings) := -- The following 10 edited output strings result from the first 10 -- valid strings when used with the first 10 Data_With_2DP numeric -- values. ( 1 => new String'(" $***123,456.78"), 2 => new String'(" $***123,456.78"), 3 => new String'(" "), 4 => new String'(" $.20"), 5 => new String'("+ 123,456.00"), 6 => new String'(" -123,457"), 7 => new String'(" $123,456.78"), 8 => new String'("( $12.34)"), 9 => new String'(" $1.23"), 10 => new String'("$12.34"), -- The following 10 edited output strings correspond to the 10 foreign -- currency picture strings (the currency string is supplied at the -- time of the call to Editing.Image or Editing.Put), when used in -- conjunction with Data_With_2DP items 11-20 11 => new String'(" FF***123.456,78"), 12 => new String'(" FF***123.456,78"), 13 => new String'(" FF 32,10 "), 14 => new String'("( FF5.432,10)"), 15 => new String'(" (1,234.57DM )"), 16 => new String'(" DM123,456.78"), 17 => new String'("DM 12.34"), 18 => new String'(" DM12.34"), 19 => new String'(" DM1.23"), 20 => new String'(" CHF12,345.67"), -- The following 12 edited output strings correspond to the 12 -- Data_With_NDP items formatted using Valid_String items 11-22. -- This combination shows decimal data with no decimal places -- formatted using picture strings. 21 => new String'(" 1234"), 22 => new String'("51234"), 23 => new String'("($1,234)"), 24 => new String'(" $1,234 "), 25 => new String'(" 1.00"), 26 => new String'(" "), 27 => new String'("( $10)"), 28 => new String'(" 1-"), 29 => new String'("$1234"), 30 => new String'(" $1"), 31 => new String'(" $36 "), 32 => new String'(" $0") ); -- The following data is used to create exception situations in tests of -- the Edited Output capabilities of package Ada.Text_IO.Editing. The data -- are not themselves erroneous, but will produce exceptions based on the -- data/picture string combination used. Erroneous_Data : Data_Array_Type_2 (1..Number_Of_Erroneous_Conditions) := ( 1 => 12.34, 2 => -12.34, 3 => 51234.0 ); Erroneous_Strings : Picture_String_Array_Type (1..Number_Of_Erroneous_Conditions) := ( 1 => new String'("9.99"), 2 => new String'("99.99"), 3 => new String'("$$$$9") ); end FXF3A00;