Re: Dot notation in Ada 2005

Hm, somewhat familiar. Something like

type My_Private_Class is private;
...
procedure Do_Something (Argument : in out My_Private_Class);
...
private
type My_Private_Class is tagged record
...
end record;
...

can be called by
...
An_Argument : My_Private_Class;
...
Do_Something (An_Argument);
...

but not by
...
An_Argument.Do_Something;

However, if My_Private_Class is not declared as private, then anything
goes....

What am I missing ???
(BTW: using gcc version 3.4.5 20050524 (prerelease) for GNAT GPL 2005
under Mac OS 10.4)

.

Relevant Pages

  • Loosing tagged type via linked list
    ... I am attempting this in Ada95, with my own Linked_List container impl, ... Ada95 list implementation that can store items of different types ... type A_Type is tagged record ... type List_Type is new Limited_Controlled with private; ...
    (comp.lang.ada)
  • Re: tagged record child: override constructor?
    ... > I have a tagged record that is declared private, ... type X is private; ... Thus it has to be overridden in each derived type. ...
    (comp.lang.ada)
  • Re: Pass by reference
    ... > virtual int Get ... type Silly is tagged record ... the case of non-limited tagged types.) ...
    (comp.lang.ada)
  • Re: Constructing an object
    ... "initialization" I mean performing some actions, ... type Shape is tagged record ... type Shape is new Abstract_Shape with ...; ...
    (comp.lang.ada)
  • Re: Possible Ada deficiency?
    ... > type Public_Type is tagged record ... Only in child packages. ... Jeff Carter "I've got to stay here, but there's no reason why you folks shouldn't go out into the lobby until this thing blows over." ...
    (comp.lang.ada)