Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/hhu-stups/b-language-server below:

hhu-stups/b-language-server: (READ ONLY MIRROR) A language server implementation for B, using ProB as backend, based on Java/Kotlin

A language server implementation for B, using ProB as backend, based on Java/Kotlin. This language server comes with his own version of probcli.

After starting the server; either from an IDE via main or by building and executing a shadowjar, a language client can connect to it via port 55555.

• Calling ProB Java Kernel with additional options

• Options need to be specified by the client; They are requested by the server

• Options are:

  • val strictChecks : Boolean = true
  • val wdChecks : Boolean = true
  • val performanceHints : Boolean = true
  • val probHome : String = "DEFAULT"
  • val debugMode : Boolean = true

• Setting probHome to a different target then DEFAULT can cause all sorts of bad stuff. Ensure that the path points to the correct directory. Note that any probcli other version then the version used by prob java kernel can cause uncaught errors. If you want to use another version probcli point to the directory, not to probcli.sh e.g.:

/home/sebastian/prob_prolog

• VSCode: https://marketplace.visualstudio.com/items?itemName=SeeBasTStick.b-language-extension

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4