X-Git-Url: http://git.lukelau.me/?p=lsp-test.git;a=blobdiff_plain;f=src%2FLanguage%2FHaskell%2FLSP%2FTest%2FRecorded.hs;fp=src%2FLanguage%2FHaskell%2FLSP%2FTest%2FRecorded.hs;h=10aebe3ac85e71d40587df71094ce85180631658;hp=0000000000000000000000000000000000000000;hb=9db776483f617de170b6798d5ea8a9f997c0d098;hpb=c449df9656ffb46d60ea5aba8537e5c10e02d388

diff --git a/src/Language/Haskell/LSP/Test/Recorded.hs b/src/Language/Haskell/LSP/Test/Recorded.hs
new file mode 100644
index 0000000..10aebe3
--- /dev/null
+++ b/src/Language/Haskell/LSP/Test/Recorded.hs
@@ -0,0 +1,128 @@
+{-# LANGUAGE OverloadedStrings #-}
+module Language.Haskell.LSP.Test.Recorded
+  ( replay
+  )
+where
+
+import           Control.Concurrent
+import           Control.Monad
+import           Data.Default
+import           Language.Haskell.LSP.Control  as Control
+import qualified Data.ByteString.Lazy.Char8    as B
+import           Language.Haskell.LSP.Core
+import qualified Language.Haskell.LSP.Types    as LSP
+import           Data.Aeson
+import           System.IO
+import           System.Process
+
+replay :: FilePath -> IO Int
+replay fp = do
+
+  (Just serverIn, Just serverOut, _, _) <- createProcess
+    (proc "hie" ["--lsp", "-l", "/tmp/hie.log", "-d"]) { std_in  = CreatePipe
+                                                       , std_out = CreatePipe
+                                                       }
+
+  hSetBuffering serverIn  NoBuffering
+  hSetBuffering serverOut NoBuffering
+
+  -- whether to send the next request
+  semaphore <- newEmptyMVar
+
+  -- listen to server
+  forkIO $ forever $ do
+    headers <- getHeaders serverOut
+    case read . init <$> lookup "Content-Length" headers of
+      Nothing   -> error "Couldn't read Content-Length header"
+      Just size -> do
+        message <- B.hGet serverOut size
+        case decode message :: Maybe (LSP.ResponseMessage Value) of
+          Just _  -> putMVar semaphore ()
+          Nothing -> return () -- might be a notification or something, that's ok
+
+  -- the recorded client input to the server
+  clientRecIn <- openFile fp ReadMode
+  null        <- openFile "/dev/null" WriteMode
+
+  -- send inialize request ourselves since haskell-lsp consumes it
+  -- rest are handled via `handlers`
+  sendInitialize clientRecIn serverIn
+
+  Control.runWithHandles clientRecIn
+                         null
+                         (const $ Right (), const $ return Nothing)
+                         (handlers serverIn semaphore)
+                         def
+                         Nothing
+                         Nothing
+ where
+  sendInitialize recH serverH = do
+    headers <- getHeaders recH
+    case read . init <$> lookup "Content-Length" headers of
+      Nothing   -> error "Failed to read the read the initialize request"
+      Just size -> do
+        message <- B.hGet recH size
+        B.hPut serverH (addHeader message)
+        -- bring the file back to the start for haskell-lsp
+        hSeek recH AbsoluteSeek 0
+
+
+handlers :: Handle -> MVar () -> Handlers
+handlers serverH flag = def
+  {
+    -- Requests
+    hoverHandler                             = Just request
+  , completionHandler                        = Just request
+  , completionResolveHandler                 = Just request
+  , signatureHelpHandler                     = Just request
+  , definitionHandler                        = Just request
+  , referencesHandler                        = Just request
+  , documentHighlightHandler                 = Just request
+  , documentSymbolHandler                    = Just request
+  , workspaceSymbolHandler                   = Just request
+  , codeActionHandler                        = Just request
+  , codeLensHandler                          = Just request
+  , codeLensResolveHandler                   = Just request
+  , documentFormattingHandler                = Just request
+  , documentRangeFormattingHandler           = Just request
+  , documentTypeFormattingHandler            = Just request
+  , renameHandler                            = Just request
+  , documentLinkHandler                      = Just request
+  , documentLinkResolveHandler               = Just request
+  , executeCommandHandler                    = Just request
+    -- Notifications
+  , didChangeConfigurationParamsHandler      = Just notification
+  , didOpenTextDocumentNotificationHandler   = Just notification
+  , didChangeTextDocumentNotificationHandler = Just notification
+  , didCloseTextDocumentNotificationHandler  = Just notification
+  , didSaveTextDocumentNotificationHandler   = Just notification
+  , didChangeWatchedFilesNotificationHandler = Just notification
+  , initializedHandler                       = Just notification
+  , willSaveTextDocumentNotificationHandler  = Just notification
+  , cancelNotificationHandler                = Just notification
+  , responseHandler                          = Just notification
+  }
+ where
+  notification m = do
+    B.hPut serverH $ addHeader (encode m)
+    putStrLn "sent a notification"
+  request m = do
+    B.hPut serverH $ addHeader (encode m)
+    putStrLn "sent a request, waiting for a response"
+    takeMVar flag
+    putStrLn "got a response"
+
+addHeader :: B.ByteString -> B.ByteString
+addHeader content = B.concat
+  [ "Content-Length: "
+  , B.pack $ show $ B.length content
+  , "\r\n"
+  , "\r\n"
+  , content
+  ]
+
+getHeaders :: Handle -> IO [(String, String)]
+getHeaders h = do
+  l <- hGetLine h
+  let (name, val) = span (/= ':') l
+  if null val then return [] else ((name, drop 2 val) :) <$> getHeaders h