Ada Programming/Attributes/'Image
Jump to navigation
Jump to search
Description[edit | edit source]
X'Image(Y) is an Ada attribute where X is any discrete type and Y is an instance of that type. This attribute returns a string representation of the value passed as input.
This attribute is a useful way to automatically convert from a type value to a string suitable for output.
Example[edit | edit source]
type
My_Enumis
(Enum1, Enum2, Enum3); ...pragma
Assert (My_Enum'Image (Enum1) = "ENUM1");