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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,600d9b22cf8375ff
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Generics & Elaboration Order
Date: 2000/05/09
Message-ID: <8f9404$1j4$1@nnrp1.deja.com>#1/1
X-Deja-AN: 621099661
References: <8F2E930FAandrewloguecdcgycom@142.77.1.194>
X-Http-Proxy: 1.0 x34.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue May 09 13:31:48 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-05-09T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <8F2E930FAandrewloguecdcgycom@142.77.1.194>,
  nospam.andrew.logue@cdcgy.com (Andrew Logue) wrote:
> i.e. does the code in package body execute before the generic
> is instantiated?

No, certainly not

Generally the linear elaboration semantics of Ada mean that
an expression is evaluated when you come to it. There are
very few exceptions to this rule (default expressions in
specs are one case, generic templates are the other).


Sent via Deja.com http://www.deja.com/
Before you buy.