-- * Sessions
runSession
, runSessionWithHandles
+ , runSessionWithCapabilities
, Session
-- * Sending
, sendRequest
, getInitializeResponse
, openDoc
, getDocItem
+ , documentContents
, getDocUri
) where
import Control.Applicative
import Control.Applicative.Combinators
-import Control.Monad
import Control.Monad.IO.Class
import Control.Concurrent
import Control.Lens hiding ((.=), List)
import Data.Aeson
import qualified Data.ByteString.Lazy.Char8 as B
import Data.Default
-import Data.Foldable
-import qualified Data.HashMap.Strict as HashMap
-import Data.List
+import qualified Data.Map as Map
+import Data.Maybe
import Language.Haskell.LSP.Types
import qualified Language.Haskell.LSP.Types as LSP (error, id)
-import Language.Haskell.LSP.Messages
+ import Language.Haskell.LSP.TH.ClientCapabilities
import Language.Haskell.LSP.VFS
import Language.Haskell.LSP.Test.Compat
import Language.Haskell.LSP.Test.Decoding
import System.IO
import System.Directory
import System.FilePath
+import qualified Yi.Rope as Rope
-- | Starts a new session.
runSession :: String -- ^ The command to run the server.
-> FilePath -- ^ The filepath to the root directory for the session.
-> Session a -- ^ The session to run.
-> IO a
- runSession serverExe rootDir session = do
+ runSession = runSessionWithCapabilities def
+
+ -- | Starts a new sesion with a client with the specified capabilities.
+ runSessionWithCapabilities :: ClientCapabilities -- ^ The capabilities the client should have.
+ -> String -- ^ The command to run the server.
+ -> FilePath -- ^ The filepath to the root directory for the session.
+ -> Session a -- ^ The session to run.
+ -> IO a
+ runSessionWithCapabilities caps serverExe rootDir session = do
pid <- getProcessID
absRootDir <- canonicalizePath rootDir
(Just $ T.pack absRootDir)
(Just $ filePathToUri absRootDir)
Nothing
- def
+ caps
(Just TraceOff)
withServer serverExe $ \serverIn serverOut _ -> runSessionWithHandles serverIn serverOut listenServer rootDir $ do
reqMap <- liftIO $ readMVar $ requestMap context
let msg = decodeFromServerMsg reqMap msgBytes
- processTextChanges msg
liftIO $ writeChan (messageChan context) msg
listenServer serverOut
-processTextChanges :: FromServerMessage -> Session ()
-processTextChanges (ReqApplyWorkspaceEdit r) = do
- List changeParams <- case r ^. params . edit . documentChanges of
- Just cs -> mapM applyTextDocumentEdit cs
- Nothing -> case r ^. params . edit . changes of
- Just cs -> mapM (uncurry applyTextEdit) (List (HashMap.toList cs))
- Nothing -> return (List [])
-
- let groupedParams = groupBy (\a b -> (a ^. textDocument == b ^. textDocument)) changeParams
- mergedParams = map mergeParams groupedParams
-
- forM_ mergedParams (sendNotification TextDocumentDidChange)
-
- where applyTextDocumentEdit (TextDocumentEdit docId (List edits)) = do
- oldVFS <- vfs <$> get
- let changeEvents = map (\e -> TextDocumentContentChangeEvent (Just (e ^. range)) Nothing (e ^. newText)) edits
- params = DidChangeTextDocumentParams docId (List changeEvents)
- newVFS <- liftIO $ changeVFS oldVFS (fmClientDidChangeTextDocumentNotification params)
- modify (\s -> s { vfs = newVFS })
- return params
-
- applyTextEdit uri edits = applyTextDocumentEdit (TextDocumentEdit (VersionedTextDocumentIdentifier uri 0) edits)
-
- mergeParams :: [DidChangeTextDocumentParams] -> DidChangeTextDocumentParams
- mergeParams params = let events = concat (toList (map (toList . (^. contentChanges)) params))
- in DidChangeTextDocumentParams (head params ^. textDocument) (List events)
-processTextChanges _ = return ()
+-- | The current text contents of a document.
+documentContents :: TextDocumentIdentifier -> Session T.Text
+documentContents doc = do
+ vfs <- vfs <$> get
+ let file = vfs Map.! (doc ^. uri)
+ return $ Rope.toText $ Language.Haskell.LSP.VFS._text file
-- | Sends a request to the server.
--
=> ClientMethod -- ^ The notification method.
-> a -- ^ The notification parameters.
-> Session ()
-sendNotification method params =
- let notif = NotificationMessage "2.0" method params
- in sendNotification' notif
+
+-- | Open a virtual file if we send a did open text document notification
+sendNotification TextDocumentDidOpen params = do
+ let params' = fromJust $ decode $ encode params
+ n :: DidOpenTextDocumentNotification
+ n = NotificationMessage "2.0" TextDocumentDidOpen params'
+ oldVFS <- vfs <$> get
+ newVFS <- liftIO $ openVFS oldVFS n
+ modify (\s -> s { vfs = newVFS })
+ sendNotification' n
+
+sendNotification method params = sendNotification' (NotificationMessage "2.0" method params)
sendNotification' :: (ToJSON a, ToJSON b) => NotificationMessage a b -> Session ()
sendNotification' = sendMessage
context <- ask
let fp = rootDir context </> file
return $ filePathToUri fp
+
{-# LANGUAGE DeriveAnyClass #-}
import Test.Hspec
import Data.Aeson
+ import Data.Default
import qualified Data.HashMap.Strict as HM
import Data.Maybe
import Control.Monad.IO.Class
import GHC.Generics
import Language.Haskell.LSP.Test
import Language.Haskell.LSP.Test.Replay
+ import Language.Haskell.LSP.TH.ClientCapabilities
import Language.Haskell.LSP.Types
import ParsingTests
rsp <- getInitializeResponse
liftIO $ rsp ^. result `shouldNotBe` Nothing
+ it "can register specific capabilities" $ do
+ let caps = def { _workspace = Just workspaceCaps }
+ workspaceCaps = def { _didChangeConfiguration = Just configCaps }
+ configCaps = DidChangeConfigurationClientCapabilities (Just True)
+ runSessionWithCapabilities caps "hie --lsp" "test/data/renamePass" $ return ()
+
describe "replay session" $ do
it "passes a test" $
replaySession "hie --lsp" "test/data/renamePass" `shouldReturn` True
checkNoDiagnostics
+ contents <- documentContents doc
+ liftIO $ contents `shouldBe` "main :: IO Int\nmain = return 42"
+
parsingSpec
data ApplyOneParams = AOP