Closed maxischm closed 5 years ago
If, for example, a pattern and a model are called the same, right now the reference within the RefinementCommand can not be resolved because both are valid SuperTypes in the grammar but not for our implementation of the refinements
If, for example, a pattern and a model are called the same, right now the reference within the RefinementCommand can not be resolved because both are valid SuperTypes in the grammar but not for our implementation of the refinements