-- CXF2005.A -- -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687 and -- F08630-91-C-0015, 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 one operand is of the predefined type Integer. -- -- 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 variable of -- each type is multiplied repeatedly by a series of different Integer -- values. A cumulative result is kept and compared to an expected -- final result. Similar checks are performed for division. -- -- APPLICABILITY CRITERIA: -- This test is only applicable for a compiler attempting validation -- for the Information Systems Annex. -- -- -- CHANGE HISTORY: -- 28 Mar 96 SAIC Prerelease version for ACVC 2.1. -- --! generic type Decimal_Fixed is delta <> digits <>; package CXF2005_0 is function Multiply (Operand : Decimal_Fixed; Interval : Integer) return Decimal_Fixed; function Divide (Operand : Decimal_Fixed; Interval : Integer) return Decimal_Fixed; end CXF2005_0; --==================================================================-- package body CXF2005_0 is function Multiply (Operand : Decimal_Fixed; Interval : Integer) return Decimal_Fixed is begin return Operand * Interval; -- Fixed-Integer multiplication. end Multiply; function Divide (Operand : Decimal_Fixed; Interval : Integer) return Decimal_Fixed is begin return Operand / Interval; -- Fixed-Integer division. end Divide; end CXF2005_0; --==================================================================-- package CXF2005_1 is ---=---=---=---=---=---=---=---=---=---=--- type Interest_Rate is delta 0.001 range 0.0 .. 1_000.0; for Interest_Rate'Small use 0.001; -- Power of 10. ---=---=---=---=---=---=---=---=---=---=--- 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 function Factor (Rate : Interest_Rate; Interval : Integer) return Money_Radix2; ---=---=---=---=---=---=---=---=---=---=--- 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 function Factor (Rate : Interest_Rate; Interval : Integer) return Money_Radix10; ---=---=---=---=---=---=---=---=---=---=--- end CXF2005_1; --==================================================================-- package body CXF2005_1 is ---=---=---=---=---=---=---=---=---=---=--- function Factor (Rate : Interest_Rate; Interval : Integer) return Money_Radix2 is begin return Money_Radix2( Rate / Interval ); end Factor; ---=---=---=---=---=---=---=---=---=---=--- function Factor (Rate : Interest_Rate; Interval : Integer) return Money_Radix10 is begin return Money_Radix10( Rate / Interval ); end Factor; ---=---=---=---=---=---=---=---=---=---=--- end CXF2005_1; --==================================================================-- with CXF2005_0; with CXF2005_1; with Report; procedure CXF2005 is Loop_Count : constant := 25_000; type Loop_Range is range 1 .. Loop_Count; begin Report.Test ("CXF2005", "Check decimal multiplication and division, " & "where one operand type is Integer"); ---=---=---=---=---=---=---=---=---=---=--- RADIX_2_SUBTESTS: declare package Radix_2 is new CXF2005_0 (CXF2005_1.Money_Radix2); use type CXF2005_1.Money_Radix2; begin RADIX_2_MULTIPLICATION: declare Rate : constant CXF2005_1.Interest_Rate := 0.127; Period : constant Integer := 12; Expected : constant CXF2005_1.Money_Radix2 := 2_624.88; Balance : CXF2005_1.Money_Radix2 := 1_000.00; Operand : CXF2005_1.Money_Radix2; Increment : CXF2005_1.Money_Radix2; Interval : Integer; begin for I in Loop_Range loop Interval := (Integer(I) mod Period) + 1; -- Range from 1 to 12. Operand := CXF2005_1.Factor (Rate, Period); Increment := Radix_2.Multiply (Operand, Interval); Balance := Balance + Increment; end loop; if Balance /= Expected then Report.Failed ("Error: Radix 2 multiply"); end if; end RADIX_2_MULTIPLICATION; RADIX_2_DIVISION: declare Rate : constant CXF2005_1.Interest_Rate := 0.377; Period : constant Integer := 12; Expected : constant CXF2005_1.Money_Radix2 := 36_215.58; Balance : CXF2005_1.Money_Radix2 := 456_985.01; Operand : CXF2005_1.Money_Radix2; Increment : CXF2005_1.Money_Radix2; Interval : Integer; begin for I in Loop_Range loop Interval := (Integer(I+1000) mod (200*Period)) + 1; -- 1 .. 2400. Operand := CXF2005_1.Factor (Rate, Period); Increment := Radix_2.Divide (Balance, Interval); Balance := Balance - (Operand * Increment); end loop; if Balance /= Expected then Report.Failed ("Error: Radix 2 divide"); end if; end RADIX_2_DIVISION; end RADIX_2_SUBTESTS; ---=---=---=---=---=---=---=---=---=---=--- RADIX_10_SUBTESTS: declare package Radix_10 is new CXF2005_0 (CXF2005_1.Money_Radix10); use type CXF2005_1.Money_Radix10; begin RADIX_10_MULTIPLICATION: declare Rate : constant CXF2005_1.Interest_Rate := 0.721; Period : constant Integer := 12; Expected : constant CXF2005_1.Money_Radix10 := 9_875.62; Balance : CXF2005_1.Money_Radix10 := 126.34; Operand : CXF2005_1.Money_Radix10; Increment : CXF2005_1.Money_Radix10; Interval : Integer; begin for I in Loop_Range loop Interval := (Integer(I) mod Period) + 1; -- Range from 1 to 12. Operand := CXF2005_1.Factor (Rate, Period); Increment := Radix_10.Multiply (Operand, Interval); Balance := Balance + Increment; end loop; if Balance /= Expected then Report.Failed ("Error: Radix 10 multiply"); end if; end RADIX_10_MULTIPLICATION; RADIX_10_DIVISION: declare Rate : constant CXF2005_1.Interest_Rate := 0.547; Period : constant Integer := 12; Expected : constant CXF2005_1.Money_Radix10 := 26_116.37; Balance : CXF2005_1.Money_Radix10 := 770_082.46; Operand : CXF2005_1.Money_Radix10; Increment : CXF2005_1.Money_Radix10; Interval : Integer; begin for I in Loop_Range loop Interval := (Integer(I+1000) mod (200*Period)) + 1; -- 1 .. 2400. Operand := CXF2005_1.Factor (Rate, Period); Increment := Radix_10.Divide (Balance, Interval); Balance := Balance - (Operand * Increment); end loop; if Balance /= Expected then Report.Failed ("Error: Radix 10 divide"); end if; end RADIX_10_DIVISION; end RADIX_10_SUBTESTS; ---=---=---=---=---=---=---=---=---=---=--- Report.Result; end CXF2005;