build: separate module for frontend

This allows us to simplify the webpack configuration and the gradle
build scripts.

1 files changed, 112 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts
new file mode 100644
index 00000000..f79b059c
--- /dev/null
+++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts
@@ -0,0 +1,112 @@
+import { z } from 'zod';
+
+export const pongResult = z.object({
+  pong: z.string().nonempty(),
+});
+
+export type PongResult = z.infer<typeof pongResult>;
+
+export const documentStateResult = z.object({
+  stateId: z.string().nonempty(),
+});
+
+export type DocumentStateResult = z.infer<typeof documentStateResult>;
+
+export const conflict = z.enum(['invalidStateId', 'canceled']);
+
+export type Conflict = z.infer<typeof conflict>;
+
+export const serviceConflictResult = z.object({
+  conflict,
+});
+
+export type ServiceConflictResult = z.infer<typeof serviceConflictResult>;
+
+export function isConflictResult(result: unknown, conflictType: Conflict): boolean {
+  const parsedConflictResult = serviceConflictResult.safeParse(result);
+  return parsedConflictResult.success && parsedConflictResult.data.conflict === conflictType;
+}
+
+export const severity = z.enum(['error', 'warning', 'info', 'ignore']);
+
+export type Severity = z.infer<typeof severity>;
+
+export const issue = z.object({
+  description: z.string().nonempty(),
+  severity,
+  line: z.number().int(),
+  column: z.number().int().nonnegative(),
+  offset: z.number().int().nonnegative(),
+  length: z.number().int().nonnegative(),
+});
+
+export type Issue = z.infer<typeof issue>;
+
+export const validationResult = z.object({
+  issues: issue.array(),
+});
+
+export type ValidationResult = z.infer<typeof validationResult>;
+
+export const replaceRegion = z.object({
+  offset: z.number().int().nonnegative(),
+  length: z.number().int().nonnegative(),
+  text: z.string(),
+});
+
+export type ReplaceRegion = z.infer<typeof replaceRegion>;
+
+export const textRegion = z.object({
+  offset: z.number().int().nonnegative(),
+  length: z.number().int().nonnegative(),
+});
+
+export type TextRegion = z.infer<typeof textRegion>;
+
+export const contentAssistEntry = z.object({
+  prefix: z.string(),
+  proposal: z.string().nonempty(),
+  label: z.string().optional(),
+  description: z.string().nonempty().optional(),
+  documentation: z.string().nonempty().optional(),
+  escapePosition: z.number().int().nonnegative().optional(),
+  textReplacements: replaceRegion.array(),
+  editPositions: textRegion.array(),
+  kind: z.string().nonempty(),
+});
+
+export type ContentAssistEntry = z.infer<typeof contentAssistEntry>;
+
+export const contentAssistResult = documentStateResult.extend({
+  entries: contentAssistEntry.array(),
+});
+
+export type ContentAssistResult = z.infer<typeof contentAssistResult>;
+
+export const highlightingRegion = z.object({
+  offset: z.number().int().nonnegative(),
+  length: z.number().int().nonnegative(),
+  styleClasses: z.string().nonempty().array(),
+});
+
+export type HighlightingRegion = z.infer<typeof highlightingRegion>;
+
+export const highlightingResult = z.object({
+  regions: highlightingRegion.array(),
+});
+
+export type HighlightingResult = z.infer<typeof highlightingResult>;
+
+export const occurrencesResult = documentStateResult.extend({
+  writeRegions: textRegion.array(),
+  readRegions: textRegion.array(),
+});
+
+export type OccurrencesResult = z.infer<typeof occurrencesResult>;
+
+export const formattingResult = documentStateResult.extend({
+  formattedText: z.string(),
+  replaceRegion: textRegion,
+});
+
+export type FormattingResult = z.infer<typeof formattingResult>;