diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-07-27 16:34:14 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-07-27 16:34:14 +0200 |
commit | deaa0580d952b77cf9e6df024d1f71ed29f53fc0 (patch) | |
tree | 95a4e538b21c13674de99a6645bae1424714721a /subprojects/frontend/src/xtext/xtextServiceResults.ts | |
parent | docs: Add note about proxy settings (diff) | |
download | refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.tar.gz refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.tar.zst refinery-deaa0580d952b77cf9e6df024d1f71ed29f53fc0.zip |
chore: bump dependencies
Diffstat (limited to 'subprojects/frontend/src/xtext/xtextServiceResults.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/xtextServiceResults.ts | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts index f79b059c..8b0dbbfb 100644 --- a/subprojects/frontend/src/xtext/xtextServiceResults.ts +++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts | |||
@@ -1,13 +1,13 @@ | |||
1 | import { z } from 'zod'; | 1 | import { z } from 'zod'; |
2 | 2 | ||
3 | export const pongResult = z.object({ | 3 | export const pongResult = z.object({ |
4 | pong: z.string().nonempty(), | 4 | pong: z.string().min(1), |
5 | }); | 5 | }); |
6 | 6 | ||
7 | export type PongResult = z.infer<typeof pongResult>; | 7 | export type PongResult = z.infer<typeof pongResult>; |
8 | 8 | ||
9 | export const documentStateResult = z.object({ | 9 | export const documentStateResult = z.object({ |
10 | stateId: z.string().nonempty(), | 10 | stateId: z.string().min(1), |
11 | }); | 11 | }); |
12 | 12 | ||
13 | export type DocumentStateResult = z.infer<typeof documentStateResult>; | 13 | export type DocumentStateResult = z.infer<typeof documentStateResult>; |
@@ -32,7 +32,7 @@ export const severity = z.enum(['error', 'warning', 'info', 'ignore']); | |||
32 | export type Severity = z.infer<typeof severity>; | 32 | export type Severity = z.infer<typeof severity>; |
33 | 33 | ||
34 | export const issue = z.object({ | 34 | export const issue = z.object({ |
35 | description: z.string().nonempty(), | 35 | description: z.string().min(1), |
36 | severity, | 36 | severity, |
37 | line: z.number().int(), | 37 | line: z.number().int(), |
38 | column: z.number().int().nonnegative(), | 38 | column: z.number().int().nonnegative(), |
@@ -65,14 +65,14 @@ export type TextRegion = z.infer<typeof textRegion>; | |||
65 | 65 | ||
66 | export const contentAssistEntry = z.object({ | 66 | export const contentAssistEntry = z.object({ |
67 | prefix: z.string(), | 67 | prefix: z.string(), |
68 | proposal: z.string().nonempty(), | 68 | proposal: z.string().min(1), |
69 | label: z.string().optional(), | 69 | label: z.string().optional(), |
70 | description: z.string().nonempty().optional(), | 70 | description: z.string().min(1).optional(), |
71 | documentation: z.string().nonempty().optional(), | 71 | documentation: z.string().min(1).optional(), |
72 | escapePosition: z.number().int().nonnegative().optional(), | 72 | escapePosition: z.number().int().nonnegative().optional(), |
73 | textReplacements: replaceRegion.array(), | 73 | textReplacements: replaceRegion.array(), |
74 | editPositions: textRegion.array(), | 74 | editPositions: textRegion.array(), |
75 | kind: z.string().nonempty(), | 75 | kind: z.string().min(1), |
76 | }); | 76 | }); |
77 | 77 | ||
78 | export type ContentAssistEntry = z.infer<typeof contentAssistEntry>; | 78 | export type ContentAssistEntry = z.infer<typeof contentAssistEntry>; |
@@ -86,7 +86,7 @@ export type ContentAssistResult = z.infer<typeof contentAssistResult>; | |||
86 | export const highlightingRegion = z.object({ | 86 | export const highlightingRegion = z.object({ |
87 | offset: z.number().int().nonnegative(), | 87 | offset: z.number().int().nonnegative(), |
88 | length: z.number().int().nonnegative(), | 88 | length: z.number().int().nonnegative(), |
89 | styleClasses: z.string().nonempty().array(), | 89 | styleClasses: z.string().min(1).array(), |
90 | }); | 90 | }); |
91 | 91 | ||
92 | export type HighlightingRegion = z.infer<typeof highlightingRegion>; | 92 | export type HighlightingRegion = z.infer<typeof highlightingRegion>; |