aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/xtext/xtextServiceResults.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2022-07-27 16:34:14 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2022-07-27 16:34:14 +0200
commitdeaa0580d952b77cf9e6df024d1f71ed29f53fc0 (patch)
tree95a4e538b21c13674de99a6645bae1424714721a /subprojects/frontend/src/xtext/xtextServiceResults.ts
parentdocs: Add note about proxy settings (diff)
downloadrefinery-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.ts16
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 @@
1import { z } from 'zod'; 1import { z } from 'zod';
2 2
3export const pongResult = z.object({ 3export const pongResult = z.object({
4 pong: z.string().nonempty(), 4 pong: z.string().min(1),
5}); 5});
6 6
7export type PongResult = z.infer<typeof pongResult>; 7export type PongResult = z.infer<typeof pongResult>;
8 8
9export const documentStateResult = z.object({ 9export const documentStateResult = z.object({
10 stateId: z.string().nonempty(), 10 stateId: z.string().min(1),
11}); 11});
12 12
13export type DocumentStateResult = z.infer<typeof documentStateResult>; 13export type DocumentStateResult = z.infer<typeof documentStateResult>;
@@ -32,7 +32,7 @@ export const severity = z.enum(['error', 'warning', 'info', 'ignore']);
32export type Severity = z.infer<typeof severity>; 32export type Severity = z.infer<typeof severity>;
33 33
34export const issue = z.object({ 34export 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
66export const contentAssistEntry = z.object({ 66export 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
78export type ContentAssistEntry = z.infer<typeof contentAssistEntry>; 78export type ContentAssistEntry = z.infer<typeof contentAssistEntry>;
@@ -86,7 +86,7 @@ export type ContentAssistResult = z.infer<typeof contentAssistResult>;
86export const highlightingRegion = z.object({ 86export 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
92export type HighlightingRegion = z.infer<typeof highlightingRegion>; 92export type HighlightingRegion = z.infer<typeof highlightingRegion>;