Re: Better way to fill Storage_IO?

["J-P. Rosen" <rosen@adalog.fr>]

Le 20/05/2021 à 07:38, Niklas Holsti a écrit :
> What could the RM say, as motivation? Your karma will decrease 5 points 
> every time you use 'Image for regular IO? Or every such use brings a 
> 1/10000 chance of aborting the program or producing wrong results? :-)
The concern I have with 'Image is that it provides no formatting.
Also for file IO, Put(I) (from Integer_IO) is better than 
Put(Integer'Image(I)), because the former will never break the value on 
two lines, while the latter can if the line length is bounded, making 
the value impossible to read later. Of course, uses other than file IO 
do not have this constraint.

The concern I have with Obj'Image is that there is no clean model of 
what it is. All other attributes are properly defined as predefined 
functions with a profile, they can be used to instantiate generics, etc.

"X'Image denotes the result of calling function S'Image with Arg being 
X, where S is the nominal subtype of X."

So, it's a special notation, like a kind of macro, with no proper 
definition. This hurts my purist's state of mind...

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr