1-- C35503B.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 'WIDTH' YIELDS THE CORRECT RESULT WHEN THE PREFIX IS A
26-- GENERIC FORMAL DISCRETE TYPE WHOSE ACTUAL PARAMETER IS AN INTEGER
27-- TYPE.
28
29-- RJW 3/17/86
30
31WITH REPORT; USE REPORT;
32
33PROCEDURE C35503B IS
34
35BEGIN
36     TEST ("C35503B", "CHECK THAT 'WIDTH' YIELDS THE CORRECT " &
37                      "RESULT WHEN THE PREFIX IS A GENERIC FORMAL "  &
38                      "DISCRETE TYPE WHOSE ACTUAL PARAMETER IS AN " &
39                      "INTEGER TYPE" );
40
41     DECLARE
42
43          TYPE INT IS RANGE -1000 .. 1000;
44          TYPE INT2 IS NEW INT RANGE 0E8 .. 1E3;
45          SUBTYPE SINT1 IS INT RANGE 00000 .. 300;
46          SUBTYPE SINT2 IS INT RANGE 16#E#E1 .. 2#1111_1111#;
47
48          GENERIC
49               TYPE I IS (<>);
50               W : INTEGER;
51          PROCEDURE P (STR : STRING);
52
53          PROCEDURE P (STR : STRING) IS
54               SUBTYPE SUBI IS I
55                    RANGE I'VAL (IDENT_INT(224)) .. I'VAL (255);
56               SUBTYPE NORANGE IS I
57                    RANGE I'VAL (255) .. I'VAL (IDENT_INT(224));
58          BEGIN
59               IF IDENT_INT(I'WIDTH) /= W THEN
60                    FAILED ( "INCORRECT I'WIDTH FOR " & STR );
61               END IF;
62
63               IF IDENT_INT(SUBI'WIDTH) /= 4 THEN
64                    FAILED ( "INCORRECT SUBI'WIDTH FOR " & STR );
65               END IF;
66
67               IF IDENT_INT(NORANGE'WIDTH) /= 0 THEN
68                    FAILED ( "INCORRECT NORANGE'WIDTH FOR " & STR );
69               END IF;
70          END P;
71
72          PROCEDURE P_INTEGER IS NEW P (INTEGER, INTEGER'WIDTH);
73          PROCEDURE P_INT     IS NEW P (INT, 5);
74          PROCEDURE P_INT2    IS NEW P (INT2, 5);
75          PROCEDURE P_SINT1   IS NEW P (SINT1, 4);
76          PROCEDURE P_SINT2   IS NEW P (SINT2, 4);
77
78     BEGIN
79          P_INTEGER ("'INTEGER'");
80          P_INT     ("'INT'");
81          P_INT2    ("'INT2'");
82          P_SINT1   ("'SINT1'");
83          P_SINT2   ("'SINT2'");
84     END;
85
86     RESULT;
87END C35503B;
88