1-- CA1011A6M.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 IF A SUBPROGRAM BODY IS INITIALLY COMPILED, SUBSEQUENT
26-- ATTEMPTS TO COMPILE A SUBPROGRAM BODY WITH A DIFFERENT PARAMETER AND
27-- RESULT TYPE PROFILE ARE ACCEPTED (SEE AI-00199).
28
29-- SEPARATE FILES ARE:
30--     CA1011A0  A LIBRARY PROCEDURE (CA1011A0).
31--     CA1011A1  A LIBRARY PROCEDURE (CA1011A0).
32--     CA1011A2  A LIBRARY PROCEDURE (CA1011A2).
33--     CA1011A3  A LIBRARY PROCEDURE (CA1011A2).
34--     CA1011A4  A LIBRARY FUNCTION  (CA1011A4).
35--     CA1011A5  A LIBRARY FUNCTION  (CA1011A4).
36--     CA1011A6M THE MAIN PROCEDURE.
37
38-- BHS 7/20/84
39-- JBG 5/23/85
40
41WITH CA1011A0, CA1011A2, CA1011A4;
42WITH REPORT; USE REPORT;
43PROCEDURE CA1011A6M IS
44
45     I : INTEGER := 5;
46     J : FLOAT := 4.0;
47
48BEGIN
49
50     TEST("CA1011A", "ATTEMPTS TO RECOMPILE A SUBPROGRAM WITH " &
51                     "NONCONFORMING PARAMETER OR RESULT TYPE "  &
52                     "PROFILES ARE ACCEPTED");
53
54     CA1011A0(X => I);             -- EXPECT DEFAULT Y
55     IF I = 3 THEN
56          COMMENT ("SECOND DECLARATION OF CA1011A0 INVOKED CORRECTLY");
57     END IF;
58
59     CA1011A2(Y => J);             -- USE DEFAULT X.
60     IF J = 3.0 THEN
61          COMMENT ("SECOND DECLARATION OF CA1011A2 INVOKED CORRECTLY");
62     END IF;
63
64     I := INTEGER(CA1011A4);
65     IF I = 3 THEN
66          COMMENT ("SECOND DECLARATION OF CA1011A4 INVOKED CORRECTLY");
67     END IF;
68
69     RESULT;
70
71END CA1011A6M;
72