| -- CXF3A05.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. |
| --* |
| -- |
| -- OBJECTIVE: |
| -- Check that Function Image produces correct results when provided |
| -- non-default parameters for Currency, Fill, Separator, and |
| -- Radix_Mark at either the time of package Decimal_Output instantiation, |
| -- or in a call to Image. Check non-default parameters that are |
| -- appropriate for foreign currency representations. |
| -- |
| -- TEST DESCRIPTION: |
| -- This test is structured using tables of data, consisting of |
| -- numerical values, picture strings, and expected image |
| -- result strings. These data tables are found in package FXF3A00. |
| -- |
| -- The results of the Image function, resulting from several different |
| -- instantiations of Decimal_Output, are compared with expected |
| -- edited output string results. The primary focus of this test is to |
| -- examine the effect of non-default parameters, provided during the |
| -- instantiation of package Decimal_Output, or provided as part of a |
| -- call to Function Image (that resulted from an instantiation of |
| -- Decimal_Output that used default parameters). The non-default |
| -- parameters provided correspond to foreign currency representations. |
| -- |
| -- For each picture string/decimal data combination examined, two |
| -- evaluations of Image are performed. These correspond to the two |
| -- methods of providing the appropriate non-default parameters described |
| -- above. Both forms of Function Image should produce the same expected |
| -- edited output string. |
| -- |
| -- TEST FILES: |
| -- The following files comprise this test: |
| -- |
| -- FXF3A00.A (foundation code) |
| -- => CXF3A05.A |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 26 JAN 95 SAIC Initial prerelease version. |
| -- 17 FEB 97 PWB.CTA Correct array indices for Foreign_Strings array |
| -- references. |
| --! |
| |
| with FXF3A00; |
| with Ada.Text_IO.Editing; |
| with Report; |
| |
| procedure CXF3A05 is |
| begin |
| |
| Report.Test ("CXF3A05", "Check that Function Image produces " & |
| "correct results when provided non-default " & |
| "parameters for Currency, Fill, Separator, " & |
| "and Radix_Mark, appropriate to foreign " & |
| "currency representations"); |
| |
| Test_Block: |
| declare |
| |
| use Ada.Text_IO; |
| |
| -- Instantiate the Decimal_Output generic package for the several |
| -- combinations of Default_Currency, Default_Fill, Default_Separator, |
| -- and Default_Radix_Mark. |
| |
| package Pack_Def is -- Uses default parameter values. |
| new Editing.Decimal_Output(FXF3A00.Decimal_Type_2DP); |
| |
| package Pack_FF is |
| new Editing.Decimal_Output(FXF3A00.Decimal_Type_2DP, |
| Default_Currency => "FF", |
| Default_Fill => '*', |
| Default_Separator => '.', |
| Default_Radix_Mark => ','); |
| |
| package Pack_DM is |
| new Editing.Decimal_Output(FXF3A00.Decimal_Type_2DP, |
| Default_Currency => "DM", |
| Default_Fill => '*', |
| Default_Separator => ',', |
| Default_Radix_Mark => '.'); |
| |
| package Pack_CHF is |
| new Editing.Decimal_Output(FXF3A00.Decimal_Type_2DP, |
| Default_Currency => "CHF", |
| Default_Fill => '*', |
| Default_Separator => ',', |
| Default_Radix_Mark => '.'); |
| |
| |
| TC_Picture : Editing.Picture; |
| TC_Start_Loop : constant := 11; |
| TC_End_Loop : constant := TC_Start_Loop + -- 20 |
| FXF3A00.Number_Of_Foreign_Strings - 1; |
| |
| begin |
| |
| -- In the case of each particular type of foreign string examined, |
| -- two versions of Function Image are examined. First, a version of |
| -- the function that originated from an instantiation of Decimal_Output |
| -- with non-default parameters is checked. This version of Image is |
| -- called making use of default parameters in the actual function call. |
| -- In addition, a version of Function Image is checked that resulted |
| -- from an instantiation of Decimal_Output using default parameters, |
| -- but which uses non-default parameters in the function call. |
| |
| for i in TC_Start_Loop..TC_End_Loop loop |
| |
| -- Create the picture object from the picture string. |
| |
| TC_Picture := Editing.To_Picture |
| (FXF3A00.Foreign_Strings(i - TC_Start_Loop + 1).all); |
| |
| -- Based on the ordering of the specific foreign picture strings |
| -- in the FXF3A00.Foreign_Strings table, the following conditional |
| -- is used to determine which type of currency is being examined |
| -- as the loop executes. |
| |
| if i < TC_Start_Loop + FXF3A00.Number_Of_FF_Strings then -- (11-14) |
| -- Process the FF picture strings. |
| |
| -- Check the result of Function Image from an instantiation |
| -- of Decimal_Output that provided non-default actual |
| -- parameters at the time of package instantiation, and uses |
| -- default parameters in the call of Image. |
| |
| if Pack_FF.Image(Item => FXF3A00.Data_With_2DP(i), |
| Pic => TC_Picture) /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with FF " & |
| "related parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all); |
| end if; |
| |
| -- Check the result of Function Image that originated from |
| -- an instantiation of Decimal_Output where default parameters |
| -- were used at the time of package Instantiation, but where |
| -- non-default parameters are provided in the call of Image. |
| |
| if Pack_Def.Image(Item => FXF3A00.Data_With_2DP(i), |
| Pic => TC_Picture, |
| Currency => "FF", |
| Fill => '*', |
| Separator => '.', |
| Radix_Mark => ',') /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with default " & |
| "parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all & |
| ", and FF related parameters in call to Image"); |
| end if; |
| |
| |
| elsif i < TC_Start_Loop + -- (15-19) |
| FXF3A00.Number_Of_FF_Strings + |
| FXF3A00.Number_Of_DM_Strings then |
| -- Process the DM picture strings. |
| |
| -- Non-default instantiation parameters, default function call |
| -- parameters. |
| |
| if Pack_DM.Image(Item => FXF3A00.Data_With_2DP(i), |
| Pic => TC_Picture) /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with DM " & |
| "related parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all); |
| end if; |
| |
| -- Default instantiation parameters, non-default function call |
| -- parameters. |
| |
| if Pack_Def.Image(Item => FXF3A00.Data_With_2DP(i), |
| Pic => TC_Picture, |
| Currency => "DM", |
| Fill => '*', |
| Separator => ',', |
| Radix_Mark => '.') /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with default " & |
| "parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all & |
| ", and DM related parameters in call to Image"); |
| end if; |
| |
| |
| else -- (i=20) |
| -- Process the CHF string. |
| |
| -- Non-default instantiation parameters, default function call |
| -- parameters. |
| |
| if Pack_CHF.Image(FXF3A00.Data_With_2DP(i), TC_Picture) /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with CHF " & |
| "related parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all); |
| end if; |
| |
| -- Default instantiation parameters, non-default function call |
| -- parameters. |
| |
| if Pack_Def.Image(FXF3A00.Data_With_2DP(i), |
| TC_Picture, |
| "CHF", |
| '*', |
| ',', |
| '.') /= |
| FXF3A00.Edited_Output(i).all |
| then |
| Report.Failed("Incorrect output from Function Image " & |
| "from package instantiated with default " & |
| "parameters, using picture string " & |
| FXF3A00.Foreign_Strings |
| (i - TC_Start_Loop + 1).all & |
| ", and CHF related parameters in call to Image"); |
| end if; |
| |
| end if; |
| |
| end loop; |
| |
| exception |
| when others => Report.Failed ("Exception raised in Test_Block"); |
| end Test_Block; |
| |
| Report.Result; |
| |
| end CXF3A05; |
