From: Thomas M. <tho...@sy...> - 2011-07-29 08:37:47
|
Le 28/07/2011 22:39, Aymerick Savary a écrit : > Hello, > > I'm a master student and I actually work with rodin for my researches. I > need to develop a plug-in for Rodin able to manipulate and automatically > generate models. I have read the wiki but i can't start. > To start I just want to read a model, change a guard in an event, then > save this modifications in a new model. > If somebody can help me? > > Aymerick Savary Dear Aymerick, Your request is more 'development oriented'. Thus, could you subscribe to/use, in the future, the list : rod...@li... Concerning the operations you want to perform, please have a look at the provided API which take place: - in the package org.eventb.core (of the plug-in org.eventb.core [particularly IEventBProject, IEventBRoot, IEvent... ), - in the package org.rodinp.core (of the plug-in org.rodinp.core [particularly IRodinFile, IInternalElement...). Beyond that, I strongly advise you to read the following wiki pages : http://wiki.event-b.org/index.php/Plug-in_Tutorial Hope this will help. Best regards, Thomas -- ------------------------------------------------------------------------ Thomas MULLER Tél. : (+33)(0)4 42 90 65 66 Engineer in Formal Methods SYSTEREL ------------------------------------------------------------------------ Standard / Fax : (+33)(0)4 42 90 41 20 / 29 site : www.systerel.fr ------------------------------------------------------------------------ |