diff options
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 | } |