Re: Ada 2012 : aliased parameters ?

[AdaMagica <christ-usch.grein@t-online.de>]

Aliased parameters are meant to cure a deficiency in e.g. containers.
With current Ada, it's awkward to replace an element of a container.

Now if you make the curser an aliased parameter, the function result
may dereference safely the cursor, since the cursor and the result are
tightly coupled, i.e. the cursor cannot be changed as long as the
function result exists:

function Get (Pos: aliased Cursor) return access Element;

This is the idea. The syntax in this example might not be correct.