JinnIde free download, JinnIde download on software download

Open source IDE Plugin for JEdit JinnIde is a plugin that will allow you to use Jinni within the confines of an IDE integrated in JEdit. Here are some key features of "JinnIde": · consult or reconsult a Jinni program: consult and reconsult directly work on the current buffer i.e. you only need to have opened up the respective Jinni file to consult or reconsult it through the JinnIde menu or by right mouse click · renew Jinni class instances restart Jinni: there are two methods to restart Jinni which may also be combined: · "halt" to completely stop the Jinni engine and assign a new instance · "reset" to reinitialize the state of the Jinni engine · trace any type of Jinni code: see tracing for the Trace check box and the Listing menu item · run Jinni 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-internal output style · a command line that allows passing any query to Jinni: after startup this is activated by selecting "Jinni" from the Console area's combo box (on the lower left hand side) · start up Jinni as a server, see JinnIde Server Setup for the details. · list Jinni 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. Requirements: · JEdit 4.2 · Java · 64 MB RAM (but preferably 256 MB RAM) · at least 512 MB free space on hard disk · Power PC G4 What's New in This Release: · JEAFS fixes · GUI fixes · platform dependency fixes

JinnIde Related Software