![]() It adds syntax highlighting and snippets for the specification languages B and Event-B to VSCode. There is a package called B/ProB Language Support available for the VSCode editor. VIM has builtin syntax highlighting support for B. It shows a quick fix list of parse and type errors for classical B machines (.mch) using the command line tool probcli. In case errors occurred with the last command, this will also try and move the cursor to the corresponding location in the file. The probcli REPL (read-eval-print-loop) supports the command :e to open the current file in the external editor, as specified in the "EDITOR" preference. You can also use the command-key shortcut "Cmd-E" for this. You can then use the command "Open FILE in external editor" in the "File" menu to open your main specification file with this editor. You can setup the editor to be used by modifying the preference "Path to External Text Editor" in the "Advanced Preferences" list (available in the "Preferences" menu). It is possible to open the files in an external editor. Hence, syntax highlighting is automatically turned off in some circumstances (when more than 50,000 characters are encountered or when a line is longer than 500 characters).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |