I used eventb.ecore https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sh arp/trunk/EMF_EventB/org.eventb.emf.core/model/eventbcore.ec ore<https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/EMF_EventB/org.eventb.emf.core/model/eventbcore.ecore> when i execute rule trans { from u: uml! PackageableElement to eventb! machine(name<-u.name)}
i have this error message : org.eclipse.m2m.atl.engine.emfvm.VMException: The class 'EModelElement' is not a valid classifier at __matchtransformation(newtrans.atl[255:11-255:25]) local variables: self=thisModule, u=IN2!<unnamed>:uml!Model at __matcher__(newtrans.atl) local variables: self=thisModule at main(newtrans.atl) local variables: self=thisModule how i can resolve this problem thanks
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
