diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxf/cxf2001.a')
| -rw-r--r-- | gcc/testsuite/ada/acats/tests/cxf/cxf2001.a | 755 |
1 files changed, 0 insertions, 755 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxf/cxf2001.a b/gcc/testsuite/ada/acats/tests/cxf/cxf2001.a deleted file mode 100644 index 96d0a0a17d3..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxf/cxf2001.a +++ /dev/null @@ -1,755 +0,0 @@ --- 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; |