1-- LA140161.A
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--
26-- OBJECTIVE:
27--      See LA140162.AM.
28--
29-- TEST DESCRIPTION:
30--      See LA140162.AM.
31--
32-- SPECIAL REQUIREMENTS:
33--      See LA140162.AM.
34--
35-- TEST FILES:
36--      This test consists of the following files:
37--         LA140160.A
38--      -> LA140161.A
39--         LA140162.AM
40--         LA140162.A
41--
42-- PASS/FAIL CRITERIA:
43--      See LA140162.AM.
44--
45-- CHANGE HISTORY:
46--     07 DEC 96   SAIC        ACVC 2.1: Initial version.
47--
48--!
49
50with LA14016_0;
51generic
52     type T is new LA14016_0.tagged_type with private;
53     type count_type is range <>;
54package LA14016_1 is
55     default_status : constant LA14016_0.status_code := 0;
56     type new_t is new T with
57          record
58               count : count_type;
59          end record;
60     function status (param : new_t) return LA14016_0.status_code;
61
62     procedure inc (param : in out new_t);
63end LA14016_1;
64