B Cool Plugin |
The B Cool Plugin provides a convenient environnement for B programming with
JEdit.
It allows compiling B sources within JEdit, and shows compilation results.
It also provides help about B symbols, giving for each one his meaning, and
his ascii representation, with the possibility to insert it directly in the
current buffer.
As JEdit programming interface has changed, this plugin works from JEdit 4.0
and late.
Java 1.4 or later is required.
This Plugin uses the B TypeChecker coded by the LIFC.
Some parts of this Plugin are based on the work done by Christelle Balon and
Stéphane Mouchet.
Destination : sets the directory where compiled files are produced.
Source Paths : sets where the TypeChecker can find source files for
potential imports.
Note : the current buffer's directory is always included as a source path for
the compilation.
The "Optional" options :
TypeChecker : As new versions of the LIFC B TypeChecker may be released, use this option to make the plugin use another typeChecker than the one provided with the plugin.
Use Default B Plugin TypeChecker : Makes the plugin uses it's own TypeChecker again.
TypeChecker : Launch compilation of the current buffer.
Symbols : shows B symbols help.
Help : shows Help Window
ToolBar : show the B toolbar (provides one-click compilation!)
The B cool plugin does not perform the same actions when using the internal
or an externel TypeChecker.
Indeed, when the default internal TypeChecker is used, if an error occurs during
compilation, the buffer that contains the error is opened in JEdit and only
the error message is displayed in the help window.
When an external TypeChecker is used, the only action performed after compiling
is to display in the help Window all the TypeChecker messages.