old-autovect-branch/gcc/testsuite/ada/acats/tests/c3/c35a05d.ada

   1 -- C35A05D.ADA
   2
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 -- CHECK THAT FOR FIXED POINT TYPES THE FORE AND AFT ATTRIBUTES YIELD
  26 -- THE CORRECT VALUES.
  27
  28 -- CASE D: TYPES TYPICAL OF APPLICATIONS USING FIXED POINT ARITHMETIC.
  29
  30 -- WRG 8/14/86
  31
  32 WITH REPORT; USE REPORT;
  33 PROCEDURE C35A05D IS
  34
  35      PI      : CONSTANT := 3.14159_26535_89793_23846;
  36      TWO_PI  : CONSTANT := 2 * PI;
  37      HALF_PI : CONSTANT := PI / 2;
  38
  39      MM : CONSTANT := 23;
  40
  41      -- THE NAME OF EACH TYPE OR SUBTYPE ENDS WITH THAT TYPE'S
  42      -- 'MANTISSA VALUE.
  43
  44      TYPE MICRO_ANGLE_ERROR_M15  IS
  45           DELTA 16.0  RANGE -(2.0 ** 19) .. 2.0 ** 19;
  46      TYPE TRACK_RANGE_M15        IS
  47           DELTA 0.125 RANGE -(2.0 ** 12) .. 2.0 ** 12;
  48      TYPE SECONDS_MM             IS
  49           DELTA 2.0 ** (8 - MM) RANGE -(2.0 ** 8) .. 2.0 ** 8;
  50      TYPE RANGE_CELL_MM          IS
  51           DELTA 2.0 ** (-5)
  52           RANGE -(2.0 ** (MM - 5) ) .. 2.0 ** (MM - 5);
  53
  54      TYPE PIXEL_M10 IS DELTA 1.0 / 1024.0 RANGE 0.0 ..  1.0;
  55      TYPE RULER_M8  IS DELTA 1.0 / 16.0   RANGE 0.0 .. 12.0;
  56
  57      TYPE HOURS_M16 IS DELTA   24.0 * 2.0 ** (-15) RANGE 0.0 ..   24.0;
  58      TYPE MILES_M16 IS DELTA 3000.0 * 2.0 ** (-15) RANGE 0.0 .. 3000.0;
  59
  60      TYPE SYMMETRIC_DEGREES_M7  IS
  61           DELTA 2.0         RANGE -180.0 .. 180.0;
  62      TYPE NATURAL_DEGREES_M15   IS
  63           DELTA 2.0 ** (-6) RANGE    0.0 .. 360.0;
  64      TYPE SYMMETRIC_RADIANS_M16 IS
  65           DELTA     PI * 2.0 ** (-15) RANGE -PI .. PI;
  66      TYPE NATURAL_RADIANS_M8    IS
  67           DELTA TWO_PI * 2.0 ** ( -7) RANGE 0.0 .. TWO_PI;
  68
  69      -------------------------------------------------------------------
  70
  71      SUBTYPE ST_MILES_M8             IS MILES_M16
  72           DELTA 3000.0 * 2.0 ** (-15) RANGE 0.0 .. 10.0;
  73      SUBTYPE ST_NATURAL_DEGREES_M11  IS NATURAL_DEGREES_M15
  74           DELTA 0.25 RANGE 0.0 .. 360.0;
  75      SUBTYPE ST_SYMMETRIC_RADIANS_M8 IS SYMMETRIC_RADIANS_M16
  76           DELTA HALF_PI * 2.0 ** (-7) RANGE -HALF_PI .. HALF_PI;
  77
  78      -------------------------------------------------------------------
  79
  80      PROCEDURE CHECK_FORE_AND_AFT
  81          (NAME        : STRING;
  82           ACTUAL_FORE : INTEGER; CORRECT_FORE : POSITIVE;
  83           ACTUAL_AFT  : INTEGER; CORRECT_AFT  : POSITIVE) IS
  84      BEGIN
  85           IF ACTUAL_FORE /= IDENT_INT (CORRECT_FORE) THEN
  86                FAILED (NAME & "'FORE =" & INTEGER'IMAGE(ACTUAL_FORE) );
  87           END IF;
  88           IF ACTUAL_AFT /= IDENT_INT (CORRECT_AFT) THEN
  89                FAILED (NAME & "'AFT  =" & INTEGER'IMAGE(ACTUAL_AFT) );
  90           END IF;
  91      END CHECK_FORE_AND_AFT;
  92
  93 BEGIN
  94
  95      TEST ("C35A05D", "CHECK THAT FOR FIXED POINT TYPES THE FORE AND " &
  96                       "AFT ATTRIBUTES YIELD THE CORRECT VALUES - " &
  97                       "TYPICAL TYPES");
  98
  99      CHECK_FORE_AND_AFT ("MICRO_ANGLE_ERROR_M15",
 100                                          MICRO_ANGLE_ERROR_M15'FORE, 7,
 101                                          MICRO_ANGLE_ERROR_M15'AFT,  1);
 102
 103      CHECK_FORE_AND_AFT ("TRACK_RANGE_M15", TRACK_RANGE_M15'FORE, 5,
 104                                             TRACK_RANGE_M15'AFT,  1);
 105
 106      CHECK_FORE_AND_AFT ("SECONDS_MM",      SECONDS_MM'FORE, 4,
 107                                             SECONDS_MM'AFT,  5);
 108
 109      CHECK_FORE_AND_AFT ("RANGE_CELL_MM",   RANGE_CELL_MM'FORE, 7,
 110                                             RANGE_CELL_MM'AFT,  2);
 111
 112      CHECK_FORE_AND_AFT ("PIXEL_M10",       PIXEL_M10'FORE, 2,
 113                                             PIXEL_M10'AFT,  4);
 114
 115      CHECK_FORE_AND_AFT ("RULER_M8",        RULER_M8'FORE, 3,
 116                                             RULER_M8'AFT,  2);
 117
 118      CHECK_FORE_AND_AFT ("HOURS_M16",       HOURS_M16'FORE, 3,
 119                                             HOURS_M16'AFT,  4);
 120
 121      CHECK_FORE_AND_AFT ("MILES_M16",       MILES_M16'FORE, 5,
 122                                             MILES_M16'AFT,  2);
 123
 124      CHECK_FORE_AND_AFT ("SYMMETRIC_DEGREES_M7",
 125                                          SYMMETRIC_DEGREES_M7'FORE, 4,
 126                                          SYMMETRIC_DEGREES_M7'AFT,  1);
 127
 128      CHECK_FORE_AND_AFT ("NATURAL_DEGREES_M15",
 129                                          NATURAL_DEGREES_M15'FORE, 4,
 130                                          NATURAL_DEGREES_M15'AFT,  2);
 131
 132      CHECK_FORE_AND_AFT ("SYMMETRIC_RADIANS_M16",
 133                                          SYMMETRIC_RADIANS_M16'FORE, 2,
 134                                          SYMMETRIC_RADIANS_M16'AFT,  5);
 135
 136      CHECK_FORE_AND_AFT ("NATURAL_RADIANS_M8",
 137                                          NATURAL_RADIANS_M8'FORE, 2,
 138                                          NATURAL_RADIANS_M8'AFT,  2);
 139
 140      CHECK_FORE_AND_AFT ("ST_MILES_M8",  ST_MILES_M8'FORE, 3,
 141                                          ST_MILES_M8'AFT,  2);
 142
 143      CHECK_FORE_AND_AFT ("ST_NATURAL_DEGREES_M11",
 144                                        ST_NATURAL_DEGREES_M11'FORE, 4,
 145                                        ST_NATURAL_DEGREES_M11'AFT,  1);
 146
 147      CHECK_FORE_AND_AFT ("ST_SYMMETRIC_RADIANS_M8",
 148                                        ST_SYMMETRIC_RADIANS_M8'FORE, 2,
 149                                        ST_SYMMETRIC_RADIANS_M8'AFT,  2);
 150
 151      RESULT;
 152
 153 END C35A05D;