aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/editor/xtextServiceResults.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-25 11:37:04 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-31 19:26:11 +0100
commit8f97866dfb5303eca7e7344db8e377a60a481d1f (patch)
tree9e655f090c36cc2dc456bd2c6a0b6f9c44894076 /language-web/src/main/js/editor/xtextServiceResults.ts
parentfeat(web): add xtext websocket client (diff)
downloadrefinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.tar.gz
refinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.tar.zst
refinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.zip
feat(web): application-level pings
Diffstat (limited to 'language-web/src/main/js/editor/xtextServiceResults.ts')
-rw-r--r--language-web/src/main/js/editor/xtextServiceResults.ts9
1 files changed, 9 insertions, 0 deletions
diff --git a/language-web/src/main/js/editor/xtextServiceResults.ts b/language-web/src/main/js/editor/xtextServiceResults.ts
index 2a66566a..8fa7a321 100644
--- a/language-web/src/main/js/editor/xtextServiceResults.ts
+++ b/language-web/src/main/js/editor/xtextServiceResults.ts
@@ -1,3 +1,12 @@
1export interface IPongResult {
2 pong: string;
3}
4
5export function isPongResult(result: unknown): result is IPongResult {
6 const pongResult = result as IPongResult;
7 return typeof pongResult.pong === 'string';
8}
9
1export interface IDocumentStateResult { 10export interface IDocumentStateResult {
2 stateId: string; 11 stateId: string;
3} 12}