@usethesource/rascal-vscode-dsl-lsp-server 0.6.0

package/LICENSE.txt

@@ -0,0 +1,24 @@
+Copyright (c) 2018-2021, NWO-I CWI and Swat.engineering
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice,
+this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright notice,
+this list of conditions and the following disclaimer in the documentation
+and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGE.

package/README.md

@@ -0,0 +1,9 @@
+# Rascal Metaprogramming Language - VSCode DSL LSP Server
+
+This package enables writing your own VS Code extension while using
+[Rascal's VS Code LSP abstraction](https://github.com/usethesource/rascal-language-servers).
+
+
+See [`examples/` subdirectory for how to use this package](https://github.com/usethesource/rascal-language-servers/tree/main/examples). The entry point of this library is the [`ParameterizedLanguageServer`](https://github.com/usethesource/rascal-language-servers/blob/main/rascal-vscode-extension/src/lsp/ParameterizedLanguageServer.ts) class from the [Rascal VS Code extension](https://marketplace.visualstudio.com/items?itemName=usethesource.rascalmpl).
+
+The release notes can be found in the [Github Repo](https://github.com/usethesource/rascal-language-servers/tree/main/rascal-vscode-extension#release-notes).

package/assets/jars/.gitignore

@@ -0,0 +1 @@
+*.jar

package/lib/RascalExtension.d.ts

@@ -0,0 +1,23 @@
+import * as vscode from 'vscode';
+import { LanguageParameter } from './lsp/ParameterizedLanguageServer';
+export declare class RascalExtension implements vscode.Disposable {
+    private readonly context;
+    private readonly jarRootPath;
+    private readonly isDeploy;
+    private readonly vfsServer;
+    private readonly dsls;
+    private readonly rascal;
+    constructor(context: vscode.ExtensionContext, jarRootPath: string, isDeploy?: boolean);
+    dispose(): void;
+    externalLanguageRegistry(): {
+        registerLanguage: (lang: LanguageParameter) => Promise<void>;
+        unregisterLanguage: (lang: LanguageParameter) => Promise<void>;
+        getRascalExtensionDeploymode: () => boolean;
+    };
+    private registerTerminalCommand;
+    private registerMainRun;
+    private registerImportModule;
+    private startTerminal;
+    private buildShellArgs;
+    private buildTerminalJVMPath;
+}

package/lib/RascalExtension.js

@@ -0,0 +1,147 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RascalExtension = void 0;
+/*
+ * Copyright (c) 2018-2021, NWO-I CWI and Swat.engineering
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ *
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+const os = require("os");
+const path = require("path");
+const vscode = require("vscode");
+const JavaLookup_1 = require("./auto-jvm/JavaLookup");
+const RascalLanguageServer_1 = require("./lsp/RascalLanguageServer");
+const ParameterizedLanguageServer_1 = require("./lsp/ParameterizedLanguageServer");
+const RascalTerminalLinkProvider_1 = require("./RascalTerminalLinkProvider");
+const VSCodeURIResolver_1 = require("./fs/VSCodeURIResolver");
+class RascalExtension {
+    constructor(context, jarRootPath, isDeploy = true) {
+        this.context = context;
+        this.jarRootPath = jarRootPath;
+        this.isDeploy = isDeploy;
+        this.vfsServer = new VSCodeURIResolver_1.VSCodeUriResolverServer(!isDeploy);
+        this.dsls = new ParameterizedLanguageServer_1.ParameterizedLanguageServer(context, this.vfsServer, jarRootPath, isDeploy);
+        this.rascal = new RascalLanguageServer_1.RascalLanguageServer(context, this.vfsServer, jarRootPath, this.dsls, isDeploy);
+        this.registerTerminalCommand();
+        this.registerMainRun();
+        this.registerImportModule();
+        vscode.window.registerTerminalLinkProvider(new RascalTerminalLinkProvider_1.RascalTerminalLinkProvider(this.rascal.rascalClient));
+    }
+    dispose() {
+        this.vfsServer.dispose();
+        this.dsls.dispose();
+        this.rascal.dispose();
+    }
+    externalLanguageRegistry() {
+        return {
+            registerLanguage: (lang) => this.dsls.registerLanguage(lang),
+            unregisterLanguage: (lang) => this.dsls.unregisterLanguage(lang),
+            getRascalExtensionDeploymode: () => this.isDeploy,
+        };
+    }
+    registerTerminalCommand() {
+        this.context.subscriptions.push(vscode.commands.registerCommand("rascalmpl.createTerminal", () => {
+            this.startTerminal(vscode.window.activeTextEditor?.document.uri);
+        }));
+    }
+    registerMainRun() {
+        this.context.subscriptions.push(vscode.commands.registerTextEditorCommand("rascalmpl.runMain", (text, _edit, moduleName) => {
+            if (!text.document.uri || !moduleName) {
+                return;
+            }
+            this.startTerminal(text.document.uri, "--loadModule", moduleName, "--runModule");
+        }));
+    }
+    registerImportModule() {
+        this.context.subscriptions.push(vscode.commands.registerTextEditorCommand("rascalmpl.importModule", (text, _edit, moduleName) => {
+            if (!text.document.uri || !moduleName) {
+                return;
+            }
+            this.startTerminal(text.document.uri, "--loadModule", moduleName);
+        }));
+    }
+    startTerminal(uri, ...extraArgs) {
+        return vscode.window.withProgress({
+            location: vscode.ProgressLocation.Notification,
+            cancellable: false,
+            title: "Rascal terminal"
+        }, async (progress) => {
+            progress.report({ message: "Starting rascal-lsp" });
+            const rascal = await this.rascal.rascalClient;
+            console.log(`Starting Rascal REPL: on ${uri} and with args: ${extraArgs}`);
+            if (uri && !uri.path.endsWith(".rsc")) {
+                // do not try to figure out a rascal project path when the focus is not a rascal file
+                uri = undefined;
+            }
+            progress.report({ increment: 25, message: "Requesting IDE configuration" });
+            const serverConfig = await rascal.sendRequest("rascal/supplyIDEServicesConfiguration");
+            progress.report({ increment: 25, message: "Calculating project class path" });
+            const compilationPath = await rascal.sendRequest("rascal/supplyProjectCompilationClasspath", { uri: uri?.toString() });
+            progress.report({ increment: 25, message: "Creating terminal" });
+            const terminal = vscode.window.createTerminal({
+                cwd: path.dirname(uri?.fsPath || ""),
+                shellPath: await (0, JavaLookup_1.getJavaExecutable)(),
+                shellArgs: this.buildShellArgs(compilationPath, serverConfig, ...extraArgs),
+                name: 'Rascal Terminal',
+            });
+            terminal.show(false);
+            progress.report({ increment: 25, message: "Finished creating terminal" });
+        });
+    }
+    buildShellArgs(classPath, ide, ...extraArgs) {
+        const shellArgs = [
+            calculateRascalREPLMemory(),
+            '-cp',
+            this.buildTerminalJVMPath() + (classPath.length > 0 ? (path.delimiter + classPath.join(path.delimiter)) : ''),
+        ];
+        if (!this.isDeploy) {
+            // for development mode we always start the terminal with debuging ready to go
+            shellArgs.push('-Xdebug', '-Xrunjdwp:transport=dt_socket,address=9001,server=y,suspend=n');
+        }
+        shellArgs.push();
+        shellArgs.push('-Drascal.fallbackResolver=org.rascalmpl.vscode.lsp.uri.FallbackResolver', 'org.rascalmpl.vscode.lsp.terminal.LSPTerminalREPL', '--ideServicesPort', '' + ide.port, '--vfsPort', '' + this.vfsServer.port);
+        return shellArgs.concat(extraArgs || []);
+    }
+    buildTerminalJVMPath() {
+        const jars = ['rascal-lsp.jar', 'rascal.jar'];
+        return jars.map(j => path.join(this.jarRootPath, j)).join(path.delimiter);
+    }
+}
+exports.RascalExtension = RascalExtension;
+function gb(amount) {
+    return amount * (1024 * 1024 * 1024);
+}
+function calculateRascalREPLMemory() {
+    if (os.totalmem() >= gb(32)) {
+        return "-Xmx9000M";
+    }
+    if (os.totalmem() >= gb(16)) {
+        return "-Xmx4800M";
+    }
+    if (os.totalmem() >= gb(8)) {
+        return "-Xmx2400M";
+    }
+    return "-Xmx800M";
+}
+//# sourceMappingURL=RascalExtension.js.map

package/lib/RascalExtension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RascalExtension.js","sourceRoot":"","sources":["../src/RascalExtension.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,yBAAyB;AACzB,6BAA6B;AAC7B,iCAAiC;AAGjC,sDAA0D;AAC1D,qEAAkE;AAClE,mFAAmG;AACnG,6EAA0E;AAC1E,8DAAiE;AAEjE,MAAa,eAAe;IAMxB,YAA6B,OAAgC,EAAmB,WAAmB,EAAmB,WAAW,IAAI;QAAxG,YAAO,GAAP,OAAO,CAAyB;QAAmB,gBAAW,GAAX,WAAW,CAAQ;QAAmB,aAAQ,GAAR,QAAQ,CAAO;QACjI,IAAI,CAAC,SAAS,GAAG,IAAI,2CAAuB,CAAC,CAAC,QAAQ,CAAC,CAAC;QAExD,IAAI,CAAC,IAAI,GAAG,IAAI,yDAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC5F,IAAI,CAAC,MAAM,GAAG,IAAI,2CAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAElG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC/B,IAAI,CAAC,eAAe,EAAE,CAAC;QACvB,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAE5B,MAAM,CAAC,MAAM,CAAC,4BAA4B,CAAC,IAAI,uDAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IACzG,CAAC;IAED,OAAO;QACH,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;IAED,wBAAwB;QACpB,OAAO;YACH,gBAAgB,EAAE,CAAC,IAAsB,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC9E,kBAAkB,EAAE,CAAC,IAAsB,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAClF,4BAA4B,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ;SACpD,CAAC;IACN,CAAC;IAEO,uBAAuB;QAC3B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAC3B,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAC7D,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QACrE,CAAC,CAAC,CACL,CAAC;IACN,CAAC;IAEO,eAAe;QACnB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAC3B,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE;YACvF,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE;gBACnC,OAAO;aACV;YACD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QACrF,CAAC,CAAC,CACL,CAAC;IACN,CAAC;IAGO,oBAAoB;QACxB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAC3B,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,wBAAwB,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE;YAC5F,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE;gBACnC,OAAO;aACV;YACD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;QACtE,CAAC,CAAC,CACL,CAAC;IACN,CAAC;IAEO,aAAa,CAAC,GAA2B,EAAE,GAAG,SAAmB;QACrE,OAAO,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;YAC9B,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,YAAY;YAC9C,WAAW,EAAE,KAAK;YAClB,KAAK,EAAE,iBAAiB;SAC3B,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;YAClB,QAAQ,CAAC,MAAM,CAAC,EAAC,OAAO,EAAE,qBAAqB,EAAC,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,4BAA4B,GAAG,mBAAmB,SAAS,EAAE,CAAC,CAAC;YAC3E,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;gBACnC,qFAAqF;gBACrF,GAAG,GAAG,SAAS,CAAC;aACnB;YACD,QAAQ,CAAC,MAAM,CAAC,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,8BAA8B,EAAC,CAAC,CAAC;YAC1E,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,WAAW,CAA2B,uCAAuC,CAAC,CAAC;YACjH,QAAQ,CAAC,MAAM,CAAC,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,gCAAgC,EAAC,CAAC,CAAC;YAC5E,MAAM,eAAe,GAAG,MAAM,MAAM,CAAC,WAAW,CAAW,0CAA0C,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YACjI,QAAQ,CAAC,MAAM,CAAC,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAC,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;gBAC1C,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC;gBACpC,SAAS,EAAE,MAAM,IAAA,8BAAiB,GAAE;gBACpC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC;gBAC3E,IAAI,EAAE,iBAAiB;aAC1B,CAAC,CAAC;YAEH,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,QAAQ,CAAC,MAAM,CAAC,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,4BAA4B,EAAC,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,cAAc,CAAC,SAAmB,EAAE,GAA6B,EAAE,GAAG,SAAmB;QAC7F,MAAM,SAAS,GAAG;YACV,yBAAyB,EAAE;YACzB,KAAK;YACL,IAAI,CAAC,oBAAoB,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACtH,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;YAChB,8EAA8E;YAC9E,SAAS,CAAC,IAAI,CACV,SAAS,EACP,+DAA+D,CACpE,CAAC;SACL;QACD,SAAS,CAAC,IAAI,EAAE,CAAC;QACjB,SAAS,CAAC,IAAI,CACV,yEAAyE,EACvE,mDAAmD,EACnD,mBAAmB,EACnB,EAAE,GAAG,GAAG,CAAC,IAAI,EACb,WAAW,EACX,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAC7B,CAAC;QACF,OAAO,SAAS,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IACO,oBAAoB;QACxB,MAAM,IAAI,GAAG,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9E,CAAC;CAEJ;AA3HD,0CA2HC;AAQD,SAAS,EAAE,CAAC,MAAe;IACvB,OAAO,MAAM,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,yBAAyB;IAC9B,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;QACzB,OAAO,WAAW,CAAC;KACtB;IACD,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;QACzB,OAAO,WAAW,CAAC;KAEtB;IACD,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;QACxB,OAAO,WAAW,CAAC;KACtB;IACD,OAAO,UAAU,CAAC;AACtB,CAAC"}

package/lib/RascalTerminalLinkProvider.d.ts

@@ -0,0 +1,22 @@
+import { CancellationToken, ProviderResult, TerminalLink, TerminalLinkContext, TerminalLinkProvider } from 'vscode';
+import { LanguageClient } from 'vscode-languageclient/node';
+interface ExtendedLink extends TerminalLink {
+    loc: SourceLocation;
+}
+interface SourceLocation {
+    uri: string;
+    offsetLength?: [number, number];
+    beginLineColumn?: [number, number];
+    endLineColumn?: [number, number];
+}
+/**
+ * We only detect Source Locations, as normal markdown links are already detected correctly by vscode
+ */
+export declare class RascalTerminalLinkProvider implements TerminalLinkProvider<ExtendedLink> {
+    private readonly client;
+    constructor(client: Promise<LanguageClient>);
+    linkDetector(): RegExp;
+    provideTerminalLinks(context: TerminalLinkContext, token: CancellationToken): ProviderResult<ExtendedLink[]>;
+    handleTerminalLink(link: ExtendedLink): Promise<void>;
+}
+export {};

package/lib/RascalTerminalLinkProvider.js

@@ -0,0 +1,142 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RascalTerminalLinkProvider = void 0;
+/*
+ * Copyright (c) 2018-2021, NWO-I CWI and Swat.engineering
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ *
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+const vscode = require("vscode");
+/**
+ * We only detect Source Locations, as normal markdown links are already detected correctly by vscode
+ */
+class RascalTerminalLinkProvider {
+    constructor(client) {
+        this.client = client;
+    }
+    linkDetector() {
+        // sadly java script regex store state, so we have to create a new one everytime
+        return new RegExp("\\|[^\\t-\\n\\r\\s\\|:]+://[^\\t-\\n\\r\\s\\|]*\\|" // |location|
+            + "(\\([^\\)]*\\))?" // (optional offset)
+        , "g");
+    }
+    provideTerminalLinks(context, token) {
+        if (!context.terminal.name.includes("Rascal")) {
+            return null;
+        }
+        const matcher = this.linkDetector();
+        let match;
+        let result = [];
+        while ((match = matcher.exec(context.line)) !== null && !token.isCancellationRequested) {
+            result.push(buildLink(match));
+        }
+        return result.length === 0 ? null : result;
+    }
+    async handleTerminalLink(link) {
+        const sloc = link.loc;
+        if (sloc.uri.startsWith("http")) {
+            return vscode.commands.executeCommand("vscode.open", sloc.uri);
+        }
+        const rsloc = await (await this.client).sendRequest("rascal/filesystem/resolveLocation", sloc);
+        const td = await vscode.workspace.openTextDocument(vscode.Uri.parse(rsloc.uri));
+        const te = await vscode.window.showTextDocument(td);
+        const targetRange = translateRange(rsloc, td);
+        if (targetRange) {
+            te.revealRange(targetRange);
+            te.selection = new vscode.Selection(targetRange.start.line, targetRange.start.character, targetRange.end.line, targetRange.end.character);
+        }
+    }
+}
+exports.RascalTerminalLinkProvider = RascalTerminalLinkProvider;
+function translateRange(sloc, td) {
+    if (sloc.beginLineColumn && sloc.endLineColumn) {
+        const beginLine = sloc.beginLineColumn[0] - 1;
+        const endLine = sloc.endLineColumn[0] - 1;
+        return new vscode.Range(beginLine, fixedColumn(td, beginLine, sloc.beginLineColumn[1]), endLine, fixedColumn(td, endLine, sloc.endLineColumn[1]));
+    }
+    else if (sloc.offsetLength) {
+        const rangePositions = fixedOffsetLengthPositions(td, sloc.offsetLength[0], sloc.offsetLength[1]);
+        return new vscode.Range(td.positionAt(rangePositions[0]), td.positionAt(rangePositions[1]));
+    }
+    return undefined;
+}
+function buildLink(match) {
+    const linkMatch = match[0];
+    const linkOffset = match.index + 1;
+    const linkLength = linkMatch.indexOf('|', 2);
+    const sloc = { uri: linkMatch.substring(1, linkLength) };
+    const numbers = linkMatch.substring(linkLength).match(/\d+/g);
+    if (numbers && numbers.length >= 2) {
+        sloc.offsetLength = [Number(numbers[0]), Number(numbers[1])];
+        if (numbers.length === 6) {
+            // we have a full loc
+            sloc.beginLineColumn = [Number(numbers[2]), Number(numbers[3])];
+            sloc.endLineColumn = [Number(numbers[4]), Number(numbers[5])];
+        }
+    }
+    return {
+        startIndex: linkOffset - 1,
+        length: linkMatch.length,
+        loc: sloc
+    };
+}
+// from https://github.com/microsoft/vscode/blob/main/src/vs/base/common/strings.ts
+function isHighSurrogate(charCode) {
+    return (0xD800 <= charCode && charCode <= 0xDBFF);
+}
+// from https://github.com/microsoft/vscode/blob/main/src/vs/base/common/strings.ts
+function isLowSurrogate(charCode) {
+    return (0xDC00 <= charCode && charCode <= 0xDFFF);
+}
+/**
+ * locate surrogate pairs on the current line, and if present, offset rascal columns by the surrogate pairs before it
+ */
+function fixedColumn(td, line, originalColumn) {
+    const fullLine = td.lineAt(line).text;
+    let result = originalColumn;
+    for (let i = 0; i < fullLine.length && i < result; i++) {
+        const c = fullLine.charCodeAt(i);
+        if (isHighSurrogate(c) && (i + 1) < fullLine.length && isLowSurrogate(fullLine.charCodeAt(i + 1))) {
+            i++;
+            result++;
+        }
+    }
+    return result;
+}
+function fixedOffsetLengthPositions(td, offset, length) {
+    const fullText = td.getText();
+    let endOffset = offset + length;
+    for (let i = 0; i < fullText.length && i < endOffset; i++) {
+        const c = fullText.charCodeAt(i);
+        if (isHighSurrogate(c) && (i + 1) < fullText.length && isLowSurrogate(fullText.charCodeAt(i + 1))) {
+            if (i <= offset) {
+                offset++;
+            }
+            endOffset++;
+            i++;
+        }
+    }
+    return [offset, endOffset];
+}
+//# sourceMappingURL=RascalTerminalLinkProvider.js.map

package/lib/RascalTerminalLinkProvider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RascalTerminalLinkProvider.js","sourceRoot":"","sources":["../src/RascalTerminalLinkProvider.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,iCAAiC;AAejC;;GAEG;AACH,MAAa,0BAA0B;IAEnC,YAA8B,MAA+B;QAA/B,WAAM,GAAN,MAAM,CAAyB;IAC7D,CAAC;IAED,YAAY;QACR,gFAAgF;QAChF,OAAO,IAAI,MAAM,CACjB,oDAAoD,CAAC,aAAa;cAChE,kBAAkB,CAAC,oBAAoB;UACzC,GAAG,CAAC,CAAC;IACT,CAAC;IAED,oBAAoB,CAAC,OAA4B,EAAE,KAAwB;QACvE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;YAC3C,OAAO,IAAI,CAAC;SACf;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,IAAI,KAA6B,CAAC;QAClC,IAAI,MAAM,GAAmB,EAAE,CAAC;QAChC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE;YACpF,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;SACjC;QACD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,IAAkB;QACvC,MAAM,IAAI,GAAkB,IAAI,CAAC,GAAG,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;YAC7B,OAAO,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAE;SACnE;QAED,MAAM,KAAK,GAAkB,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,mCAAmC,EAAE,IAAI,CAAC,CAAC;QAC9G,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAChF,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAEpD,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,WAAW,EAAE;YACb,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YAC5B,EAAE,CAAC,SAAS,GAAG,IAAI,MAAM,CAAC,SAAS,CAC/B,WAAW,CAAC,KAAK,CAAC,IAAI,EACtB,WAAW,CAAC,KAAK,CAAC,SAAS,EAC3B,WAAW,CAAC,GAAG,CAAC,IAAI,EACpB,WAAW,CAAC,GAAG,CAAC,SAAS,CAC5B,CAAC;SACL;IACL,CAAC;CACJ;AA/CD,gEA+CC;AAED,SAAS,cAAc,CAAC,IAAoB,EAAE,EAAuB;IACjE,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,aAAa,EAAE;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,OAAO,IAAI,MAAM,CAAC,KAAK,CACnB,SAAS,EACT,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EACnD,OAAO,EACP,WAAW,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAClD,CAAC;KACL;SACI,IAAI,IAAI,CAAC,YAAY,EAAE;QACxB,MAAM,cAAc,GAAG,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,OAAO,IAAI,MAAM,CAAC,KAAK,CACnB,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAChC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CACnC,CAAC;KACL;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAC,KAAsB;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAmB,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,MAAM,CAAE,CAAC;IAC/D,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE;QAChC,IAAI,CAAC,YAAY,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;YACtB,qBAAqB;YACrB,IAAI,CAAC,eAAe,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,aAAa,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjE;KACJ;IAED,OAAqB;QACjB,UAAU,EAAE,UAAU,GAAG,CAAC;QAC1B,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,GAAG,EAAE,IAAI;KACZ,CAAC;AACN,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,QAAgB;IACrC,OAAO,CAAC,MAAM,IAAI,QAAQ,IAAI,QAAQ,IAAI,MAAM,CAAC,CAAC;AACtD,CAAC;AAED,mFAAmF;AACnF,SAAS,cAAc,CAAC,QAAgB;IACpC,OAAO,CAAC,MAAM,IAAI,QAAQ,IAAI,QAAQ,IAAI,MAAM,CAAC,CAAC;AACtD,CAAC;AAGD;;GAEG;AACH,SAAS,WAAW,CAAC,EAAuB,EAAE,IAAY,EAAE,cAAsB;IAC9E,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;IACtC,IAAI,MAAM,GAAG,cAAc,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE;QACpD,MAAM,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC/F,CAAC,EAAE,CAAC;YACJ,MAAM,EAAE,CAAC;SACZ;KACJ;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAGD,SAAS,0BAA0B,CAAC,EAAuB,EAAE,MAAc,EAAE,MAAc;IACvF,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,MAAM,GAAC,MAAM,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE;QACvD,MAAM,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC/F,IAAI,CAAC,IAAI,MAAM,EAAE;gBACb,MAAM,EAAE,CAAC;aACZ;YACD,SAAS,EAAE,CAAC;YACZ,CAAC,EAAE,CAAC;SACP;KACJ;IACD,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAC/B,CAAC"}

package/lib/auto-jvm/JavaLookup.d.ts

@@ -0,0 +1,2 @@
+export declare function getJavaExecutable(): Promise<string>;
+export declare function askUserForJVM(): Promise<string>;

package/lib/auto-jvm/JavaLookup.js

@@ -0,0 +1,181 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.askUserForJVM = exports.getJavaExecutable = void 0;
+/*
+ * Copyright (c) 2018-2021, NWO-I CWI and Swat.engineering
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright notice,
+ * this list of conditions and the following disclaimer.
+ *
+ * 2. Redistributions in binary form must reproduce the above copyright notice,
+ * this list of conditions and the following disclaimer in the documentation
+ * and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+const vscode = require("vscode");
+const path = require("path");
+const os = require("os");
+const cp = require("child_process");
+const downloaders_1 = require("./downloaders");
+const fs_1 = require("fs");
+const util_1 = require("util");
+const currentJVMEngineMin = 11;
+const currentJVMEngineMax = 11;
+const mainJVMPath = path.join(os.homedir(), ".jvm", `jdk${currentJVMEngineMax}`);
+let lookupCompleted;
+const pexec = (0, util_1.promisify)(cp.exec);
+async function getJavaExecutable() {
+    if (lookupCompleted) {
+        console.log("Returning: " + lookupCompleted);
+        return lookupCompleted;
+    }
+    for (const possibleCandidate of getJavaCandidates()) {
+        try {
+            // we check the availability of javac, since we need a JDK instead of a JRE
+            const versionRun = await pexec(`"${makeJavac(possibleCandidate)}" -version`);
+            const versionsFound = /javac (?:1\.)?([0-9]+)\./.exec(versionRun.stdout);
+            if (versionsFound && versionsFound.length > 0) {
+                if (Number(versionsFound[1]) >= currentJVMEngineMin && Number(versionsFound[1]) <= currentJVMEngineMax) {
+                    lookupCompleted = Promise.resolve(possibleCandidate);
+                    return possibleCandidate;
+                }
+            }
+        }
+        catch (e) {
+            // ignore exceptions, most likely the candidate wasn't in the path
+        }
+    }
+    // okay, so we don't have a working java interpreter, so we ask the user
+    lookupCompleted = askUserForJVM();
+    lookupCompleted.then(good => { }, e => {
+        console.log("Automatic download failed: ", e);
+        lookupCompleted = undefined;
+    });
+    return lookupCompleted;
+}
+exports.getJavaExecutable = getJavaExecutable;
+function makeJavac(javaPath) {
+    if (javaPath.endsWith(".exe")) {
+        return javaPath.replace(/java.exe$/, "javac.exe");
+    }
+    return javaPath + "c";
+}
+function getJavaCandidates() {
+    let result = [];
+    const { JAVA_HOME } = process.env;
+    const name = os.platform() === 'win32' ? 'java.exe' : 'java';
+    if (JAVA_HOME) {
+        result.push(path.join(JAVA_HOME, "bin", name));
+    }
+    else {
+        result.push(name);
+    }
+    if ((0, fs_1.existsSync)(mainJVMPath)) {
+        for (const ent of (0, fs_1.readdirSync)(mainJVMPath, {})) {
+            let possiblePath = "";
+            switch (os.platform()) {
+                case 'win32':
+                    possiblePath = path.join(mainJVMPath, String(ent), "bin", "java.exe");
+                    break;
+                case 'linux':
+                    possiblePath = path.join(mainJVMPath, String(ent), "bin", "java");
+                    break;
+                case 'darwin':
+                    possiblePath = path.join(mainJVMPath, String(ent), "Contents", "Home", "bin", "java");
+                    break;
+            }
+            if ((0, fs_1.existsSync)(makeJavac(possiblePath))) {
+                result.push(possiblePath);
+            }
+        }
+    }
+    return result;
+}
+async function askUserForJVM() {
+    const selfInstall = "Install myself & restart vscode";
+    const extensionInstall = `Automatically download Java ${currentJVMEngineMax} `;
+    const configurePath = "Configure JDK path";
+    const opt = await vscode.window.showErrorMessage(`Rascal (or a DSL that uses Rascal) requires a Java ${currentJVMEngineMax} runtime. Shall we download it, or will you set it up yourself?`, { modal: true }, selfInstall, extensionInstall, configurePath);
+    if (opt === extensionInstall) {
+        return startAutoInstall();
+    }
+    if (opt === configurePath) {
+        return openSettings();
+    }
+    throw Error("User setup required for jdk " + currentJVMEngineMin);
+}
+exports.askUserForJVM = askUserForJVM;
+async function startAutoInstall() {
+    const acceptGPL2CE = "Accept GPL+CE";
+    const reviewLicense = "Review GPL+CE";
+    const readAboutLicense = "Read about GPL+CE";
+    const opt = await vscode.window.showInformationMessage("Downloading a Java runtime means you accept the \"GPL2 + Classpath Exception\" license. Note: this holds for the runtime engine, not for your own code.", { modal: true }, acceptGPL2CE, reviewLicense, readAboutLicense);
+    if (opt === acceptGPL2CE) {
+        return downloadJDK();
+    }
+    if (opt === reviewLicense || opt === readAboutLicense) {
+        let url;
+        if (opt === reviewLicense) {
+            url = "https://openjdk.java.net/legal/gplv2+ce.html";
+        }
+        else {
+            url = "https://softwareengineering.stackexchange.com/questions/119436/what-does-gpl-with-classpath-exception-mean-in-practice";
+        }
+        await vscode.env.openExternal(vscode.Uri.parse(url));
+        return startAutoInstall();
+    }
+    throw new Error("User setup required for jdk 11");
+}
+async function openSettings() {
+    await vscode.commands.executeCommand('workbench.action.openSettings', '@ext:rascalmpl');
+    throw Error("User setup required for jdk " + currentJVMEngineMin);
+}
+async function downloadJDK() {
+    const temurin = "Eclipse Temurin";
+    const msJava = "Microsoft Build of OpenJDK";
+    const amazon = "Amazon Corretto";
+    let options = [];
+    if ((0, downloaders_1.temurinSupported)(currentJVMEngineMax)) {
+        options.push(temurin);
+    }
+    if ((0, downloaders_1.microsoftSupported)(currentJVMEngineMax)) {
+        options.push(msJava);
+    }
+    if ((0, downloaders_1.correttoSupported)(currentJVMEngineMax)) {
+        options.push(amazon);
+    }
+    const choice = await vscode.window.showInformationMessage("Select which OpenJDK provider you prefer", { modal: true }, ...options);
+    const result = await vscode.window.withProgress({
+        location: vscode.ProgressLocation.Notification,
+        title: `Downloading ${choice} JDK:`,
+        cancellable: false
+    }, async (progress, cancelled) => {
+        function actualProgress(percIncrement, message) {
+            progress.report({ message: message, increment: percIncrement });
+        }
+        switch (choice) {
+            case temurin: return (0, downloaders_1.downloadTemurin)(mainJVMPath, currentJVMEngineMax, actualProgress);
+            case msJava: return (0, downloaders_1.downloadMicrosoftJDK)(mainJVMPath, currentJVMEngineMax, actualProgress);
+            case amazon: return (0, downloaders_1.downloadCorretto)(mainJVMPath, currentJVMEngineMax, actualProgress);
+            default: throw new Error("User setup required");
+        }
+    });
+    vscode.window.showInformationMessage(`Finished downloading ${choice} JDK, rascal will now start`);
+    return result;
+}
+//# sourceMappingURL=JavaLookup.js.map

package/lib/auto-jvm/JavaLookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JavaLookup.js","sourceRoot":"","sources":["../../src/auto-jvm/JavaLookup.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,iCAAiC;AACjC,6BAA6B;AAC7B,yBAAyB;AACzB,oCAAoC;AACpC,+CAAiJ;AACjJ,2BAA8C;AAC9C,+BAAiC;AAGjC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,mBAAmB,EAAE,CAAC,CAAC;AAEjF,IAAI,eAA6C,CAAC;AAElD,MAAM,KAAK,GAAG,IAAA,gBAAS,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAE1B,KAAK,UAAU,iBAAiB;IACnC,IAAI,eAAe,EAAE;QACjB,OAAO,CAAC,GAAG,CAAC,aAAa,GAAG,eAAe,CAAC,CAAC;QAC7C,OAAO,eAAe,CAAC;KAC1B;IACD,KAAK,MAAM,iBAAiB,IAAI,iBAAiB,EAAE,EAAE;QACjD,IAAI;YACA,2EAA2E;YAC3E,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;YAC7E,MAAM,aAAa,GAAG,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACzE,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC3C,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,EAAE;oBACpG,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBACrD,OAAO,iBAAiB,CAAC;iBAC5B;aACJ;SACJ;QACD,OAAO,CAAC,EAAE;YACN,kEAAkE;SACrE;KACJ;IACD,wEAAwE;IACxE,eAAe,GAAG,aAAa,EAAE,CAAC;IAClC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAE,CAAC,EAAE,CAAC,CAAC,EAAE;QACjC,OAAO,CAAC,GAAG,CAAC,6BAA6B,EAAE,CAAC,CAAC,CAAC;QAC9C,eAAe,GAAG,SAAS,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC;AAC3B,CAAC;AA5BD,8CA4BC;AAED,SAAS,SAAS,CAAC,QAAgB;IAC/B,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAC3B,OAAO,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;KACrD;IACD,OAAO,QAAQ,GAAG,GAAG,CAAC;AAC1B,CAAC;AAED,SAAS,iBAAiB;IACtB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC;IAClC,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7D,IAAI,SAAS,EAAE;QACX,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;KAClD;SACI;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KACrB;IACD,IAAI,IAAA,eAAU,EAAC,WAAW,CAAC,EAAE;QACzB,KAAK,MAAM,GAAG,IAAI,IAAA,gBAAW,EAAC,WAAW,EAAE,EAAI,CAAC,EAAE;YAC9C,IAAI,YAAY,GAAG,EAAE,CAAC;YACtB,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE;gBACnB,KAAK,OAAO;oBAAE,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;oBAAC,MAAM;gBAC3F,KAAK,OAAO;oBAAE,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;oBAAC,MAAM;gBACvF,KAAK,QAAQ;oBAAE,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;oBAAC,MAAM;aAC/G;YACD,IAAI,IAAA,eAAU,EAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE;gBACrC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;aAC7B;SACJ;KACJ;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAEM,KAAK,UAAU,aAAa;IAC/B,MAAM,WAAW,GAAG,iCAAiC,CAAC;IACtD,MAAM,gBAAgB,GAAG,+BAA+B,mBAAmB,GAAG,CAAC;IAC/E,MAAM,aAAa,GAAG,oBAAoB,CAAC;IAE3C,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAC5C,sDAAsD,mBAAmB,iEAAiE,EAC1I,EAAE,KAAK,EAAE,IAAI,EAAC,EACd,WAAW,EAAE,gBAAgB,EAAE,aAAa,CAC/C,CAAC;IACF,IAAI,GAAG,KAAK,gBAAgB,EAAE;QAC1B,OAAO,gBAAgB,EAAE,CAAC;KAC7B;IACD,IAAI,GAAG,KAAK,aAAa,EAAE;QACvB,OAAO,YAAY,EAAE,CAAC;KACzB;IACD,MAAM,KAAK,CAAC,8BAA8B,GAAG,mBAAmB,CAAC,CAAC;AACtE,CAAC;AAjBD,sCAiBC;AAED,KAAK,UAAU,gBAAgB;IAC3B,MAAM,YAAY,GAAG,eAAe,CAAC;IACrC,MAAM,aAAa,GAAG,eAAe,CAAC;IACtC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;IAC7C,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAClD,yJAAyJ,EACzJ,EAAE,KAAK,EAAE,IAAI,EAAC,EACd,YAAY,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACnD,IAAI,GAAG,KAAK,YAAY,EAAE;QACtB,OAAO,WAAW,EAAE,CAAC;KACxB;IACD,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,gBAAgB,EAAE;QACnD,IAAI,GAAG,CAAC;QACR,IAAI,GAAG,KAAK,aAAa,EAAE;YACvB,GAAG,GAAG,8CAA8C,CAAC;SACxD;aACI;YACD,GAAG,GAAG,wHAAwH,CAAC;SAClI;QACD,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,OAAO,gBAAgB,EAAE,CAAC;KAC7B;IACD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;AACtD,CAAC;AAED,KAAK,UAAU,YAAY;IACvB,MAAM,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,+BAA+B,EAAE,gBAAgB,CAAC,CAAC;IACxF,MAAM,KAAK,CAAC,8BAA8B,GAAG,mBAAmB,CAAC,CAAC;AACtE,CAAC;AAED,KAAK,UAAU,WAAW;IACtB,MAAM,OAAO,GAAG,iBAAiB,CAAC;IAClC,MAAM,MAAM,GAAG,4BAA4B,CAAC;IAC5C,MAAM,MAAM,GAAG,iBAAiB,CAAC;IACjC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,IAAA,8BAAgB,EAAC,mBAAmB,CAAC,EAAE;QACvC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;KACzB;IACD,IAAI,IAAA,gCAAkB,EAAC,mBAAmB,CAAC,EAAE;QACzC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;KACxB;IACD,IAAI,IAAA,+BAAiB,EAAC,mBAAmB,CAAC,EAAE;QACxC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;KACxB;IACD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,0CAA0C,EAAE,EAAC,KAAK,EAAC,IAAI,EAAC,EAAE,GAAG,OAAO,CAAC,CAAC;IAEhI,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5C,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,YAAY;QAC9C,KAAK,EAAE,eAAe,MAAM,OAAO;QACnC,WAAW,EAAE,KAAK;KACrB,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAG,EAAE;QAC9B,SAAS,cAAc,CAAC,aAAqB,EAAE,OAAe;YAC1D,QAAQ,CAAC,MAAM,CAAC,EAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAC,CAAC,CAAC;QAClE,CAAC;QACD,QAAQ,MAAM,EAAE;YACZ,KAAK,OAAO,CAAC,CAAC,OAAO,IAAA,6BAAe,EAAC,WAAW,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAC;YACvF,KAAK,MAAM,CAAC,CAAC,OAAO,IAAA,kCAAoB,EAAC,WAAW,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAC;YAC3F,KAAK,MAAM,CAAC,CAAC,OAAO,IAAA,8BAAgB,EAAC,WAAW,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAC;YACvF,OAAO,CAAC,CAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SACpD;IACL,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,wBAAwB,MAAM,6BAA6B,CAAC,CAAC;IAClG,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/lib/auto-jvm/downloaders.d.ts

@@ -0,0 +1,18 @@
+declare type ProgressFunc = (percIncrement: number, message: string) => void;
+export declare type TemurinArchitectures = "arm" | "aarch64" | "x64";
+export declare type TemurinPlatforms = "mac" | "linux" | "windows";
+export declare type CorrettoArchitectures = TemurinArchitectures;
+export declare type CorrettoPlatforms = "macos" | "linux" | "windows";
+export declare type MSArchitectures = "x64" | "aarch64";
+export declare type MSPlatforms = "macOS" | "linux" | "windows";
+export declare function temurinSupported(jdkVersion: number): boolean;
+export declare function correttoSupported(jdkVersion: number): boolean;
+export declare function microsoftSupported(jdkVersion: number): boolean;
+export declare function downloadTemurin(mainJVMPath: string, jdkVersion: number, progress: ProgressFunc): Promise<string>;
+export declare function downloadCorretto(mainJVMPath: string, jdkVersion: number, progress: ProgressFunc): Promise<string>;
+export declare function downloadMicrosoftJDK(mainJVMPath: string, jdkVersion: number, progress: ProgressFunc): Promise<string>;
+export declare function identifyLatestTemurinLTSRelease(version: number): Promise<string>;
+export declare function fetchAndUnpackMicrosoftJDK(arch: MSArchitectures, platform: MSPlatforms, jdkVersion: number, mainJVMPath: string, progress: ProgressFunc): Promise<string>;
+export declare function fetchAndUnpackCorretto(arch: CorrettoArchitectures, platform: CorrettoPlatforms, jdkVersion: number, mainJVMPath: string, progress: ProgressFunc): Promise<string>;
+export declare function fetchAndUnpackTemurin(arch: TemurinArchitectures, platform: TemurinPlatforms, jdk11Release: string, mainJVMPath: string, progress: ProgressFunc): Promise<string>;
+export {};