An IDE for the IDP system is available as an plugin for the Eclipse framework.

To install, add the repository http://dtai.cs.kuleuven.be/krr/files/software/ide to your eclipse repository list. (see below for detailed instructions)

The plugin was created by Philippe Rivière.

Problems

If you have problems with this plugin, please report an issue.

Detailed installation instructions

IDE plugin for IDP3 based on FO(.)

The software is tested on Linux (Ubuntu 11.10) and Windows 7.
You can find the FAQ at the bottom

Below you find the startup procedure.

1. Startup your Eclipse Environment. If you have no Eclipse installed take a look at www.eclipse.org/downloads/
2. In the menubar, go to: "Help" → "Install New Software..."
3. Click "Add" and fill in the following
   • Name: IDP Repository
   • Location: http://dtai.cs.kuleuven.be/krr/files/software/ide
4. After pressing OK, Eclipse checks the repository.
   If you don't see "IDP" listed or the plugin
   as in the image below when the box "Group items by category" is ticked off then please check the URL
   Make sure to tick the box "Contact all update sites during install to find require software",
   
5. Click "Next", accept the license, click "Finish". Wait until the installation is completed. A warning could occur that the content is not signed, ignore it. At the end of installation, click "Restart Now" when asked.
6. The plugin is now installed.
   (OPTIONAL) To use the plugin more easily, please set your eclipse perspective to "IDP Perspective". You can set the perspective by "Window" → "Open Perspective" → "Other..." and select "IDP Perspective".
   
7. The plugin is now ready to use

Creating an IDP Project...

1. In Eclipse, click in the menu "File" → "New" → "Project". Go to "IDP" and select "Empty IDP Project"
2. Fill in the details and click "Finish"
3. An IDP project is now created. To create a file, go in the menu to "File" → "New" → "File". Select your just created project and enter a filename like "source.idp". Please note to enter the extension .idp at the end of your filename.
4. Click "Finish". The file is now opened in the IDP plugin ready for use.

FAQ

• The IDE does not display Logical Symbols
  1. Check if the font is set in the preferences of Eclipse
     If you have installed this plugin for an already existing Eclipse Environment
     it could be that there are already specific preferences defined for the fonts of Eclipse
     These settings are stored in the .metadata folder in your workspace.
     - The best way is to set the font settings manually :
     Go to "Window" → "Preferences" → "FO" → "Syntax Coloring"
     Click "Restore Defaults". You should now see the correct font settings. e.g, the default font is set to FOLogic-regular-11.
     
     If you can't find the FOLogic font, please check step 2 below.
  2. Check if the font is installed
     When the IDE is installed, it uses Powershell on windows to install the font.
     On Linux the installation uses a bash script to install the font.
     Check on Windows in C:\Windows\Fonts if the font FOLOGIC exists.
     In Linux the font is located at ~/.fonts
     
     When because of restrictions on your system the font is not installed, please
     try to install the fonts manually (FOLOGIC.ttf, FOLOGICB.ttf and FOCONSOLA.TTF).
• Can I use IDP in a Java Project?
  Yes. Create a new Java Project. When adding a xx.idp file
  the IDE will ask to add the XText Nature to the project.
  Click yes and the Java Project is also an IDP Project.