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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Running a preprocessor from GPS?
Date: Sat, 1 Aug 2015 10:00:15 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <mpits1$puj$1@dont-email.me>
References: <e610ca1e-4df6-4fbb-b3a1-ac35694d9072@googlegroups.com>
 <mp645u$abo$1@loke.gir.dk>
 <2df4698f-4c8e-457c-822d-209cb2f8ab5e@googlegroups.com>
 <mp8r8l$fnn$1@loke.gir.dk>
 <014427b1-ff7a-4a69-82e6-0330af77ed96@googlegroups.com>
 <mpbd8f$re$1@loke.gir.dk>
 <d5a73210-a67f-4d21-8b16-536af10ab157@googlegroups.com>
 <mpborl$6b9$1@dont-email.me>
 <91f88d79-197c-419f-84a8-908e05967a2c@googlegroups.com>
 <d1tst3FoastU1@mid.individual.net> <mpcjpo$93v$1@dont-email.me>
 <135c2b00-d13c-4f5d-a586-8aca442d363b@googlegroups.com>
 <87380683vc.fsf@adaheads.sparre-andersen.dk>
 <347c6be9-c918-4bc0-9494-c93cd6740def@googlegroups.com>
 <mpdts2$72e$3@dont-email.me>
 <4cb32c40-f659-490d-bbb6-73585fc069e8@googlegroups.com>
 <mpfm1b$bif$5@dont-email.me> <mpgcma$hup$1@dont-email.me>
 <7e653a88-e690-431a-9df9-3fc691466e08@googlegroups.com>
 <lyzj2bo4pi.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 1 Aug 2015 16:58:43 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="ee44d3db9c41f5ad88d7e8e8f0268f05";
	logging-data="26579"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19ap/2g/z5MLjk68bXLDn/bOWeLYaoVC4Y="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
In-Reply-To: <lyzj2bo4pi.fsf@pushface.org>
Cancel-Lock: sha1:lBKczdV/M08CiEu9Z4kuQt5J/tI=
X-Enigmail-Draft-Status: N1110
Xref: news.eternal-september.org comp.lang.ada:27301
Date: 2015-08-01T10:00:15-07:00
List-Id: <comp.lang.ada>

On 08/01/2015 12:20 AM, Simon Wright wrote:
> 
> With regard to Carter's point about "instantiation", it's a term that
> Ada has specialised to mean creating an instance of a generic. I don't
> know if there's an Ada term that means creating an object that is an
> instance of a type? I could suggest "reification" :-) but I doubt that
> would fly.

Creating an object of a type can be done in 2 ways in Ada, and there are 2 terms
for it. One is an object declaration:

Object : [constant] Type_Name [:= Initial];

The other is an allocator:

type Type_Ptr is access [all] Type_Name;

Ptr : Type_Ptr;

Ptr := new Type_Name['(Initial)];

-- 
Jeff Carter
"I don't know why I ever come in here. The
flies get the best of everything."
Never Give a Sucker an Even Break
102