1-- A29003A.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 ALL PREDEFINED ATTRIBUTES EXCEPT DIGITS, DELTA, AND RANGE,
26-- AND ALL PREDEFINED TYPE AND PACKAGE NAMES ARE NOT RESERVED WORDS.
27
28-- AH  8/11/86
29
30WITH REPORT; USE REPORT;
31PROCEDURE A29003A IS
32     SUBTYPE INT IS INTEGER;
33
34-- PREDEFINED ATTRIBUTES
35
36     ADDRESS           : INT := IDENT_INT(0);        -- ATTRIBUTE
37     AFT               : INT := IDENT_INT(0);        -- ATTRIBUTE
38     BASE              : INT := IDENT_INT(0);        -- ATTRIBUTE
39     CALLABLE          : INT := IDENT_INT(0);        -- ATTRIBUTE
40     CONSTRAINED       : INT := IDENT_INT(0);        -- ATTRIBUTE
41     COUNT             : INT := IDENT_INT(0);        -- ATTRIBUTE
42     EMAX              : INT := IDENT_INT(0);        -- ATTRIBUTE
43     EPSILON           : INT := IDENT_INT(0);        -- ATTRIBUTE
44     FIRST             : INT := IDENT_INT(0);        -- ATTRIBUTE
45     FIRST_BIT         : INT := IDENT_INT(0);        -- ATTRIBUTE
46     FORE              : INT := IDENT_INT(0);        -- ATTRIBUTE
47     IMAGE             : INT := IDENT_INT(0);        -- ATTRIBUTE
48     LARGE             : INT := IDENT_INT(0);        -- ATTRIBUTE
49     LAST              : INT := IDENT_INT(0);        -- ATTRIBUTE
50     LAST_BIT          : INT := IDENT_INT(0);        -- ATTRIBUTE
51     LENGTH            : INT := IDENT_INT(0);        -- ATTRIBUTE
52     MACHINE_EMAX      : INT := IDENT_INT(0);        -- ATTRIBUTE
53     MACHINE_EMIN      : INT := IDENT_INT(0);        -- ATTRIBUTE
54     MACHINE_MANTISSA  : INT := IDENT_INT(0);        -- ATTRIBUTE
55     MACHINE_OVERFLOWS : INT := IDENT_INT(0);        -- ATTRIBUTE
56     MACHINE_RADIX     : INT := IDENT_INT(0);        -- ATTRIBUTE
57     MACHINE_ROUNDS    : INT := IDENT_INT(0);        -- ATTRIBUTE
58     MANTISSA          : INT := IDENT_INT(0);        -- ATTRIBUTE
59     POS               : INT := IDENT_INT(0);        -- ATTRIBUTE
60     POSITION          : INT := IDENT_INT(0);        -- ATTRIBUTE
61     PRED              : INT := IDENT_INT(0);        -- ATTRIBUTE
62     SAFE_EMAX         : INT := IDENT_INT(0);        -- ATTRIBUTE
63     SAFE_LARGE        : INT := IDENT_INT(0);        -- ATTRIBUTE
64     SAFE_SMALL        : INT := IDENT_INT(0);        -- ATTRIBUTE
65     SIZE              : INT := IDENT_INT(0);        -- ATTRIBUTE
66     SMALL             : INT := IDENT_INT(0);        -- ATTRIBUTE
67     STORAGE_SIZE      : INT := IDENT_INT(0);        -- ATTRIBUTE
68     SUCC              : INT := IDENT_INT(0);        -- ATTRIBUTE
69     TERMINATED        : INT := IDENT_INT(0);        -- ATTRIBUTE
70     VAL               : INT := IDENT_INT(0);        -- ATTRIBUTE
71     VALUE             : INT := IDENT_INT(0);        -- ATTRIBUTE
72     WIDTH             : INT := IDENT_INT(0);        -- ATTRIBUTE
73
74-- PREDEFINED TYPES
75
76     BOOLEAN   : INT := IDENT_INT(0);                -- TYPE
77     CHARACTER : INT := IDENT_INT(0);                -- TYPE
78     DURATION  : INT := IDENT_INT(0);                -- TYPE
79     FLOAT     : INT := IDENT_INT(0);                -- TYPE
80     INTEGER   : INT := IDENT_INT(0);                -- TYPE
81     NATURAL   : INT := IDENT_INT(0);                -- TYPE
82     POSITIVE  : INT := IDENT_INT(0);                -- TYPE
83     STRING    : INT := IDENT_INT(0);                -- TYPE
84
85-- PREDEFINED PACKAGE NAMES
86
87     ASCII                  : INT := IDENT_INT(0);     -- PACKAGE
88     CALENDAR               : INT := IDENT_INT(0);     -- PACKAGE
89     DIRECT_IO              : INT := IDENT_INT(0);     -- PACKAGE
90     IO_EXCEPTIONS          : INT := IDENT_INT(0);     -- PACKAGE
91     LOW_LEVEL_IO           : INT := IDENT_INT(0);     -- PACKAGE
92     MACHINE_CODE           : INT := IDENT_INT(0);     -- PACKAGE
93     SEQUENTIAL_IO          : INT := IDENT_INT(0);     -- PACKAGE
94     SYSTEM                 : INT := IDENT_INT(0);     -- PACKAGE
95     TEXT_IO                : INT := IDENT_INT(0);     -- PACKAGE
96     UNCHECKED_CONVERSION   : INT := IDENT_INT(0);     -- PACKAGE
97     UNCHECKED_DEALLOCATION : INT := IDENT_INT(0);     -- PACKAGE
98
99BEGIN
100     TEST("A29003A", "NO ADDITIONAL RESERVED WORDS");
101     RESULT;
102END A29003A;
103