Re: "use" clauses and Ada 95 OOP

[guerby@gnat.com (Laurent Guerby)]

Mitch> [...]
Mitch> But my point is that a naive Ada 95 reader might think that the
Mitch> call
  
Mitch>     pkg1.func(x)

Mitch> calls the code that is in the body of pkg1.  The syntax in fact
Mitch> implies that strongly.  [...]

   This notation implies that the specification is in pkg1, and the
specification is the important thing, since it's here I'll find the
documentation (no need to look at the body ;-).

   And for dispatching calls, finding the body can be done only at
run-time most of the time. If surprising things can happen, better
document it at the calling point.


-- 
Laurent Guerby <guerby@gnat.com>, Team Ada.
   "Use the Source, Luke. The Source will be with you, always (GPL)."