Changeset ebe0f0d for tools/langserver

Timestamp:

Apr 6, 2020, 1:28:00 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

057298e

Parents:

b52abe0

Message:

Added basic language server which now properly communicates with the client

Location:

tools/langserver/src

Files:

• json.hpp (modified) (1 diff)
• main.cpp (modified) (4 diffs)
• server.cpp (added)
• server.hpp (modified) (1 diff)

tools/langserver/src/json.hpp

@@ -4 +4 @@
 
 namespace json {
-      auto parse(const std::vector<char> & buff) {
+      static inline auto parse(const std::vector<char> & buff) {
             return nlohmann::json::parse(buff.begin(), buff.end());
       }

tools/langserver/src/main.cpp

@@ +1 @@
+#include <cstdio>
+
 #include <iostream>
 #include <string>
 #include <vector>
 
+#include <unistd.h>
+
 #include "json.hpp"
 #include "log.hpp"
+#include "server.hpp"
 
 static void request(std::vector<char> & buf);
+static void reply(const json::obj & );
 
-namespace server {
-        json::obj init(const json::obj & ) {
-                return {
-                        { "capabilities", json::obj::array() },
-                        { "serverInfo", {
-                                { "name", "Cforall Language Server" },
-                                { "version", "0.1" }
-                        }}
-                };
-        }
+json::obj noop( const json::obj & ) {
+        return {};
 }
 
 std::unordered_map<std::string, json::obj (*)( const json::obj & )> actions {
-        { "initialize", server::init }
+        { "initialize", server::init },
+        { "initialized", noop }
 };
 
@@ -32 +31 @@
                 log() << "\t- " << argv[i] << std::endl;
         }
+
+        // std::cout.setf(std::ios::unitbuf);
+
+        // char buff[1000];
+        // int r = 0;
+        // while(0 != (r = read(STDIN_FILENO, buff, 1000))) {
+        //      for(int i = 0; i < r; i++) {
+        //              log() << buff[i];
+        //      }
+        // }
+        // log() << std::endl;
+
+        // return 0;
 
         std::vector<char> buffer;
@@ -53 +65 @@
                                 response["error"] = error;
                         }
-                        log() << "Responding with : " << response.dump(4) << std::endl;
-                        std::cout << response.dump() << std::endl;
+
+                        reply(response);
                 }
                 else {
@@ -86 +98 @@
         buffer.resize( len + 2 );
         std::cin.read(buffer.data(), buffer.size());
+
+        for(char c : buffer) {
+                log() << c;
+        }
+        log() << std::endl;
         return;
 }
+
+static void reply( const json::obj & response) {
+        if(response["result"].is_null()) {
+                log() << "No response needed" << std::endl;
+                return;
+        }
+
+        log() << "Responding with : " << response.dump(4) << std::endl;
+        const std::string & r = response.dump();
+        std::cout << "Content-Length: " << r.length() << "\r\n\r\n";
+        std::cout.flush();
+        std::cout  << r << "\r\n";
+        std::cout.flush();
+}

tools/langserver/src/server.hpp

@@ +1 @@
+#pragma once
+
+#include "json.hpp"
+
+namespace server {
+        json::obj init(const json::obj & );
+};