The following table:
http://en.wikibooks.org/wiki/Ada_Programming/Generics#Generic_formal_types
is extremely useful with generics and provides invaluable help when
writing or reading generic code.
(another way of putting it is that the syntax for generics is just
broken ;-) )
What is missing from this table is the full meaning of the basic:
type T is private;
This basic form is used in many places - even on the same Wikibook
page.
What is the exact meaning of this basic form? What knowledge about T
is expressed this way?
From AARM I conclude that it covers all non-limited types, but
Wikibook provides the same description (second row in the table) for:
type T (<>) is private;
Is there any difference between the two?
(hint: add the basic form to the same table in the Wikibook?)
--
Maciej Sobczak * www.msobczak.com * www.inspirel.com
