diff options
author | 2021-10-25 11:37:04 +0200 | |
---|---|---|
committer | 2021-10-31 19:26:11 +0100 | |
commit | 8f97866dfb5303eca7e7344db8e377a60a481d1f (patch) | |
tree | 9e655f090c36cc2dc456bd2c6a0b6f9c44894076 /language-web/src/main/js/editor/xtextServiceResults.ts | |
parent | feat(web): add xtext websocket client (diff) | |
download | refinery-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.ts | 9 |
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 @@ | |||
1 | export interface IPongResult { | ||
2 | pong: string; | ||
3 | } | ||
4 | |||
5 | export function isPongResult(result: unknown): result is IPongResult { | ||
6 | const pongResult = result as IPongResult; | ||
7 | return typeof pongResult.pong === 'string'; | ||
8 | } | ||
9 | |||
1 | export interface IDocumentStateResult { | 10 | export interface IDocumentStateResult { |
2 | stateId: string; | 11 | stateId: string; |
3 | } | 12 | } |