projects
/
lsp-test.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
track progress sessions
[lsp-test.git]
/
src
/
Language
/
LSP
/
Test.hs
diff --git
a/src/Language/LSP/Test.hs
b/src/Language/LSP/Test.hs
index 89abfcf8b7a0c275c2903e9de9c9833c88b61bdf..90000fd38936eb470e8a13448032466551d180e8 100644
(file)
--- a/
src/Language/LSP/Test.hs
+++ b/
src/Language/LSP/Test.hs
@@
-62,6
+62,7
@@
module Language.LSP.Test
, waitForDiagnosticsSource
, noDiagnostics
, getCurrentDiagnostics
, waitForDiagnosticsSource
, noDiagnostics
, getCurrentDiagnostics
+ , getIncompleteProgressSessions
-- ** Commands
, executeCommand
-- ** Code Actions
-- ** Commands
, executeCommand
-- ** Code Actions
@@
-101,6
+102,7
@@
import Control.Monad.IO.Class
import Control.Exception
import Control.Lens hiding ((.=), List, Empty)
import qualified Data.Map.Strict as Map
import Control.Exception
import Control.Lens hiding ((.=), List, Empty)
import qualified Data.Map.Strict as Map
+import qualified Data.Set as Set
import qualified Data.Text as T
import qualified Data.Text.IO as T
import Data.Aeson
import qualified Data.Text as T
import qualified Data.Text.IO as T
import Data.Aeson
@@
-534,6
+536,10
@@
getCodeActionContext doc = do
getCurrentDiagnostics :: TextDocumentIdentifier -> Session [Diagnostic]
getCurrentDiagnostics doc = fromMaybe [] . Map.lookup (toNormalizedUri $ doc ^. uri) . curDiagnostics <$> get
getCurrentDiagnostics :: TextDocumentIdentifier -> Session [Diagnostic]
getCurrentDiagnostics doc = fromMaybe [] . Map.lookup (toNormalizedUri $ doc ^. uri) . curDiagnostics <$> get
+-- | Returns the tokens of all progress sessions that have started but not yet ended.
+getIncompleteProgressSessions :: Session (Set.Set ProgressToken)
+getIncompleteProgressSessions = curProgressSessions <$> get
+
-- | Executes a command.
executeCommand :: Command -> Session ()
executeCommand cmd = do
-- | Executes a command.
executeCommand :: Command -> Session ()
executeCommand cmd = do