Re: Generics & Elaboration Order

[Robert A Duff <bobduff@world.std.com>]

nospam.andrew.logue@cdcgy.com (Andrew Logue) writes:

> 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 presume Parameter is mode 'in'.  In that case, False is passed.

If Parameter is mode 'in out', then it's like a renaming,
but I don't think that's what you're talking about.

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

No.

- Bob