OCLNL Tools Download

OCLNL in KeY

From here you can download the tools required for the GF-based functionality in KeY: translating OCL to natural language, and syntax editing of OCL and natural language in parallell.

Currently, you need three external binaries installed in your $PATH (or in $KEY_LIB) : gf, umltypes2gf, and ocl2nl. We provide statically linked linux binaries below, as well as a source distribution which should be easy to compile provided you have a recent version of the GHC Haskell compiler installed.

Check the troubleshooting page for a list of common problems.

Binary Distributions

Download, unpack (tar + bzip2) and install the three binaries somewhere in your $PATH

• Linux binaries, statically linked: OCLNL-linux-static-060803.tar.bz2

Source Distribution

Download archive with Haskell source here: OCLNL-HSdist-060803.tar.bz2

Compile and install as follows (should work on Linux and Mac OS X):

1. Make sure that you have a recent version of the GHC Haskell compiler installed.

2. Unpack (tar + bzip2) the archive and cd into the directory OCLNL-HSdist.

3. Compile everything with the command make key-tools (this will take quite a while).

4. There should now be three binaries in the directory bin. These should be installed somewhere in your $PATH.

Source Repository

We also provide a tar archive of the OCLNL darcs repository, which contains the OCLNL GF grammar and the Haskell sources. (Note: you do not need darcs to use this archive.)

• OCLNL-060808.tar.bz2