Description Mathieu Velten 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.