Re: Ada Procedure Parameters That Use the Plus Sign

[Jacob Sparre Andersen <sparre@nbi.dk>]

NiGHTS <nights@unku.us> writes:

> I recently stumbled across some Ada code that appends a plus sign in
> front of a parameter name of a function or procedure call. From the
> context it seems like it is doing a forced cast between two
> incompatible types.
>
> Here is one example I found in the AdaGtk demo create_tree_view.adb line 243:
>
> Gtk_New (Tree, +Model);
>
> My questions are:
>
> 1. What is this called? Is there a name for this?

Unary plus operator.

> 2. What exactly is happening here?

A function is called:

   function "+" (Item : in One_Type) return Maybe_Another_Type;

> 3. Is it safe? Should it be avoided?

Yes.  No.

> 4. Is there another way to accomplish this without the use of '+' ?

   function To_Another_Type (Item : in One_Type) return Another_Type;

   Gtk_New (Tree, To_Another_Type (Model));

> 5. Where can I find out more about this?

In the reference manual, and probably also in Ada text books.

Greetings,

Jacob
-- 
"It is very easy to get ridiculously confused about the
 tenses of time travel, but most things can be resolved
 by a sufficiently large ego."