Hi all



Is it legal to declare several attributes of the same kind for a particular
definition assuming that all of them are not qualified?



For example:



type integer INT

with

{

display "aaa"

display "bbb"

display "ccc"

}



There are no restrictions in the standard (at least I didn't find them) but
what confuses me is the TCI specification. tciGetTypeEncoding() and
tciGetTypeEncodingVariant() operations return single string while
tciGetTypeExtension() return string list. Strange that there are no
operations to query "display" attributes.



I looked at TFT specification and found that declaring multiple "display"
attributes for a language construct is widely used there. So it's allowed?
Or TFT is not correct in this part.



And then we have attribute rewriting rules. If I declare several "display"
attributes on upper scope (e.g. module) and one display attribute on lower
scope (e.g. type definition) then according to attribute rewriting rules
single attribute at type definition rewrite all attributes at module
definition. Sounds clear but just to double check.



Best regards,

Pavel Yakovenko