Integration of Clafer into VIM editing environment
ver. 1
Andrzej Wąsowski
- syntax highlighting for structural and behavioral Clafer, including marking simple errors
- indentation based folding for collapsing parts of the model (experimental)
After installing (see below) just open or create a Clafer file with a .cfr extension. Highlighting and folding should work out of the box.
Please use a package manager. This plugin should work with pathogen and vundle. It should be cloned to your bundle directory.
I am using vundle, so
I added to the vundle section of my .vimrc file:
Plugin 'wasowski/clafer-vim'
Then I start (or restart) vim and run
:PluginInstall
After the command has terminated, you should be ready to clafer.
To update the plugin to the newest version on Github just run:
:PluginUpdate
To uninstall, remove the clafer-vim line from .vimrc first, then restart vim and run
:PluginClean
- Folding is dependent on the depth of indentation. Doesn't always work.
- make folding robust
- provide indentation logics, if any
- integrate use of tags for navigation in the model
- integrate instance generator
- provide a plugin menu for Clafer
- write a help file
Pull requests are welcomed.