Drafted the initial code rework.

Author: camrein

.editorconfig

@@ -0,0 +1,5 @@
+[*.ts]
+charset = utf-8
+end_of_line = lf
+indent_style = space
+indent_size = 2

.eslintrc.json

@@ -0,0 +1,43 @@
+{
+    "env": {
+        "browser": true,
+        "es6": true
+    },
+    "extends": [
+        "eslint:recommended",
+        "plugin:@typescript-eslint/eslint-recommended"
+    ],
+    "globals": {
+        "Atomics": "readonly",
+        "SharedArrayBuffer": "readonly"
+    },
+    "parser": "@typescript-eslint/parser",
+    "parserOptions": {
+        "ecmaVersion": 2018,
+        "sourceType": "module"
+    },
+    "plugins": [
+        "@typescript-eslint"
+    ],
+    "rules": {
+        "brace-style": "warn",
+        "indent": [ "warn", 2 ],
+        "max-depth": [ "warn", 3 ],
+        "linebreak-style": [ "warn", "unix" ],
+        "max-params": [ "warn", 3 ],
+        "quotes": [ "warn", "single" ],
+        "require-await": "warn",
+        "semi": [ "warn", "always" ],
+        "no-trailing-spaces": "warn",
+        "no-unused-vars": "off",
+        "@typescript-eslint/no-unused-vars": [
+          "warn",
+          {
+            "varsIgnorePattern": "^_$"
+          }
+        ],
+        "@typescript-eslint/object-curly-spacing": [ "warn", "always" ],
+        "@typescript-eslint/prefer-optional-chain": "warn",
+        "@typescript-eslint/no-implicit-any-catch": "warn"
+    }
+}

.github/workflows/ci.yaml

@@ -19,12 +19,16 @@ jobs:
       #  uses: warchant/setup-sonar-scanner@v1
 
       - run: npm install
-      #- run: npm run prettier
-      - run: npm run build
-      - run: npm run package
+      - run: npm run eslint
+      - run: npm run vscode:prepublish
       #      - run: npm test
       #        env:
       #          CI: true
+      - name: "Prepare: Package VSCode Extension"
+        uses: actions/setup-node@v1
+      - run: npm install -g [email protected]
+      - run: vsce package --out dist/
+
 
       #- name: "Run sonar-scanner"
       #  env:
@@ -119,8 +123,8 @@ jobs:
         id: get_version
         run: echo ::set-output name=VERSION::${GITHUB_REF/refs\/tags\/v/}
 
-      - run: npm install
-      - run: npm run publish -- -p "${MARKETPLACE_TOKEN}" --packagePath dist/${PACKAGE_NAME}-${VERSION}.vsix
+      - run: npm install -g [email protected]
+      - run: vsce publish -p "${MARKETPLACE_TOKEN}" --packagePath dist/${PACKAGE_NAME}-${VERSION}.vsix
         env:
           # Note: Marketplace Token according to:
           #   https://code.visualstudio.com/api/working-with-extensions/publishing-extension#get-a-personal-access-token

.gitignore

@@ -2,7 +2,6 @@
 /dafny
 .vscode-test
 node_modules/
-package-lock.json
 .DS_Store
 /dist/*
 !/dist/.gitkeep

.gitlab-ci.yml

@@ -0,0 +1,9 @@
+{
+	// See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations.
+	// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
+
+	// List of extensions which should be recommended for users of this workspace.
+	"recommendations": [
+		"dbaeumer.vscode-eslint"
+	]
+}

.prettierrc.js

@@ -1,17 +1,17 @@
-// A launch configuration that compiles the extension and then opens it inside a new window
 {
-	"version": "0.1.0",
+	"version": "0.2.0",
+	// List of configurations. Add new configurations or edit existing ones.
 	"configurations": [
 		{
-			"name": "Launch Extension",
 			"type": "extensionHost",
 			"request": "launch",
+			"name": "Launch Client",
 			"runtimeExecutable": "${execPath}",
 			"args": ["--extensionDevelopmentPath=${workspaceRoot}" ],
 			"stopOnEntry": false,
 			"sourceMaps": true,
-			"outFiles": [ "${workspaceRoot}/out/src/**/*.js" ],
-			"preLaunchTask": "npm"
+			"outFiles": ["${workspaceRoot}/out/**/*.js"],
+			"preLaunchTask": "npm: watch"
 		}
 	]
 }

