mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
Other
1 stars 0 forks source link

Refer to attributes from Match and Apply classes (for DSLTrans and SyVOLT) not as strings #21

Closed levilucio closed 8 years ago

levilucio commented 8 years ago
levilucio commented 8 years ago

The references to attributes work well when the rule is defined inside a Transformation concept instance. However, rules can also exist at the top level of the model and be referred to from the transformation. In these rules the scoping does not work properly.