record to text in VADS ala Alsys

record to text in VADS ala Alsys

[Chris Warwick]

This may be my poor memory. I recall a feature of the Alsys Ada compiler
where it would translate an arbitrary Ada record into a textual
equivilant. If my memory serves it was something like...

record_type'image(value)

and the result would be

(attribute_name_1 => value, attribute_name_2 => value, ... )

Does anyone know if there is an equvilant feature in VADS? Is there any
easy way to write it?

Re: record to text in VADS ala Alsys

[Robert Dewar]

Chris said


"This may be my poor memory. I recall a feature of the Alsys Ada compiler
where it would translate an arbitrary Ada record into a textual
equivilant. If my memory serves it was something like...

record_type'image(value)

and the result would be

(attribute_name_1 => value, attribute_name_2 => value, ... )

Does anyone know if there is an equvilant feature in VADS? Is there any
easy way to write it?"



First, this could not have been the Image attribute, that would be an
invalid extension of the language. It would be OK to have an impl-def
attribute doing this, and on our list of things to do is to extend
the GNAT attribute Img to have this capability. 

I am not aware of Alsys ever having such an attribute, but I may just be
unaware of this. VADS certainly dos not, at least not the versions we
deal with. 

There is no easy way to write this for yourself (in fact there is no way
at all to write it yourself, easy or hard!)