Ada Programming/Attributes/'Img

Description
The  attribute differs from   in that, while both can be applied directly to an object,   cannot be applied to types.

Example usage of the attribute: which has the same meaning as the more verbose: where  is the (sub)type of the object.

Note that technically, in analogy to,   returns a parameterless function that returns the appropriate string when called. This means that  can be renamed as a function-returning-string, or used in an instantiation as a function parameter.