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,baa6871d466e5af9 X-Google-Attributes: gid103376,public From: mheaney@ni.net (Matthew Heaney) Subject: Re: AQ&S Guidance on pragma Elaborate_Body Date: 1997/04/24 Message-ID: #1/1 X-Deja-AN: 237016093 References: <528878564wnr@diphi.demon.co.uk> Organization: Estormza Software Newsgroups: comp.lang.ada Date: 1997-04-24T00:00:00+00:00 List-Id: In article , bobduff@world.std.com (Robert A Duff) wrote: >In practice, this leads to the simple rule: Always use Elaborate_All >instead of Elaborate, except when you can't. "When you can't" means >there's some sort of mutual recursion going on, and you have to use >Elaborate instead. OK, just one more mint, wafer thin... What should the instantiator do if the generic has a pragma Pure, Preelab, or Elab_Body? Does the instantiator still have to pragma Elaborate_All the generic package? Or can he omit that pragma? Can you explain when exactly does the pragma Pure of the generic package apply? During elaboration of the generic, or of the instantiation? M. -------------------------------------------------------------------- Matthew Heaney Software Development Consultant (818) 985-1271