JinnIde - Advanced Features

JinnIde is the Jinni Prolog IDE Plugin for JEdit. From the Cassandra release onwards, a lot of new features have been added that make JinnIde the most powerful of the development environments with Prolog support. Should you find an IDE with Prolog support that achieves such a level, please tell me about it - but I do not think there exists such a thing! See for yourself what JinnIde has to offer:

GUI IDE based development

Now JinnIde comes with a variety of GUI-based helper tools, that make development for Jinni Prolog / Prolog as comfortable as developing Java in a modern Java IDE! JinnIde offers the following:

Simple installation and extensibility

All these features are directly accessible either by shortcut (user configured), from the templates viewer or by selecting a respective menu item from the JinnIde or Templates menu which you find underneath JEdit's Plugins menu.

Server and JinnIde API support

JinniEngineAnswer Framework System (JEAFS) - JinnIde's rule-based validation framework

The JinnIde CLIDE release comes with support for the application of Jinni Prolog as a validation engine. This is accomplished by the following tools available in JinnIde's templates tree: Thus the user is capable of generating the code in the following tool-based way: The Java API for the JinniEngineAnswerFramework consists of the package tools.jinniengineanswer.*; its application is shown through a couple of examples located in the root directory of JinnIde/jEdit. Start them by executing

    java -classpath .:jars/JinnIde.jar:jars/JinnIdeExceptions.jar:jars/jinni.jar TestJinniEngineAnswerFramework2

in jEdit's/JinnIde's console command line. You might want to modify the source. In this case, when recompiling the following line may be handy:

    javac -classpath jars/jinni.jar:.:jars/JinnIdeExceptions.jar:jars/JinnIde.jar TestJinniEngineAnswerFramework2.java

In case of the JinnIde server-based variations start them by executing

    java -classpath .:jars/JinnIde.jar:jars/JinnIdeTestExceptions.jar:jars/jinni.jar TestJinniEngineAnswerFramework3

in jEdit's/JinnIde's console command line. To modify their source recompiling by means of the following line may be handy:

    javac -classpath jars/jinni.jar:.:jars/JinnIdeTestExceptions.jar:jars/JinnIde.jar TestJinniEngineAnswerFramework3.java

Note that the server-based variations require the use of Java's security manager and a Java policy file that is properly setup for the socket-based access of the JinnIde server.

Automated self testability (experimental)

Finally, the latest hot edge of JinnIde's technology is its Test Tool, a pool of automated tests that allow running tests to verify the correctness of particular JinnIde features. It is available through the template viewer and currently includes the following tests:


© 2001-2014 Chico Töpfer