with ada.text_io; use ada.text_io;
with ada.integer_text_io; use ada.integer_text_io;
-- with ada.text_io.Enumeration_io;
procedure attributes is
i: Integer;
n: Natural;
p: Positive;
b: Boolean;
c: Character;
package Boolean_io is new Enumeration_io(Boolean);
use Boolean_io;
begin
-- Type'first, Type'last
put(Integer'first); new_line;
put(Integer'last); new_line;
put(Natural'first); new_line;
put(Natural'last); new_line;
put(Boolean'first); new_line;
put(Boolean'last); new_line;
-- 'image and 'value are inverses
i := Integer'value("123");
put(i); new_line;
put_line(integer'image(integer'value("456")));
-- put(("456")'val);
--
put(Boolean'val(0)); -- false
put(Boolean'pos(true)); -- 0
put(Character'val(65)); -- 'A'
put(Character'pos('A')); -- 65
end attributes;