JinnIde - Basic Features
JinnIde is the Jinni Prolog IDE Plugin for JEdit. It combines basic functionality -
as known to typical prolog-based environments - with more advanced properties
only known to modern object-orientated IDEs and beyond:
- consult or reconsult a Jinni Prolog program: consult and reconsult directly work on the current buffer
i.e. you only need to have opened up the respective Jinni Prolog file to consult or reconsult it through
the JinnIde menu or by right mouse click
- renew Jinni Prolog class instances
- initialize Jinni Prolog: there are two (even combinable) methods to initialize Jinni Prolog:
to completely stop the Jinni Prolog engine and assign a new instance
- "reset" to reinitialize the state of the Jinni Prolog engine
- trace any type of Jinni Prolog code: see tracing for the Trace check box and the Listing menu item
- run Jinni Prolog queries in the background: see multithreading for the Background check box
- switch between receiving all answers and answer by answer(default): by default only the first solution is returned, further solutions are returned
by typing "more" or selecting the respective menu item from the JinnIde menu ; otherwise tick the 'All solutions' box to get all solutions at once
- select between a Prolog query output style and a Jinni Prolog-internal output style
- a command line that allows passing any query to Jinni Prolog: after startup this is
activated by selecting "Jinni Prolog" from the Console area's combo box (on the lower left hand side)
- start up Jinni Prolog as a server, see Jinni Prolog Server Setup for the details.
- list Jinni Prolog programs that have been consulted into Jinni's memory.
- automated documentation faclilities: generate documentation for a single file or an entire directory.
See JinniDoc for further details on automated documentation.
All these features are directly accessible either by shortcut, which are user-defined by means of
JEdit's global options menu, by selecting the respective menu item from the
JinnIde menu, which you find underneath JEdit's Plugins menu, or by clicking on the respective icon on the
preconfigured tool bar (requires customization package, see following).
If you have selected the JinnIde customization package at installation time,
a certain pre-customized appearance of JEdit will be the default after startup; otherwise, if you have not already done so, use
the docking feature of JEdit's Console plugin if you want to get the same appearance. Furthermore, this package also sets up
a preconfigured right mouse click menu that also offers automated documentation functionality of the entire
current directory or file plus (re-)consult/renew facilities. See JinniDoc for further details on automated documentation.
© 2001-2014 Chico Töpfer