Re: Pop function

[Simon Wright <simon@pushface.org>]

"Rego, P." <pvrego@gmail.com> writes:

> Ok. So it would be like
>
>    procedure Pop (Sender : in out T_List_Ptr;
>                   T_Item : out Integer) is
> 	  Previous_Sender : T_List_Ptr;
[...]
> but in this case I could not call 
>    Some_Obj : access T_List;
>    Other_Int : Integer;
>    ...
>    Other_Int := Some_Obj.Pop;
> because Pop is not a primitive of T_List. The notation Some_Obj.Pop
> would be just sintatic sugar, but would exist a way we can implement
> Pop for using with this? (but sure...that's also ok for the non-sugar
> case)

I don't see why Pop takes T_List_Ptr as an argument. I would have
written

    procedure Pop (Sender : in out T_List;
                   T_Item : out Integer) is

and then it would be primitive (assuming T_List is tagged).

And why is the parameter called Sender? that sounds like a name in the
domain of the problem you're trying to solve, rather than in the domain
of popping an item from a List. Maybe From would be better.

And how come a List has an operation Pop? sounds more like a Stack or a
Queue.