Metamodel annotations for model types inference

[tdegueul]

There is currently two ways to define a model type. Either by extracting the exact type of an existing metamodel:

metamodel X {
    ecore "..."
    exactType XMT // <-- Always contains all the features of the Ecore (i.e. no filtering)
}

... or by explicit importing an Ecore file describing it:

modeltype XMT {
    ecore "..."
}

Ecore annotations may be used to explicitly specify the features to be exposed in a metamodel:

metamodel X {
    ecore "..."
    exactType XMT // <-- Reads @Exposed annotations in the Ecore file. Only exposes them.
}