| -- CXF2001.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 Divide procedure provides the following results: |
| -- Quotient = Dividend divided by Divisor and |
| -- Remainder = Dividend - (Divisor * Quotient) |
| -- Check that the Remainder is calculated exactly. |
| -- |
| -- TEST DESCRIPTION: |
| -- This test is designed to test the generic procedure Divide found in |
| -- package Ada.Decimal. |
| -- |
| -- The table below attempts to portray the design approach used in this |
| -- test. There are three "dimensions" of concern: |
| -- 1) the delta value of the Quotient and Remainder types, shown as |
| -- column headers, |
| -- 2) specific choices for the Dividend and Divisor numerical values |
| -- (i.e., whether they yielded a repeating/non-terminating result, |
| -- or a terminating result ["exact"]), displayed on the left side |
| -- of the tables, and |
| -- 3) the delta for the Dividend and Divisor. |
| -- |
| -- Each row in the tables indicates a specific test case, showing the |
| -- specific quotient and remainder (under the appropriate Delta column) |
| -- for each combination of dividend and divisor values. Test cases |
| -- follow the top-to-bottom sequence shown in the tables. |
| -- |
| -- Most of the test case sets (same dividend/divisor combinations - |
| -- indicated by dashed horizontal lines in the tables) vary the |
| -- delta of the quotient and remainder types between test cases. This |
| -- allows for an examination of how different deltas for a quotient |
| -- and/or remainder type can influence the results of a division with |
| -- identical dividend and divisor. |
| -- |
| -- Note: Test cases are performed for both Radix 10 and Radix 2 types. |
| -- |
| -- |
| -- Divid Divis Delta Delta Delta Delta Delta |
| -- (Delta)(Delta)| .1 | .01 | .001 | .0001 | .00001 |Test |
| -- |---|---|-----|-----|-----|-----|-----|-----|-----|-----|Case |
| -- quotient | Q | R | Q | R | Q | R | Q | R | Q | R | No. |
| -- --------------------------------------------------------------------------- |
| -- .05 .3 |.1 .02 1,21 |
| -- (.01) (.1) |.1 0 2,22 |
| -- | .16 .002 3,23 |
| -- 0.166666.. | .16 .00 4,24 |
| -- | .166 .0002 5,25 |
| -- --------------------------------------------------------------------------- |
| -- .15 20 | .00 .1500 6,26 |
| -- (.01) (1) | .00 .150 7,27 |
| -- | .00 .15 8,28 |
| -- 0.0075 | .01 .007 9,29 |
| -- | .007 .010 10,30 |
| -- | .0075 .0000 11,31 |
| -- --------------------------------------------------------------------------- |
| -- .03125 .5 | .0625 .0000 12,32 |
| -- (.00001) (.1) | .062 .00025 13,33 |
| -- | .062 .0002 14,34 |
| -- 0.0625 | .062 .000 15,35 |
| -- | .00 .062 16,36 |
| -- | .06 .00125 17,37 |
| -- | .06 .0012 18,38 |
| -- | .06 .001 19,39 |
| -- | .06 .00 20,40 |
| -- --------------------------------------------------------------------------- |
| -- Divide by Zero| Raise Constraint_Error 41 |
| -- --------------------------------------------------------------------------- |
| -- |
| -- |
| -- CHANGE HISTORY: |
| -- 06 Dec 94 SAIC ACVC 2.0 |
| -- 29 Dec 94 SAIC Modified Radix 2 cases to match Radix 10 cases. |
| -- 03 Oct 95 RBKD Modified to fix incorrect remainder results |
| -- 15 Nov 95 SAIC Incorporated reviewer fixes for ACVC 2.0.1. |
| -- |
| --! |
| |
| with Report; |
| with Ada.Decimal; |
| |
| procedure CXF2001 is |
| |
| TC_Verbose : Boolean := False; |
| |
| begin |
| |
| Report.Test ("CXF2001", "Check that the Divide procedure provides " & |
| "correct results. Check that the Remainder " & |
| "is calculated exactly"); |
| Radix_10_Block: |
| declare |
| |
| |
| -- Declare all types and variables used in the various blocks below |
| -- for all Radix 10 evaluations. |
| |
| type DT_1 is delta 1.0 digits 5; |
| type DT_0_1 is delta 0.1 digits 10; |
| type DT_0_01 is delta 0.01 digits 10; |
| type DT_0_001 is delta 0.001 digits 10; |
| type DT_0_0001 is delta 0.0001 digits 10; |
| type DT_0_00001 is delta 0.00001 digits 10; |
| |
| for DT_1'Machine_Radix use 10; |
| for DT_0_1'Machine_Radix use 10; |
| for DT_0_01'Machine_Radix use 10; |
| for DT_0_001'Machine_Radix use 10; |
| for DT_0_0001'Machine_Radix use 10; |
| for DT_0_00001'Machine_Radix use 10; |
| |
| Dd_1, Dv_1, Quot_1, Rem_1 : DT_1 := 0.0; |
| Dd_0_1, Dv_0_1, Quot_0_1, Rem_0_1 : DT_0_1 := 0.0; |
| Dd_0_01, Dv_0_01, Quot_0_01, Rem_0_01 : DT_0_01 := 0.0; |
| Dd_0_001, Dv_0_001, Quot_0_001, Rem_0_001 : DT_0_001 := 0.0; |
| Dd_0_0001, Dv_0_0001, Quot_0_0001, Rem_0_0001 : DT_0_0001 := 0.0; |
| Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0; |
| |
| begin |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(Dividend_Type => DT_0_01, |
| Divisor_Type => DT_0_1, |
| Quotient_Type => DT_0_1, |
| Remainder_Type => DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 1"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01); |
| if Quot_0_1 /= DT_0_1(0.1) or Rem_0_01 /= DT_0_01(0.02) then |
| Report.Failed("Incorrect values returned, Case 1"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1); |
| begin |
| if TC_Verbose then Report.Comment("Case 2"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1); |
| if Quot_0_1 /= DT_0_1(0.1) or Rem_0_1 /= DT_0_1(0.0) then |
| Report.Failed("Incorrect values returned, Case 2"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 3"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.16) or Rem_0_001 /= DT_0_001(0.002) then |
| Report.Failed("Incorrect values returned, Case 3"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 4"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.16) or Rem_0_01 /= DT_0_01(0.0) then |
| Report.Failed("Incorrect values returned, Case 4"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 5"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001); |
| if Quot_0_001 /= DT_0_001(0.166) or |
| Rem_0_0001 /= DT_0_0001(0.0002) |
| then |
| Report.Failed("Incorrect values returned, Case 5"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 6"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then |
| Report.Failed("Incorrect values returned, Case 6"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 7"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then |
| Report.Failed("Incorrect values returned, Case 7"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 8"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then |
| Report.Failed("Incorrect values returned, Case 8"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 9"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001); |
| if Quot_0_001 /= DT_0_001(0.007) or Rem_0_001 /= DT_0_001(0.01) then |
| Report.Failed("Incorrect values returned, Case 9"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 10"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01); |
| if Quot_0_001 /= DT_0_001(0.007) or Rem_0_01 /= DT_0_01(0.01) then |
| Report.Failed("Incorrect values returned, Case 10"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 11"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001); |
| if Quot_0_0001 /= DT_0_0001(0.0075) or |
| Rem_0_0001 /= DT_0_0001(0.0) |
| then |
| Report.Failed("Incorrect values returned, Case 11"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 12"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001); |
| if Quot_0_0001 /= DT_0_0001(0.0625) or |
| Rem_0_0001 /= DT_0_0001(0.0) |
| then |
| Report.Failed("Incorrect values returned, Case 12"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001); |
| begin |
| if TC_Verbose then Report.Comment("Case 13"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001); |
| if Quot_0_001 /= DT_0_001(0.062) or |
| Rem_0_00001 /= DT_0_00001(0.00025) |
| then |
| Report.Failed("Incorrect values returned, Case 13"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 14"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001); |
| if Quot_0_001 /= DT_0_001(0.062) or |
| Rem_0_0001 /= DT_0_0001(0.0002) |
| then |
| Report.Failed("Incorrect values returned, Case 14"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 15"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001); |
| if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000) |
| then |
| Report.Failed("Incorrect values returned, Case 15"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 16"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01); |
| if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then |
| Report.Failed("Incorrect values returned, Case 16"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001); |
| begin |
| if TC_Verbose then Report.Comment("Case 17"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125) |
| then |
| Report.Failed("Incorrect values returned, Case 17"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 18"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012) |
| then |
| Report.Failed("Incorrect values returned, Case 18"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 19"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then |
| Report.Failed("Incorrect values returned, Case 19"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 20"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then |
| Report.Failed("Incorrect values returned, Case 20"); |
| end if; |
| end; |
| |
| |
| exception |
| when others => Report.Failed("Exception raised in Radix_10_Block"); |
| end Radix_10_Block; |
| |
| |
| |
| Radix_2_Block: |
| declare |
| |
| -- Declare all types and variables used in the various blocks below |
| -- for all Radix 2 evaluations. |
| |
| type DT_1 is delta 1.0 digits 5; |
| type DT_0_1 is delta 0.1 digits 10; |
| type DT_0_01 is delta 0.01 digits 10; |
| type DT_0_001 is delta 0.001 digits 10; |
| type DT_0_0001 is delta 0.0001 digits 10; |
| type DT_0_00001 is delta 0.00001 digits 10; |
| |
| for DT_1'Machine_Radix use 2; |
| for DT_0_1'Machine_Radix use 2; |
| for DT_0_01'Machine_Radix use 2; |
| for DT_0_001'Machine_Radix use 2; |
| for DT_0_0001'Machine_Radix use 2; |
| for DT_0_00001'Machine_Radix use 2; |
| |
| Dd_1, Dv_1, Quot_1, Rem_1 : DT_1 := 0.0; |
| Dd_0_1, Dv_0_1, Quot_0_1, Rem_0_1 : DT_0_1 := 0.0; |
| Dd_0_01, Dv_0_01, Quot_0_01, Rem_0_01 : DT_0_01 := 0.0; |
| Dd_0_001, Dv_0_001, Quot_0_001, Rem_0_001 : DT_0_001 := 0.0; |
| Dd_0_0001, Dv_0_0001, Quot_0_0001, Rem_0_0001 : DT_0_0001 := 0.0; |
| Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0; |
| |
| begin |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(Dividend_Type => DT_0_01, |
| Divisor_Type => DT_0_1, |
| Quotient_Type => DT_0_1, |
| Remainder_Type => DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 21"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01); |
| if Quot_0_1 /= DT_0_1(0.1) or Rem_0_01 /= DT_0_01(0.02) then |
| Report.Failed("Incorrect values returned, Case 21"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1); |
| begin |
| if TC_Verbose then Report.Comment("Case 22"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1); |
| if Quot_0_1 /= DT_0_1(0.1) or Rem_0_1 /= DT_0_1(0.0) then |
| Report.Failed("Incorrect values returned, Case 22"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 23"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.16) or Rem_0_001 /= DT_0_001(0.002) then |
| Report.Failed("Incorrect values returned, Case 23"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 24"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.16) or Rem_0_01 /= DT_0_01(0.0) then |
| Report.Failed("Incorrect values returned, Case 24"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 25"); end if; |
| Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3); |
| Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001); |
| if Quot_0_001 /= DT_0_001(0.166) or |
| Rem_0_0001 /= DT_0_0001(0.0002) |
| then |
| Report.Failed("Incorrect values returned, Case 25"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 26"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then |
| Report.Failed("Incorrect values returned, Case 26"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 27"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then |
| Report.Failed("Incorrect values returned, Case 27"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 28"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then |
| Report.Failed("Incorrect values returned, Case 28"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 29"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001); |
| if Quot_0_001 /= DT_0_001(0.007) or Rem_0_001 /= DT_0_001(0.01) then |
| Report.Failed("Incorrect values returned, Case 29"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 30"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01); |
| if Quot_0_001 /= DT_0_001(0.007) or Rem_0_01 /= DT_0_01(0.01) then |
| Report.Failed("Incorrect values returned, Case 30"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 31"); end if; |
| Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20); |
| Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001); |
| if Quot_0_0001 /= DT_0_0001(0.0075) or |
| Rem_0_0001 /= DT_0_0001(0.0) |
| then |
| Report.Failed("Incorrect values returned, Case 31"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 32"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001); |
| if Quot_0_0001 /= DT_0_0001(0.0625) or |
| Rem_0_0001 /= DT_0_0001(0.0) |
| then |
| Report.Failed("Incorrect values returned, Case 32"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001); |
| begin |
| if TC_Verbose then Report.Comment("Case 33"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001); |
| if Quot_0_001 /= DT_0_001(0.062) or |
| Rem_0_00001 /= DT_0_00001(0.00025) |
| then |
| Report.Failed("Incorrect values returned, Case 33"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 34"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001); |
| if Quot_0_001 /= DT_0_001(0.062) or |
| Rem_0_0001 /= DT_0_0001(0.0002) |
| then |
| Report.Failed("Incorrect values returned, Case 34"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 35"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001); |
| if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000) |
| then |
| Report.Failed("Incorrect values returned, Case 35"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 36"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01); |
| if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then |
| Report.Failed("Incorrect values returned, Case 36"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001); |
| begin |
| if TC_Verbose then Report.Comment("Case 37"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125) |
| then |
| Report.Failed("Incorrect values returned, Case 37"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 38"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012) |
| then |
| Report.Failed("Incorrect values returned, Case 38"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001); |
| begin |
| if TC_Verbose then Report.Comment("Case 39"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then |
| Report.Failed("Incorrect values returned, Case 39"); |
| end if; |
| end; |
| |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01); |
| begin |
| if TC_Verbose then Report.Comment("Case 40"); end if; |
| Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5); |
| Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01); |
| if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then |
| Report.Failed("Incorrect values returned, Case 40"); |
| end if; |
| end; |
| |
| declare |
| procedure Div is |
| new Ada.Decimal.Divide(DT_0_0001, DT_1, DT_0_0001, DT_0_0001); |
| begin |
| if TC_Verbose then Report.Comment("Case 41"); end if; |
| Dd_0_0001 := (DT_0_0001(6062.0) / DT_0_0001(16384.0)); |
| Dv_1 := DT_1(0.0); |
| Div(Dd_0_0001, Dv_1, Quot_0_0001, Rem_0_0001); |
| Report.Failed("Divide by Zero didn't raise Constraint_Error, " & |
| "Case 41"); |
| exception |
| when Constraint_Error => null; -- OK, expected exception. |
| when others => |
| Report.Failed("Unexpected exception raised by Divide by Zero," & |
| "Case 41"); |
| end; |
| |
| exception |
| when others => Report.Failed("Exception raised in Radix_10_Block"); |
| end Radix_2_Block; |
| |
| |
| Report.Result; |
| |
| end CXF2001; |
