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,600d9b22cf8375ff,start
X-Google-Attributes: gid103376,public
From: nospam.andrew.logue@cdcgy.com (Andrew Logue)
Subject: Generics & Elaboration Order
Date: 2000/05/08
Message-ID: <8F2E930FAandrewloguecdcgycom@142.77.1.194>#1/1
X-Deja-AN: 620808667
X-Trace: nnrp1.uunet.ca 957818106 209.167.52.146 (Mon,
 08 May 2000 16:35:06 EDT)
Organization: Computing Devices Canada
User-Agent: Xnews/2.11.08
NNTP-Posting-Date: Mon, 08 May 2000 16:35:06 EDT
Newsgroups: comp.lang.ada
Date: 2000-05-08T00:00:00+00:00
List-Id: <comp.lang.ada>

Hello,

I need help to instantiate a generic package with an actual parameter whose 
value must be determined at run-time.

Please take a peek at the following pseudo-code:


package body main is

  Actual_Parameter : Boolean := False;
  package New_Pack is new Generic_Package( Parameter => Actual_Parameter );

  begin  -- package elaboration code

    if some_package.embedded_computer_type = some_package.type_A then

      Actual_Parameter := True;
 
    else

      Actual_Parameter := False;

    end if;


end main;

Given the above code, and the embedded computer type is type_A, will 
New_Pack be instantiated with an Actual_Parameter value of True or False?

i.e. does the code in package body execute before the generic is 
instantiated?


Thank you for your feedback,

Andrew Logue,
Computing Devices Canada.