b-language-extension README

Compiler support for B via ProB. You don't need your own version of proB. This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.

In order to change prob_cli versions you need to make the change in the settings and restart the extension (open and close vscode).

Features

Requirements

• Java v.8 or higher. By default java home is considerd to be accessible by typing 'java' in terminal/powershell

Extension Settings

This extension contributes the following settings:

• prob.probHome: to set the path to ProB. Default ist 'DEFAULT' and means that shipped version of prob ist used
• prob.wdChecks: to enable/disable WD (Well-Definedness) Checks.
• prob.strictChecks: to enable/disable stricter Checks.
• prob.performanceHints: to enable/disable performance-related Hints.
• prob.debugMode: to enable/disable the server log

Bugs

• please open an issue at https://github.com/hhu-stups/prob-issues/issues

Server

The language server can be found here https://github.com/SeeBasTStick/b-language-server.

Future plans

• Quickfix support aká Code Completion
• Definition provider

Release Notes

2.1.1

• Updated to ProB 1.13.0
• Updated keywords for B rules machines
• Fixed and expanded snippets for B relation/function operators

Acknowledgements

• big thanks to Sebastian Krings for providing his snippets.