From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,dc92e67e9f6fd6eb
X-Google-Attributes: gid103376,public
From: stt@henning.camb.inmet.com (Tucker Taft)
Subject: Re: Scope of variables in package ??
Date: 1996/06/27
Message-ID: <DtoI9J.FIr.0.-s@inmet.camb.inmet.com>#1/1
X-Deja-AN: 162445357
sender: news@inmet.camb.inmet.com (USENET news)
x-nntp-posting-host: henning.camb.inmet.com
references: <31D1A979.103B@vzcorp.com>
organization: Intermetrics, Inc.
newsgroups: comp.lang.ada
Date: 1996-06-27T00:00:00+00:00
List-Id: <comp.lang.ada>

Sandeep V. Kharkar (skharkar@vzcorp.com) wrote:
: If a function/procedure is defined as SEPARATE,i.e.,
: implementation outside the PACKAGE BODY, can it still see
: variables defined inside the PACKAGE BODY but
: not in the PACKAGE SPECIFICATION  ??

Yes.  The "up-level" visibility in a "subunit" (a nested unit whose
body is separately compiled) is based on the location of the
subunit's "stub", the place where the "is separate;" appears
in the parent's body.

See RM95 10.1.3(1,17) and 10.1.4(2).

: ~Sandeep

: skharkar@vzcorp.com
: http://www.cs.usu.edu/students/SandeepKharkar/index.html

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA