Class costructor or ClassifierType generation

Oleg,

If you need to explicitly choose a template fragment to generate code with, you can use $INCLUDE$ macro in your generator.

But mostly you don't do it explicitly. In the example you provided, you should use different concepts for the type itself and for creation of type.

Let's consider some example from MPS:

Here the leftmost "linkedlist" is a LinkedListType, while the rightmost is LinkedListCreator. Generated code depends on concepts of nodes.

If you don't want to create two concepts (in the example - for each collection type), you can create a MyCreator concept, and reference collection's type inside of it. Then you can write a guarding condition for reduction rule for your types - that this rule is not used for nodes inside MyCreator concept:

In that case, you generate a type, in another - creation expression.

Regards,

Mihail