https://github.com/bivab/prob.vim
Show B parse and type errors in vim
https://github.com/bivab/prob.vim
b-method prob vim-plugins
Last synced: 3 months ago
JSON representation
Show B parse and type errors in vim
- Host: GitHub
- URL: https://github.com/bivab/prob.vim
- Owner: bivab
- License: mit
- Created: 2014-12-03T10:28:32.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2017-10-05T12:32:22.000Z (over 8 years ago)
- Last Synced: 2023-04-14T00:38:05.576Z (about 3 years ago)
- Topics: b-method, prob, vim-plugins
- Language: Vim script
- Size: 12.7 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# prob.vim
VIM plugin to show a quickfix list of parse and type errors for classical B
machines (`.mch`) using the command line tool of the
[ProB](http://stups.hhu.de/ProB) animator and model checker for the B-Method.
## Installation
To install, depending on how you manage your VIM plugins place the
corresponding snippet in .vimrc or execute the corresponding commands:
### Vundle
```vim
Plugin 'bivab/prob.vim'
```
### NeoBundle
```vim
NeoBundle 'bivab/prob.vim'
```
### pathogen.vim
```sh
cd ~/.vim/bundle
git clone https://github.com/bivab/prob.vim
```
### Manual Installation
If you do not wan't to use a plugin manager, place a of copy
the contents of this repository into the directores with the corresponding
names within your `~/.vim` directory.
### Requirements
This plugin depends on [ProB
CLI](http://www.stups.hhu.de/ProB/index.php5/ProB_Cli) which is shipped with
[ProB](http://stups.hhu.de/ProB), Additionally the ProB parser depends on Java
7 or later, see [Java requirements for B
parser](http://stups.hhu.de/ProB/index.php5/Download#Java__Requirements_for_B_parser)
for details.
## Configuration
The plugin expects the `probcli` binary in the current `$PATH`. The path to the
binary can be configured by overriding the `g:prob_parser` variable in your
VIM configuration.
```sh
let g:prob_parser = "~/some_path/probcli"
```