Skip to content
Snippets Groups Projects
Commit 3f214d3d authored by SeeBasTStick's avatar SeeBasTStick
Browse files

renamed file to make description more fitting

parent 517534e0
Branches
Tags
No related merge requests found
.vscode/** .vscode/**
.vscode-test/** .vscode-test/**
.gitignore .gitignore
media/screencapture.gif ./media/screencapture.gif
optionAdder.py optionAdder.py
vsc-extension-quickstart.md vsc-extension-quickstart.md
# b-eventb-language-extension README # b-language-extension README
Compiler support for b/eventb via ProB. You need a nightly build of ProB to fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version. Compiler support for B via ProB. You need a nightly build of ProB to fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version.
## Features ## Features
![animation](https://raw.githubusercontent.com/SeeBasTStick/b-eventb-language-extension/master/media/screencaputer.gif) ![animation](https://raw.githubusercontent.com/SeeBasTStick/b-language-extension/master/media/screencaputer.gif)
## Requirements ## Requirements
...@@ -26,14 +26,12 @@ This extension contributes the following settings: ...@@ -26,14 +26,12 @@ This extension contributes the following settings:
Please note that user settings overwrite workspace settings. Please note that user settings overwrite workspace settings.
## Bugs ## Bugs
- please open an issue at https://github.com/SeeBasTStick/b-eventb-language-extension - please open an issue at https://github.com/SeeBasTStick/b-language-extension
## Future plans ## Future plans
- Linter Support - Linter Support (via Server, is still in development by Mircosoft)
- Keyword support
- Quickfix support aká Code Completion - Quickfix support aká Code Completion
- WD Support
## Release Notes ## Release Notes
......
{ {
"name": "lsp-b-eventb-client", "name": "lsp-b-client",
"version": "0.0.1", "version": "0.0.1",
"lockfileVersion": 1, "lockfileVersion": 1,
"requires": true, "requires": true,
......
{ {
"name": "lsp-b-eventb-client", "name": "lsp-b-client",
"description": "client part of the language pack", "description": "client part of the language pack",
"author": "Sebastian Stock", "author": "Sebastian Stock",
"license": "MIT", "license": "MIT",
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
"publisher": "SeeBasTStick", "publisher": "SeeBasTStick",
"repository": { "repository": {
"type": "git", "type": "git",
"url": "https://github.com/SeeBasTStick/b-eventb-language-extension" "url": "https://github.com/hhu-stups/b-language-extension"
}, },
"engines": { "engines": {
"vscode": "^1.43.0" "vscode": "^1.43.0"
......
...@@ -38,8 +38,8 @@ export function activate(context: ExtensionContext) { ...@@ -38,8 +38,8 @@ export function activate(context: ExtensionContext) {
// Options to control the language client // Options to control the language client
let clientOptions: LanguageClientOptions = { let clientOptions: LanguageClientOptions = {
// Register the server for B, EventB documents // Register the server for B files
documentSelector: [{ scheme: 'file', language: 'classicalb' }, { scheme: 'file', language: 'eventb' }], documentSelector: [{ scheme: 'file', language: 'classicalb' }],
synchronize: { synchronize: {
// Notify the server about file changes to '.clientrc files contained in the workspace // Notify the server about file changes to '.clientrc files contained in the workspace
fileEvents: workspace.createFileSystemWatcher('**/.clientrc') fileEvents: workspace.createFileSystemWatcher('**/.clientrc')
......
import json import json
import sys import sys
# Example: python3 optionAdder.py --add test '-p MEGATEST' 'A cool option' /home/sebastian/b-eventb-language-extension/ # Example: python3 optionAdder.py --add test '-p MEGATEST' 'A cool option' /home/sebastian/b-language-extension/
def modify_server(varName: str, comand: str, filename): def modify_server(varName: str, comand: str, filename):
var_marker: str = '//PYTHONVAR' var_marker: str = '//PYTHONVAR'
if_marker: str = '//PYTHONIF' if_marker: str = '//PYTHONIF'
......
{ {
"name": "b-eventb-language-extension", "name": "b-language-extension",
"version": "0.3.0", "version": "0.3.0",
"lockfileVersion": 1, "lockfileVersion": 1,
"requires": true, "requires": true,
......
{ {
"name": "lsp-b-eventb-server", "name": "lsp-b-server",
"version": "0.0.1", "version": "0.0.1",
"lockfileVersion": 1, "lockfileVersion": 1,
"requires": true, "requires": true,
......
{ {
"name": "lsp-b-eventb-server", "name": "lsp-b-server",
"description": "Example implementation of a language server in node.", "description": "Example implementation of a language server in node.",
"version": "0.0.1", "version": "0.0.1",
"author": "Sebastian Stock", "author": "Sebastian Stock",
...@@ -9,7 +9,7 @@ ...@@ -9,7 +9,7 @@
}, },
"repository": { "repository": {
"type": "git", "type": "git",
"url": "https://github.com/SeeBasTStick/b-eventb-language-extension" "url": "https://github.com/hhu-stups/b-language-extension"
}, },
"dependencies": { "dependencies": {
"vscode-languageserver": "^6.1.1", "vscode-languageserver": "^6.1.1",
......
...@@ -188,6 +188,7 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting ...@@ -188,6 +188,7 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting
let wdCmd = "" let wdCmd = ""
let strict = "" let strict = ""
let perf = "" let perf = ""
console.log(documentPath)
//PYTHONVAR //PYTHONVAR
if(settings.wdChecks == true){ if(settings.wdChecks == true){
...@@ -207,7 +208,7 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting ...@@ -207,7 +208,7 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting
return settings.probHome + ' -p MAX_INITIALISATIONS 0 -version ' return settings.probHome + ' -p MAX_INITIALISATIONS 0 -version '
+ perf + perf
+ strict + strict
+ wdCmd + + wdCmd
/*PYTHONCMD*/ /*PYTHONCMD*/
+ documentPath + documentPath
+" -p " +" -p "
...@@ -243,6 +244,7 @@ connection.onCompletion( ...@@ -243,6 +244,7 @@ connection.onCompletion(
connection.onCompletionResolve( connection.onCompletionResolve(
(item : CompletionItem) => {return item}) (item : CompletionItem) => {return item})
// for open, change and close text document events // for open, change and close text document events
documents.listen(connection); documents.listen(connection);
......
...@@ -26,9 +26,6 @@ export function selectCompletion(textDocumentPosition : TextDocumentPositionPara ...@@ -26,9 +26,6 @@ export function selectCompletion(textDocumentPosition : TextDocumentPositionPara
return completionDefinition() return completionDefinition()
} }
if(textDocumentPosition.textDocument.uri.endsWith(".sys")){
return completionEventB()
}
return [] return []
...@@ -1391,66 +1388,3 @@ function completionCommonAbstract() : CompletionItem[] { ...@@ -1391,66 +1388,3 @@ function completionCommonAbstract() : CompletionItem[] {
] ]
} }
function completionEventB() : CompletionItem[] {
return [
{
label: 'CONTEXT',
kind: CompletionItemKind.Text,
},
{
label: 'EXTENDS',
kind: CompletionItemKind.Text,
},
{
label: 'SETS',
kind: CompletionItemKind.Text,
},
{
label: 'CONSTANTS',
kind: CompletionItemKind.Text,
},
{
label: 'AXIOMS',
kind: CompletionItemKind.Text,
},
{
label: 'END',
kind: CompletionItemKind.Text,
},
{
label: 'MACHINE',
kind: CompletionItemKind.Text,
},
{
label: 'REFINES',
kind: CompletionItemKind.Text,
},
{
label: 'SEES',
kind: CompletionItemKind.Text,
},
{
label: 'VARIABLES',
kind: CompletionItemKind.Text,
},
{
label: 'where',
kind: CompletionItemKind.Text,
},
{
label: 'any',
kind: CompletionItemKind.Text,
},
{
label: 'with',
kind: CompletionItemKind.Text,
},
{
label: 'then',
kind: CompletionItemKind.Text,
}
]
}
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment