Once executed features lacks a feature name

[maqamylee0]

Hi, @carlfriess @monga @robertopinotti @Costava
I found it confusing that the once executed features example at https://eiffel-guide.com/ has no feature name. I would suggest adding perhaps "full_name : STRING" as the feature name.

[carlfriess]

Hi @maqamylee0, thanks for the feedback! Could you elaborate a little what was unclear? The example shows three features the first two are regular features (first_name and last_name) and the third is a once executed feature (full_name). Please feel free to make a suggestion on how to write it more clearly.

[maqamylee0]

Hi @carlfriess, thanks for that clarification. It seemed quite unclear whether the last feature was an attribute or a function. Perhaps adding a space between the it and the first two attributes could be more clear, or some comments.
Thanks.