411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Deref
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
The attribute typ'Deref(expr) where expr is of type System.Address yields the variable of type typ that is located at the given address. It is similar to (totyp (expr).all), where totyp is an unchecked conversion from address to a named access-to- type, except that it yields a variable, so it can be used on the left side of an assignment.