Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 338064

Summary: inheritance between abstract rules does not work
Product: [Modeling] MMT.ATL Reporter: Mathieu Velten <mathieu.velten>
Component: emfvmAssignee: mmt-atl.toolkit-inbox <mmt-atl.toolkit-inbox>
Status: NEW --- QA Contact:
Severity: normal    
Priority: P3    
Version: unspecified   
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard:

Description Mathieu Velten CLA 2011-02-24 05:45:13 EST
hi,

I am having trouble using inheritance between abstract rules.

I want to use inheritance between abstract rules to have a hierarchy of generic rules without copy/paste common code between them. Here is an example :

abstract rule A {
   from X : xType
   to Y : yType
}
abstract rule B extends A {
   from X : xType
   to Y : yType
}
abstract rule C extends A {
   from X : xType
   to Y : yType
}

rule D extends B {
   from X : xType (condition)
   to Y : yType
}
rule E extends C {
   from X : xType (condition)
   to Y : yType
}

I am using the emf vm and rules that inherit C are just ignored.
It depends of the order since if I inverse B and C rules that inherit B are ignored.

do you have any hint where I should look to fix that if you don't have time to do it ?

Thanks.