.vscode/extensions.json

@@ -1,10 +1,6 @@
-// Place your settings in this file to overwrite default and user settings.
 {
-	"files.exclude": {
-		"out": false // set this to true to hide the "out" folder with the compiled JS files
-	},
-	"search.exclude": {
-		"out": true // set this to false to include "out" folder in search results
-	},
-	"typescript.tsdk": "./node_modules/typescript/lib" // we want to use the TS server from our node_modules folder to control its version
+	"editor.insertSpaces": false,
+	"tslint.enable": true,
+	"typescript.tsc.autoDetect": "off",
+	"typescript.preferences.quoteStyle": "single"
 }

.vscode/launch.json

@@ -1,40 +1,33 @@
-// Available variables which can be used inside of strings.
-// ${workspaceRoot}: the root folder of the team
-// ${file}: the current opened file
-// ${fileBasename}: the current opened file's basename
-// ${fileDirname}: the current opened file's dirname
-// ${fileExtname}: the current opened file's extension
-// ${cwd}: the current working directory of the spawned process
-
-// A task runner that calls a custom npm script that compiles the extension.
 {
 	"version": "2.0.0",
-
-	// we want to run npm
-	"command": "npm",
-
-	// we run the custom script "compile" as defined in package.json
-	"args": ["run", "compile", "--loglevel", "silent"],
-
-	// The tsc compiler is started in watching mode
-	"isWatching": true,
-
-	// use the standard tsc in watch mode problem matcher to find compile problems in the output.
-	"problemMatcher": "$tsc-watch",
 	"tasks": [
 		{
-			"label": "npm",
-			"type": "shell",
-			"command": "npm",
-			"args": [
-				"run",
-				"compile",
-				"--loglevel",
-				"silent"
-			],
+			"type": "npm",
+			"script": "compile",
+			"group": "build",
+			"presentation": {
+				"panel": "dedicated",
+				"reveal": "never"
+			},
+			"problemMatcher": [
+				"$tsc"
+			]
+		},
+		{
+			"type": "npm",
+			"script": "watch",
 			"isBackground": true,
-			"problemMatcher": "$tsc-watch",
-			"group": "build"
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			},
+			"presentation": {
+				"panel": "dedicated",
+				"reveal": "never"
+			},
+			"problemMatcher": [
+				"$tsc-watch"
+			]
 		}
 	]
 }

.vscode/settings.json

@@ -1,29 +1,29 @@
 {
-   "comments": {
-       "lineComment": "//",
-       "blockComment": [ "/*", "*/" ]
-   },
-   "brackets": [
-       ["{", "}"],
-       ["[", "]"],
-       ["(", ")"],
-       ["<", ">"]
-   ],
-   "autoClosingPairs": [
-       { "open": "{", "close": "}" },
-       { "open": "[", "close": "]" },
-       { "open": "(", "close": ")" },
-       { "open": "'", "close": "'", "notIn": ["string", "comment"] },
-       { "open": "\"", "close": "\"", "notIn": ["string"] },
-       { "open": "/**", "close": " */", "notIn": ["string"] }
-   ],
-   "surroundingPairs": [
-       ["{", "}"],
-       ["[", "]"],
-       ["(", ")"],
-       ["<", ">"],
-       ["'", "'"],
-       ["\"", "\""],
-       ["`", "`"]
-   ]
-}
+	"comments": {
+		"lineComment": "//",
+		"blockComment": [ "/*", "*/" ]
+	},
+	"brackets": [
+		["{", "}"],
+		["[", "]"],
+		["(", ")"],
+		["<", ">"]
+	],
+	"autoClosingPairs": [
+		{ "open": "{", "close": "}" },
+		{ "open": "[", "close": "]" },
+		{ "open": "(", "close": ")" },
+		{ "open": "'", "close": "'", "notIn": ["string", "comment"] },
+		{ "open": "\"", "close": "\"", "notIn": ["string"] },
+		{ "open": "/**", "close": " */", "notIn": ["string"] }
+	],
+	"surroundingPairs": [
+		["{", "}"],
+		["[", "]"],
+		["(", ")"],
+		["<", ">"],
+		["'", "'"],
+		["\"", "\""],
+		["`", "`"]
+	]
+ }