Map special RPC paths

Now `$/cancelRequest` will be resolved to `$server->cancelRequest()` and `$/textDocument/whatever` to `$server->textDocument->whatever()`
vimeo · Jul 24, 2023 · e1a30a2 · e1a30a2
1 parent f2c77ca
commit e1a30a2
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/src/Psalm/Internal/LanguageServer/LanguageServer.php b/src/Psalm/Internal/LanguageServer/LanguageServer.php
@@ -997,4 +997,19 @@ public static function uriToPath(string $uri): string
 
         return $filepath;
     }
+
+    // the methods below forward special paths
+    // like `$/cancelRequest` to `$this->cancelRequest()`
+    // and `$/a/b/c` to `$this->a->b->c()`
+
+    public function __isset(string $prop_name): bool
+    {
+        return $prop_name === '$';
+    }
+
+    /** @return static */
+    public function __get(string $prop_name): self
+    {
+        return $this;
+    }
 }