Add command to create rascal location from selection

rascal-vscode-extension/package.json

@@ -46,8 +46,25 @@
       {
         "command": "rascalmpl.importMain",
         "title": "Start Rascal Terminal and Import this module"
+      },
+      {
+        "command": "rascalmpl.copyLocation",
+        "title": "Copy Location of Selection to Clipboard"
+      }
+    ],
+    "keybindings": [
+      {
+        "command": "rascalmpl.copyLocation",
+        "key": "shift+alt+l",
+        "mac": "shift+cmd+l"
       }
     ],
+    "menus": {
+      "editor/context": [{
+        "command": "rascalmpl.copyLocation",
+        "group": "editor/context"
+      }]
+    },
     "languages": [
       {
         "id": "rascalmpl",

rascal-vscode-extension/src/RascalExtension.ts

@@ -51,6 +51,8 @@ export class RascalExtension implements vscode.Disposable {
         this.registerMainRun();
         this.registerImportModule();
 
+        this.registerCopyLocation();
+
         vscode.window.registerTerminalLinkProvider(new RascalTerminalLinkProvider(this.rascal.rascalClient));
     }
 
@@ -99,6 +101,30 @@ export class RascalExtension implements vscode.Disposable {
         );
     }
 
+
+    private registerCopyLocation() {
+        this.context.subscriptions.push(
+            vscode.commands.registerTextEditorCommand("rascalmpl.copyLocation", (text, _edit, moduleName) => {
+                const editor = vscode.window.activeTextEditor;
+                if (editor) {
+                    const fileName = editor.document.uri.fsPath;
+                    const selection = editor.selection;
+
+                    let offset = editor.document.offsetAt(selection.start);
+                    let length = editor.document.getText(selection).length;
+                    let startLine = selection.start.line;
+                    let startColumn = selection.start.character;
+                    let endLine = selection.end.line;
+                    let endColumn = selection.end.character;
+
+                    const location = `|file://${fileName}|(${offset},${length},<${startLine+1},${startColumn}>,<${endLine+1},${endColumn}>)`;
+
+                    vscode.env.clipboard.writeText(location);
+                }
+            })
+        )
+    }
+
     private startTerminal(uri: vscode.Uri | undefined, ...extraArgs: string[]) {
         return vscode.window.withProgress({
             location: vscode.ProgressLocation.Notification,