[00:21:27] <ada_ru> (Gourytch) в гомеопатических, я бы даже сказал, количествах )
[00:27:40] <ada_ru> (I_vlxy_I) в диалектических количествах 🙂
[07:30:48] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Биткойны есть? А blo…>
а тебе зачем? о_О
[11:37:44] <ada_ru> (FROL256) Коллеги, подскажите пожалуйста что может быть не так с настройкой GPS если имеем:
[11:37:51] <ada_ru> (FROL256) Put_Line(counter'Image);
[11:38:08] <ada_ru> (FROL256) task1.adb:16:12: prefix of "Image" attribute must be a type
gprbuild: *** compilation phase failed
[11:38:29] <ada_ru> (FROL256) такое только на одной машине с виндовсом воспроизводится ... попробую переустановитьъ
[11:38:50] <ada_ru> (python36) integer'image(counter)
-- or
counter'img
[11:39:05] <ada_ru> (FROL256) аа, спс!
[11:39:10] <ada_ru> (FROL256) попробую
[11:39:38] <ada_ru> (FROL256) а почему же на других у меня работает ...
[11:40:02] <ada_ru> (FROL256) м.б. потому что я включил Аду 2005 ...
[11:40:57] <ada_ru> (I_vlxy_I) А image и img это разные штуки?
[11:53:00] <ada_ru> (FROL256) Да, так работает
[11:53:01] <ada_ru> (FROL256) Put_Line(counter'img);
[11:53:02] <ada_ru> (FROL256) спс!
[11:53:47] <ada_ru> (FROL256) но нипанятна  пачему ... )
[12:06:45] <ada_ru> (Eugene) магия!
[12:07:52] <ada_ru> (python36) ну потому что так и должно быть)
image атрибут типа, а img это гнатовский атрибут применяемый к объектам и автоматически вызывающий image исходя из типа
[12:08:51] <ada_ru> (python36) можно сделать самому функцию которая не нуждается в указании типа
аналог img
with ada.text_io;

procedure test is
 a : integer := 56;
 b : float := 7.8;

 function repr (v : in out integer) return string renames integer'image;
 function repr (v : in out float) return string renames float'image;
begin
 ada.text_io.put_line(repr(a)); -- 56
 ada.text_io.put_line(repr(b)); -- 7.80000E+00
end test;
[12:21:49] <ada_ru> (python36) а работало у Вас потому что скорее всего раньше юзали новую версию
в Аде 2012 за 16 год разрешено применять image на скалерные объекты
[12:31:55] <ada_ru> (FROL256) понял, спасибо!
[12:36:30] <ada_ru> (I_vlxy_I)  отвечает (python36) на <ну потому что так и …>
Непортабельный расширизм?
[13:03:13] <ada_ru> (python36) да
но писать каждый раз через image впадло, тем более что портировать на неГнат в скором времени не придется
[13:06:07] <ada_ru> (I_vlxy_I) А в gnat этот img это фича компилятора, или либы?
[13:12:34] <ada_ru> (python36) компилятора
[13:32:19] <ada_ru> (I_vlxy_I) Либой в точности так не сделать?
[13:50:03] <ada_ru> (python36) а как Вы либой создадите атрибут?
[14:11:55] <ada_ru> (Максим)  отвечает (I_vlxy_I) на <Непортабельный расши…>
Пока не увижу своими глазами, что image работало для объекта – не поверю
[14:13:46] <ada_ru> (Максим)  отвечает (python36) на <можно сделать самому…>
А почему v in out? 😮
[14:20:18] <ada_ru> (python36) эт переписывал старый тест и не убрал
но это ничего не меняет)
[22:46:19] <ada_ru> (Лекс) Подскажите, а можно ли использовать Spark для описания формальной спецификации?