search

AToMPM / atompm

A Tool for Multi-Paradigm Modeling
https://atompm.github.io/
GNU Lesser General Public License v3.0
22 stars 15 forks source link

Cannot use subclasses in NAC #87

Closed BentleyJOakes closed 3 years ago

BentleyJOakes commented 3 years ago
  1. Create a metamodel with three classes: Super, SubMatch, and SubDontMatch. The latter two are subclasses of the first. Make Super abstract.
  2. Create CS and pattern metamodels
  3. Create a rule that deletes elements of type Super, and create a transformation with an FRule.
  4. Observe that this rule works on instances of SubMatch and SubDontMatch.
  5. Change the rule to have a NAC with an element of SubDontMatch, with same label as in LHS.
  6. Observe that this rule no longer matches on any instances.
BentleyJOakes commented 3 years ago

Fixed by 27ed9dc36f4ccc70b7fdcc3f5b1215dc67b5b4f8