Re: Subprogram Renaming

[Jonas Nygren <ehsjony@ehs.ericsson.se>]

Robert Dewar wrote:
> 
> 
> YOu put something in the spec if it is part of the specification. One     visible part of the ^^
> can imagine cases where it is part of the spec that A renames B, as for
> example when you deliberately have two names for the identical same
> operation.
> 
> But if the renaming is essentailly just a choice of how a particular
> function is implemented then it is a serious violation of the abstraction
> to expose the renaming.

But it could be put in the private part, without 'exposing the renaming'.
Robert mentioned before that this had a performance drawback but I can't see
that this would be the case if you have a generic package.

I also believe I saw something along the lines that if the renaming is put in 
the package body this limits the possibilities to further override the sub-
program. This could be a motive to put the renaming in the spec part.


-------------------------------------------------------
--    Jonas Nygren
--    ehsjony@ehs.ericsson.se
-------------------------------------------------------