Update call hierarchy API + example.

Author: toinehartman

rascal-lsp/src/main/rascal/library/demo/lang/pico/LanguageServer.rsc

@@ -38,7 +38,15 @@ import util::IDEServices;
 import ParseTree;
 import util::ParseErrorRecovery;
 import util::Reflective;
-import lang::pico::\syntax::Main;
+extend lang::pico::\syntax::Main;
+
+syntax IdType
+    = func: Type returnType Id id "(" {IdType ","}* params ")" "=" Expression body ";"
+    ;
+
+syntax Expression
+    = call: Id id "(" {Expression ","}* args ")"
+    ;
 
 private Tree (str _input, loc _origin) picoParser(bool allowRecovery) {
     return ParseTree::parser(#start[Program], allowRecovery=allowRecovery, filters=allowRecovery ? {createParseErrorFilter(false)} : {});
@@ -57,7 +65,10 @@ set[LanguageService] picoLanguageServer(bool allowRecovery) = {
     execution(picoExecutionService),
     inlayHint(picoInlayHintService),
     definition(picoDefinitionService),
-    codeAction(picoCodeActionService)
+    codeAction(picoCodeActionService),
+    callHierarchy(picoCallHierarchyService),
+    incomingCalls(picoIncomingCallsService),
+    outgoingCalls(picoOutgoingCallsService)
 };
 
 set[LanguageService] picoLanguageServer() = picoLanguageServer(false);
@@ -188,6 +199,18 @@ value picoExecutionService(removeDecl(start[Program] program, IdType toBeRemoved
     return ("result": true);
 }
 
+set[CallHierarchyItem] picoCallHierarchyService(Focus _:[*_, call:(Expression) `<Id id>(<{Expression ","}* _>)`, *_])
+    = {item("<id>", function(), call@\loc)};
+
+default set[CallHierarchyItem] picoCallHierarchyService(Focus _)
+    = {};
+
+set[loc] picoIncomingCallsService(Focus focus:[(Expression) `<Id defId>(<{Expression ","}* _>)`, *_], value _)
+    = {call@\loc | /call:(Expression) `<Id callId>(<{Expression ","}* _>)` := focus[-1], "<defId>" == "<callId>"};
+
+set[loc] picoOutgoingCallsService(Focus focus:[(Expression) `<Id defId>(<{Expression ","}* _>)`, *_], value _)
+    = {call@\loc | /call:(Expression) `<Id callId>(<{Expression ","}* _>)` := focus[-1], "<defId>" == "<callId>"};
+
 @synopsis{The main function registers the Pico language with the IDE}
 @description{
 Register the Pico language and the contributions that supply the IDE with features.

rascal-lsp/src/main/rascal/library/util/LanguageServer.rsc

@@ -269,16 +269,16 @@ data LanguageService
     | implementation(set[loc] (Focus _focus) implementationService)
     | codeAction    (list[CodeAction] (Focus _focus) codeActionService)
     | callHierarchy (set[CallHierarchyItem] (Focus _focus) callHierarchyService)
-    | incomingCalls (set[loc] (loc src, value _data) incomingCallsService)
-    | outgoingCalls (set[loc] (loc src, value _data) outgoingCallsService)
+    | incomingCalls (set[loc] (Focus focus, value _data) incomingCallsService)
+    | outgoingCalls (set[loc] (Focus focus, value _data) outgoingCallsService)
     ;
 
 data CallHierarchyItem
     = item(
         str name,
         DocumentSymbolKind kind,
         loc src,
-        loc selection,
+        loc selection = src,
         list[DocumentSymbolTag] tags = [],
         str detail = "",
         value \data = ()