Subversion Repositories openrisc_2011-10-31

-- 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'("

                         7 => new String'("

                         8 => new String'("<

                         9 => 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;