comp.lang.ada
 help / color / mirror / Atom feed
From: christoph.grein@eurocopter.com
Subject: Re: Generic formals - meanings and Wikibook suggestion
Date: Mon, 7 Apr 2008 03:08:38 -0700 (PDT)
Date: 2008-04-07T03:08:38-07:00	[thread overview]
Message-ID: <75375a09-0904-4e95-a406-8d1bb8b6227f@c65g2000hsa.googlegroups.com> (raw)
In-Reply-To: f0605eaf-b83f-4289-9256-461efdab99d2@t54g2000hsg.googlegroups.com

type T is private;

Any definite non-private type, i.e. a type that allows assignment and
declaration of objects without initial expression.

type T (<>) is private;

Much like the above, but object declaration require an initial
expression because the type may be indefinite.

BTW: The table is incomplete for Ada 2005: interfaces are missing. I
think there should be separate tables for formal private and derived
types (definite and indefinite) lest the table become too confusing.



  reply	other threads:[~2008-04-07 10:08 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-04-07  9:25 Generic formals - meanings and Wikibook suggestion Maciej Sobczak
2008-04-07 10:08 ` christoph.grein [this message]
2008-04-07 10:19 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox