suppress use of #Txyz in generator

[NicolasAnquetil]

In generator we can write access --|> #TAccess without defining the trait FamixTAccess.

This is a shortcut (syntactic sugar) but I think it introduces confusion on how to use traits.
It would be clearer to force the user to recover the trait (tAccess := self remoteEntity: #TAccess withPrefix: #Famix) and then use the instance variable (access --|> tAccess)

[ClotildeToullec]

Can you be more specific about how it introduces confusion?

This method --|> takes as argument an instance variable (a local class or trait) or a symbol (a remote trait).
It cannot take a symbol for a local trait (this raises an error). Implicitly, if the argument is a symbol, it is necessarily a remote trait.
You would like to remove the use of symbols in this case?

[NicolasAnquetil]

yes I propose to remove the use of symbols.

It makes perfect sense that the method '--|>' can receive a symbol as argument, but when you are designing a meta-model, you are not thinking about methods and their argument, you are thinking about entities and their relationships.

So this is a very different level of thinking, and I think it confuses things (i.e. it confuses me)
By removing the symbol, we would

• force to recover the needed traits (which is ok because this is at the level of entities of a meta-model)
• the notation and behavior would always be the same, so it would be easier to remember

[badetitou]

I agree with Nicolas on this