1-- CA5003B5M.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 THE ELABORATION OF LIBRARY UNITS REQUIRED BY
26--   A MAIN PROGRAM IS PERFORMED CONSISTENTLY WITH THE PARTIAL
27--   ORDERING DEFINED BY THE COMPILATION ORDER RULES.
28-- IN PARTICULAR, CHECK THAT A LIBRARY UNIT MENTIONED IN THE
29--   WITH_CLAUSE OF A SUBUNIT IS ELABORATED PRIOR TO THE BODY OF
30--   THE ANCESTOR UNIT.
31
32-- SEPARATE FILES ARE:
33--   CA5003B0  A LIBRARY PACKAGE.
34--   CA5003B1  A LIBRARY PACKAGE.
35--   CA5003B2  A SUBUNIT PACKAGE BODY (_B1._B2).
36--   CA5003B3  A LIBRARY PACKAGE DECLARATION.
37--   CA5003B4  A SUBUNIT PACKAGE BODY (_B1._B2._B4).
38--   CA5003B5M THE MAIN PROCEDURE.
39
40-- LIBRARY PACKAGES MUST BE ELABORATED IN ORDER: _B0, _B3, _B1.
41-- PARENT UNITS MUST BE ELABORATED BEFORE THEIR SUBUNITS.
42
43-- WKB 7/22/81
44-- JBG 10/6/83
45-- BHS 8/02/84
46-- JRK 9/20/84
47
48WITH REPORT, CA5003B0;
49USE REPORT, CA5003B0;
50WITH CA5003B1;
51PROCEDURE CA5003B5M IS
52
53BEGIN
54     TEST ("CA5003B", "CHECK THAT UNITS IN WITH_CLAUSES OF " &
55                      "SUBUNITS ARE ELABORATED PRIOR TO THE " &
56                      "BODY OF THE ANCESTOR UNIT");
57
58     COMMENT ("ACTUAL ELABORATION ORDER WAS " & ORDER);
59
60     IF ORDER /= "3124" THEN
61          FAILED ("ILLEGAL ELABORATION ORDER");
62     END IF;
63
64     RESULT;
65END CA5003B5M;
66