Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
4.3.8 How to import a Event-B Project?
A “.zip" file corresponding to a project which has been exported elsewhere can be imported locally. In order to do this, click on File 
Import from the menubar. In the import wizard, select General Existing Projects into Workspace and click Next 
. Then, enter the file name of the imported project and finally click Finish. As with exporting, the menu sequence and layout are part of Eclipse.
The importation will fail if the name of the imported project (not the name of the file) is the same as the name of an existing local project. The moral of the story is that when exporting a project to a partner you need to modify its name in case your partner already has a project with that same name (which could be a previous version of the exported project). Changing the name of a project is explained in the next section.
|
|
|
|
|
|