1-- C35502F.TST
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 IMAGE AND VALUE ATTRIBUTES ARE CORRECT FOR A FORMAL
26-- DISCRETE TYPE WHOSE ACTUAL PARAMETER IS AN ENUMERATED TYPE
27-- WITH THE LONGEST POSSIBLE IDENTIFIER AS ONE CONSTANT.
28
29-- PWB  03/05/86
30-- DWC  07/22/87     -- ADDED THE CONSTANT STRING 'STR'.
31
32WITH REPORT; USE REPORT;
33
34PROCEDURE C35502F IS
35
36     -- BIG_ID1 IS AN IDENTIFIER OF MAXIMUM LENGTH.
37     TYPE ENUM IS ( EVAL1,
38$BIG_ID1
39                  );
40
41     -- BIG_STRING1 & BIG_STRING2 YIELDS BIG_ID.
42     STR1 : CONSTANT STRING :=
43$BIG_STRING1;
44     STR2 : CONSTANT STRING :=
45$BIG_STRING2;
46     STR : CONSTANT STRING := STR1 & STR2;
47
48     GENERIC
49          TYPE FORMAL IS (<>);
50     PROCEDURE GEN_PROC;
51
52     PROCEDURE GEN_PROC IS
53     BEGIN
54          VALUE_CHECK:
55          BEGIN
56               IF FORMAL'VALUE (STR) /= FORMAL'LAST THEN
57                    FAILED ("VALUE OF LONG STRING NOT LONG IDENTIFIER");
58               END IF;
59          EXCEPTION
60               WHEN OTHERS =>
61                    FAILED ("EXCEPTION RAISED IN CHECKING " &
62                            "VALUE ATTRIBUTE");
63          END VALUE_CHECK;
64
65          IMAGE_CHECK:
66          BEGIN
67               IF FORMAL'IMAGE (FORMAL'LAST) /= STR
68               THEN
69                    FAILED ("IMAGE OF LONG IDENTIFIER NOT LONG STRING");
70               END IF;
71          EXCEPTION
72               WHEN OTHERS =>
73                    FAILED ("EXCEPTION RAISED IN CHECKING " &
74                            "IMAGE ATTRIBUTE");
75          END IMAGE_CHECK;
76
77     END GEN_PROC;
78
79     PROCEDURE TEST_PROC IS NEW GEN_PROC (ENUM);
80
81BEGIN   -- C35502F
82
83     TEST ("C35502F", "IMAGE AND VALUE ATTRIBUTES FOR A FORMAL " &
84                      "DISCRETE TYPE WITH ONE ACTUAL VALUE HAVING " &
85                      "LONGEST POSSIBLE IDENTIFIER");
86     TEST_PROC;
87     RESULT;
88
89END C35502F;
90