Re: Subtypes do not Statically Match

[John Harbaugh <john.s.harbaugh2@boeing.com>]

Quite true.  The access parameter was chosen because we want to pass a
pointer from a list (classwide pointers actually), rather than to force
passing by reference.  

Cheers,

	- John

Gautier wrote:
> 
> >    function The_Handle(Obj : access Object) return String_Ref is
>                                ^
> A detail: you don't need the access there ( C's * or Pascal's VAR ):
> the "in" parameter will pass a reference for that object; an explicit
> "access" might even cause slowdowns (pointer on pointer) in some cases!
> 
> >    begin
> >       return Obj.Component'access;
> >       --Error: object subtype must statically match designated subtype
> >    end;
> 
> --
> Gautier
> 
> --------
> http://members.xoom.com/gdemont/