diff options
author | 2022-07-27 16:34:14 +0200 | |
---|---|---|
committer | 2022-07-27 16:34:14 +0200 | |
commit | deaa0580d952b77cf9e6df024d1f71ed29f53fc0 (patch) | |
tree | 95a4e538b21c13674de99a6645bae1424714721a /subprojects/frontend/src/xtext/xtextMessages.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/xtextMessages.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/xtextMessages.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/subprojects/frontend/src/xtext/xtextMessages.ts b/subprojects/frontend/src/xtext/xtextMessages.ts index c4305fcf..4bf49c17 100644 --- a/subprojects/frontend/src/xtext/xtextMessages.ts +++ b/subprojects/frontend/src/xtext/xtextMessages.ts | |||
@@ -1,14 +1,14 @@ | |||
1 | import { z } from 'zod'; | 1 | import { z } from 'zod'; |
2 | 2 | ||
3 | export const xtextWebRequest = z.object({ | 3 | export const xtextWebRequest = z.object({ |
4 | id: z.string().nonempty(), | 4 | id: z.string().min(1), |
5 | request: z.unknown(), | 5 | request: z.unknown(), |
6 | }); | 6 | }); |
7 | 7 | ||
8 | export type XtextWebRequest = z.infer<typeof xtextWebRequest>; | 8 | export type XtextWebRequest = z.infer<typeof xtextWebRequest>; |
9 | 9 | ||
10 | export const xtextWebOkResponse = z.object({ | 10 | export const xtextWebOkResponse = z.object({ |
11 | id: z.string().nonempty(), | 11 | id: z.string().min(1), |
12 | response: z.unknown(), | 12 | response: z.unknown(), |
13 | }); | 13 | }); |
14 | 14 | ||
@@ -19,7 +19,7 @@ export const xtextWebErrorKind = z.enum(['request', 'server']); | |||
19 | export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>; | 19 | export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>; |
20 | 20 | ||
21 | export const xtextWebErrorResponse = z.object({ | 21 | export const xtextWebErrorResponse = z.object({ |
22 | id: z.string().nonempty(), | 22 | id: z.string().min(1), |
23 | error: xtextWebErrorKind, | 23 | error: xtextWebErrorKind, |
24 | message: z.string(), | 24 | message: z.string(), |
25 | }); | 25 | }); |
@@ -31,8 +31,8 @@ export const xtextWebPushService = z.enum(['highlight', 'validate']); | |||
31 | export type XtextWebPushService = z.infer<typeof xtextWebPushService>; | 31 | export type XtextWebPushService = z.infer<typeof xtextWebPushService>; |
32 | 32 | ||
33 | export const xtextWebPushMessage = z.object({ | 33 | export const xtextWebPushMessage = z.object({ |
34 | resource: z.string().nonempty(), | 34 | resource: z.string().min(1), |
35 | stateId: z.string().nonempty(), | 35 | stateId: z.string().min(1), |
36 | service: xtextWebPushService, | 36 | service: xtextWebPushService, |
37 | push: z.unknown(), | 37 | push: z.unknown(), |
38 | }); | 38 | }); |