Hello, The AVISPA Research team has been working on a modification of the oz.el file that adds some new functionality to the mozart menu (a new menu named "Crisol"). This functionality allows the user to remember the basic oz statements easily, and helps the user with some of the parameters of the statements as well.
We did the same with the more important modules of Mozart
We have an auto-complete function that helps the users with the FD and
FS functors, and the users can add their own functors too.
This is a prototype, it works with a couple of python files (so you
need python in your linux), and you can install and uninstall the
module easily. this module won't need python in the future; we are
working on that and on the english version of the manual.
installaling:
python install_crisol (mozart_path)
if you didn't install mozart in a local way you must have root privileges
uninstalling:
python uninstall_crisol
if you didn't install mozart in a local way you must have root privileges
if you want to use the auto-complete function with FD and FS modules,
you only have to write "{FD(S)." and press the tab-key.
if you want to install a functor use:
python install_functor <name of the functor>
the .oz and the .ozf have to be in the same directory
if you want to uninstall a previous installed functor use:
python uninstall_functor <name of the functor>
by the way, i suggest to make a backup of your share/elisp directory.
Any question will be answered ASAP.
Any suggestion is welcome, we really want to create a useful module
for the community.
On 7/25/05, Fred Spiessens <[EMAIL PROTECTED]> wrote:
>
> On 24 Jul 2005, at 00:58, Simon Beaumont wrote:
>
> > On Sat, 23 Jul 2005 18:05:04 +0100, Fred Spiessens wrote
> > (in message <[EMAIL PROTECTED]>):
> >>
> >> Since you had experience, ... any chance we can reuse lisp and/or
> >> mozart
> >> code in an Eclipse plugin?
> >> Any chance we could get you to contribute to such a project?
> >
> > I'll review the code I did for the prolog and make it available - I did
> > an outline view - and consult/reconsult functions in the
> > explorer/outline and text editor views - no nice syntax sensitive stuff
> > and formatting though.
>
> That would be a much appreciated contribution, thanks in advance.
>
> > Even the oultine view required a shallow parse
> > of the source code - it's not too daunting a task - maybe an antlr oz
> > source parser is feasbile here.
> >
> > You'd have to take a close look at the java editor for some hints on
> > this. Also I did background tasks (for long running evals).
> >
> > It's a similar paradigm for oz - take a look at the emacs OPI code to
> > get a view on the integration effort. Full communication with the oz
> > compiler and oz debugger would be the first task (sine qua non).
>
> I agree.
>
> Now back to Nigel Sandever. Nigel, what kind of IDE were you thinking
> of? Would it be possible for you to lead or contribute to an open
> source project on this? What did you have in mind?
>
> Cheers,
>
> Fred.
>
> _________________________________________________________________________________
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
arq_crisol.tgz
Description: GNU Zip compressed data
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
