Next: , Previous: Has_Discriminants, Up: Implementation Defined Attributes


The Img attribute differs from Image in that it may be applied to objects as well as types, in which case it gives the Image for the subtype of the object. This is convenient for debugging:

     Put_Line ("X = " & X'Img);

has the same meaning as the more verbose:

     Put_Line ("X = " & T'Image (X));

where T is the (sub)type of the object X.