Re: Running a preprocessor from GPS?

["Randy Brukardt" <randy@rrsoftware.com>]

<Stefan.Lucks@uni-weimar.de> wrote in message 
news:alpine.DEB.2.20.1507311715090.24880@debian...
On Thu, 30 Jul 2015, Randy Brukardt wrote:

>>> and extension of this attribute to cover record and array types.
>>
>> We've tried that (and the topic is still open, AI12-0020-1), but it 
>> quickly
>> runs into a host of little problems (what do to with access components?
>> How/whether to make a matching 'Value? What about private components? 
>> Etc.)
>> I wouldn't count on seeing that ever happen.
>
>How about supporting
>
>   T'Image (or O'Image for objects of type T)
>
>if and only if T'Image has explicitely been defined?
>
>...

There would be a contract model problem (in a generic, you couldn't know if 
a formal private type had 'Image). That's solveable.

The real problem is that this doesn't buy much of anything. All it does is 
changes the name slightly, as anyone can define a function Image for their 
type. And the call is easier than the attribute reference since you don't 
have to figure out the name of the subtype:
     Image (Obj)
or
     Obj.Image   -- If Obj has a tagged type.

vs.

    My_Type'Image (Obj)

The gain from having an attribute is when it is automatically created in 
some cases (that's true for Streams, and it's true here). And that's where 
the issues pop up.

                                           Randy.