3 -- Grant of Unlimited Rights
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
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.
25 -- CHECK THAT INSIDE A PACKAGE BODY NESTED WITHIN ANOTHER PACKAGE BODY
26 -- AN ATTEMPT TO REFERENCE AN IDENTIFIER DECLARED IN THE
27 -- CORRESPONDING PACKAGE SPECIFICATION
28 -- IS SUCCESSFUL EVEN IF THE SAME IDENTIFIER IS DECLARED IN THE
29 -- OUTER PACKAGE (SPECIFICATION OR BODY) OR IN THE
30 -- ENVIRONMENT SURROUNDING THE OUTER PACKAGE BODY.
32 -- INTERACTIONS WITH SEPARATE COMPILATION ARE TESTED IN C83F01C ,
45 X1
, X2
: INTEGER RANGE 1..23 := 17 ;
47 TYPE T1
IS ( A
, B
, C
) ;
54 TEST
( "C83F01B" , "CHECK THAT INSIDE A NESTED PACKAGE BODY" &
55 " AN ATTEMPT TO REFERENCE AN IDENTIFIER" &
56 " DECLARED IN THE CORRESPONDING PACKAGE SPECI" &
57 "FICATION IS SUCCESSFUL EVEN IF THE SAME IDEN" &
58 "TIFIER IS DECLARED IN THE ENVIRONMENT SURROUND"&
59 "ING THE PACKAGE BODY" ) ;
61 COMMENT
("SEPARATELY COMPILED PACKAGES ARE TESTED IN C83F01C, -D");
67 Y1
, Y2
: INTEGER := 100 ;
76 X1
: BOOLEAN := FALSE ;
77 X2
: INTEGER RANGE 1..23 := 11 ;
78 Y1
, Y3
: BOOLEAN := TRUE ;
79 Y2
, Y4
: INTEGER := 5 ;
98 X1
:= NOT X1
AND Y1
AND Y3
;
103 -- INCORRECT INTERPRETATIONS IN THE FIRST TWO
104 -- ASSIGNMENTS MANIFEST THEMSELVES AT
105 -- COMPILE TIME AS TYPE ERRORS
121 THEN FAILED
( "INCORRECT ACCESSING" );
127 RESULT
; -- POSSIBLE ERROR DURING ELABORATION OF P