Re: What's it's name again?

[Larry Elmore <ljelmore@attbi.com>]

chris.danx wrote:
> Hi,
> 
> What do you call private types whose declaration is found in the 
> specification but whose definition is found in the body?  I remember 
> reading/hearing that they have a name (or term) associated with them, 
> but can't remember what it is.
> 
> Are there any complications with moving type definitions to the body? 
> (e.g. with controlled types?).  Cohens' book is at the ready, just need 
> their name or a pointer!

I think what you want is covered in 11.2 of Cohen (p. 465 in my copy), 
and they're called incomplete type declarations.

I'm re-learning Ada and just happened to cover that section last night. :)

--Larry