| -- CXF2003.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 the multiplying operators for a decimal fixed point type |
| -- return values that are integral multiples of the small of the type. |
| -- Check the case where the two operands are of different decimal |
| -- fixed point types. |
| -- |
| -- Check that if the mathematical result is between multiples of the |
| -- small of the result type, the result is truncated toward zero. |
| -- Check that if the attribute 'Round is applied to the mathematical |
| -- result, however, the result is rounded to the nearest multiple of |
| -- the small (away from zero if the result is midway between two |
| -- multiples of the small). |
| -- |
| -- TEST DESCRIPTION: |
| -- Two decimal fixed point types A and B are declared, one with a |
| -- Machine_Radix value of 2, and one with a value of 10. A third decimal |
| -- fixed point type C is declared with digits and delta values different |
| -- from those of A and B. For type A (and B), checks are performed |
| -- on the following operations, where one operand type is C, and the |
| -- other operand type and the result type is A (or B): |
| -- |
| -- - Multiplication. |
| -- - Multiplication, where the attribute 'Round is applied to the |
| -- result. |
| -- - Division. |
| -- - Division, where the attribute 'Round is applied to the result. |
| -- |
| -- Each operation is performed within a loop, where one operand is |
| -- always the same variable. After the loop completes, the cumulative |
| -- total contained in this variable is compared with the expected |
| -- result. |
| -- |
| -- APPLICABILITY CRITERIA: |
| -- This test is only applicable for a compiler attempting validation |
| -- for the Information Systems Annex. |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 22 Mar 96 SAIC Prerelease version for ACVC 2.1. |
| -- |
| --! |
| |
| generic |
| type Decimal_Fixed_1 is delta <> digits <>; |
| type Decimal_Fixed_2 is delta <> digits <>; |
| package CXF2003_0 is |
| |
| procedure Multiply_And_Truncate (Balance : in out Decimal_Fixed_1; |
| Factor : in Decimal_Fixed_2); |
| |
| procedure Divide_And_Truncate (Balance : in out Decimal_Fixed_1; |
| Divisor : in Decimal_Fixed_2); |
| |
| procedure Multiply_And_Round (Balance : in out Decimal_Fixed_1; |
| Factor : in Decimal_Fixed_2); |
| |
| procedure Divide_And_Round (Balance : in out Decimal_Fixed_1; |
| Divisor : in Decimal_Fixed_2); |
| |
| end CXF2003_0; |
| |
| |
| --==================================================================-- |
| |
| |
| package body CXF2003_0 is |
| |
| procedure Multiply_And_Truncate (Balance : in out Decimal_Fixed_1; |
| Factor : in Decimal_Fixed_2) is |
| Interest : Decimal_Fixed_1; |
| begin |
| Interest := Factor * Balance; -- Fixed-fixed multiplication. |
| Balance := Balance + Interest; |
| end Multiply_And_Truncate; |
| |
| |
| procedure Divide_And_Truncate (Balance : in out Decimal_Fixed_1; |
| Divisor : in Decimal_Fixed_2) is |
| Interest : Decimal_Fixed_1; |
| begin |
| Interest := Balance / Divisor; -- Fixed-fixed division. |
| Balance := Balance + Interest; |
| end Divide_And_Truncate; |
| |
| |
| procedure Multiply_And_Round (Balance : in out Decimal_Fixed_1; |
| Factor : in Decimal_Fixed_2) is |
| Interest : Decimal_Fixed_1; |
| begin |
| -- Fixed-fixed multiplication. |
| Interest := Decimal_Fixed_1'Round ( Factor * Balance ); |
| Balance := Balance + Interest; |
| end Multiply_And_Round; |
| |
| |
| procedure Divide_And_Round (Balance : in out Decimal_Fixed_1; |
| Divisor : in Decimal_Fixed_2) is |
| Interest : Decimal_Fixed_1; |
| begin |
| -- Fixed-fixed division. |
| Interest := Decimal_Fixed_1'Round ( Balance / Divisor ); |
| Balance := Balance + Interest; |
| end Divide_And_Round; |
| |
| end CXF2003_0; |
| |
| |
| --==================================================================-- |
| |
| |
| package CXF2003_1 is |
| |
| type Money_Radix2 is delta 0.01 digits 11; -- range -999,999,999.99 .. |
| for Money_Radix2'Machine_Radix use 2; -- +999,999,999.99 |
| |
| |
| type Money_Radix10 is delta 0.01 digits 11; -- range -999,999,999.99 .. |
| for Money_Radix10'Machine_Radix use 10; -- +999,999,999.99 |
| |
| |
| type Interest_Rate is delta 0.00001 digits 9; -- range -9999.99999 .. |
| -- +9999.99999 |
| |
| end CXF2003_1; |
| |
| |
| --==================================================================-- |
| |
| |
| with CXF2003_0; |
| with CXF2003_1; |
| |
| with Report; |
| procedure CXF2003 is |
| |
| Loop_Count : constant := 1825; |
| type Loop_Range is range 1 .. Loop_Count; |
| |
| begin |
| |
| Report.Test ("CXF2003", "Check decimal multiplication and division, and " & |
| "'Round, where the operand types are different"); |
| |
| |
| ---=---=---=---=---=---=---=---=---=---=--- |
| |
| |
| RADIX_2_SUBTESTS: |
| declare |
| package Radix_2 is new CXF2003_0 (CXF2003_1.Money_Radix2, |
| CXF2003_1.Interest_Rate); |
| use type CXF2003_1.Money_Radix2; |
| use type CXF2003_1.Interest_Rate; |
| begin |
| |
| RADIX_2_MULTIPLICATION: |
| declare |
| Rate : CXF2003_1.Interest_Rate := 0.198; |
| Period : Integer := 365; |
| Factor : CXF2003_1.Interest_Rate := Rate / Period; |
| |
| Initial : constant CXF2003_1.Money_Radix2 := 1_000.00; |
| Trunc_Expected : constant CXF2003_1.Money_Radix2 := 2_662.94; |
| Round_Expected : constant CXF2003_1.Money_Radix2 := 2_678.34; |
| |
| Balance : CXF2003_1.Money_Radix2; |
| begin |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_2.Multiply_And_Truncate (Balance, Factor); |
| end loop; |
| |
| if Balance /= Trunc_Expected then |
| Report.Failed ("Wrong result: Radix 2 multiply and truncate"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_2.Multiply_And_Round (Balance, Factor); |
| end loop; |
| |
| if Balance /= Round_Expected then |
| Report.Failed ("Wrong result: Radix 2 multiply and round"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| end RADIX_2_MULTIPLICATION; |
| |
| |
| RADIX_2_DIVISION: |
| declare |
| Rate : CXF2003_1.Interest_Rate := 0.129; |
| Period : Integer := 365; |
| Factor : CXF2003_1.Interest_Rate := Rate / Period; |
| Divisor : CXF2003_1.Interest_Rate := 1.0 / Factor; |
| |
| Initial : constant CXF2003_1.Money_Radix2 := 14_626.52; |
| Trunc_Expected : constant CXF2003_1.Money_Radix2 := 27_688.26; |
| Round_Expected : constant CXF2003_1.Money_Radix2 := 27_701.12; |
| |
| Balance : CXF2003_1.Money_Radix2; |
| begin |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_2.Divide_And_Truncate (Balance, Divisor); |
| end loop; |
| |
| if Balance /= Trunc_Expected then |
| Report.Failed ("Wrong result: Radix 2 divide and truncate"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_2.Divide_And_Round (Balance, Divisor); |
| end loop; |
| |
| if Balance /= Round_Expected then |
| Report.Failed ("Wrong result: Radix 2 divide and round"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| end RADIX_2_DIVISION; |
| |
| end RADIX_2_SUBTESTS; |
| |
| |
| ---=---=---=---=---=---=---=---=---=---=--- |
| |
| |
| RADIX_10_SUBTESTS: |
| declare |
| package Radix_10 is new CXF2003_0 (CXF2003_1.Money_Radix10, |
| CXF2003_1.Interest_Rate); |
| use type CXF2003_1.Money_Radix10; |
| use type CXF2003_1.Interest_Rate; |
| begin |
| |
| RADIX_10_MULTIPLICATION: |
| declare |
| Rate : CXF2003_1.Interest_Rate := 0.063; |
| Period : Integer := 365; |
| Factor : CXF2003_1.Interest_Rate := Rate / Period; |
| |
| Initial : constant CXF2003_1.Money_Radix10 := 314_036.10; |
| Trunc_Expected : constant CXF2003_1.Money_Radix10 := 428_249.48; |
| Round_Expected : constant CXF2003_1.Money_Radix10 := 428_260.52; |
| |
| Balance : CXF2003_1.Money_Radix10; |
| begin |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_10.Multiply_And_Truncate (Balance, Factor); |
| end loop; |
| |
| if Balance /= Trunc_Expected then |
| Report.Failed ("Wrong result: Radix 10 multiply and truncate"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_10.Multiply_And_Round (Balance, Factor); |
| end loop; |
| |
| if Balance /= Round_Expected then |
| Report.Failed ("Wrong result: Radix 10 multiply and round"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| end RADIX_10_MULTIPLICATION; |
| |
| |
| RADIX_10_DIVISION: |
| declare |
| Rate : CXF2003_1.Interest_Rate := 0.273; |
| Period : Integer := 365; |
| Factor : CXF2003_1.Interest_Rate := Rate / Period; |
| Divisor : CXF2003_1.Interest_Rate := 1.0 / Factor; |
| |
| Initial : constant CXF2003_1.Money_Radix10 := 25.72; |
| Trunc_Expected : constant CXF2003_1.Money_Radix10 := 79.05; |
| Round_Expected : constant CXF2003_1.Money_Radix10 := 97.46; |
| |
| Balance : CXF2003_1.Money_Radix10; |
| begin |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_10.Divide_And_Truncate (Balance, Divisor); |
| end loop; |
| |
| if Balance /= Trunc_Expected then |
| Report.Failed ("Wrong result: Radix 10 divide and truncate"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| |
| Balance := Initial; |
| |
| for I in Loop_Range loop |
| Radix_10.Divide_And_Round (Balance, Divisor); |
| end loop; |
| |
| if Balance /= Round_Expected then |
| Report.Failed ("Wrong result: Radix 10 divide and round"); |
| end if; |
| |
| ---=---=---=---=---=---=--- |
| end RADIX_10_DIVISION; |
| |
| end RADIX_10_SUBTESTS; |
| |
| |
| ---=---=---=---=---=---=---=---=---=---=--- |
| |
| |
| Report.Result; |
| |
| end CXF2003; |