Re: attributes on expressions, not name

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 18-02-28 18:57 , Mehdi Saada wrote:
> why aren't attributes allowed on expressions ?
> Like LINE'Length, assuming LINE is a function returning STRING.

There is no such limitation.

RM 4.1.4: attribute_reference ::= prefix'attribute_designator

RM 4.1: prefix ::= name ...

RM 4.1; name ::= ... function_call ...

> The type of an expression is always static,

The type of the value returned by a function call is known only after 
compile-time overload resolution, which depends on the context of the 
expression. Applying an attribute to (the result of) a function call 
does not always provide enough context to resolve overloading.

In your example, there could be several different functions called LINE, 
some returning types to which the Length attribute could apply, and some 
returning types to which it does not apply. It is not clear which of 
these functions should be called.

If I have one function LINE return String, and another LINE return 
Integer, and try to compute LINE'Length, GNAT tells me:

func_attr.adb:22:41: ambiguous prefix for "Length" attribute

Is that the error message you get?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .