1 files changed, 70 insertions, 0 deletions

diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts
index d3b467ad..e473bd48 100644
--- a/subprojects/frontend/src/xtext/xtextServiceResults.ts
+++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts
@@ -125,3 +125,73 @@ export const FormattingResult = DocumentStateResult.extend({
 });
 
 export type FormattingResult = z.infer<typeof FormattingResult>;
+
+export const ModelGenerationStartedResult = z.object({
+  uuid: z.string().nonempty(),
+});
+
+export type ModelGenerationStartedResult = z.infer<
+  typeof ModelGenerationStartedResult
+>;
+
+export const NodeMetadata = z.object({
+  name: z.string(),
+  simpleName: z.string(),
+  kind: z.enum(['IMPLICIT', 'INDIVIDUAL', 'NEW']),
+});
+
+export type NodeMetadata = z.infer<typeof NodeMetadata>;
+
+export const RelationMetadata = z.object({
+  name: z.string(),
+  simpleName: z.string(),
+  arity: z.number().nonnegative(),
+  detail: z.union([
+    z.object({ type: z.literal('class'), abstractClass: z.boolean() }),
+    z.object({ type: z.literal('reference'), containment: z.boolean() }),
+    z.object({
+      type: z.literal('opposite'),
+      container: z.boolean(),
+      opposite: z.string(),
+    }),
+    z.object({ type: z.literal('predicate'), error: z.boolean() }),
+    z.object({ type: z.literal('builtin') }),
+  ]),
+});
+
+export type RelationMetadata = z.infer<typeof RelationMetadata>;
+
+export const SemanticsSuccessResult = z.object({
+  nodes: NodeMetadata.array(),
+  relations: RelationMetadata.array(),
+  partialInterpretation: z.record(
+    z.string(),
+    z.union([z.number(), z.string()]).array().array(),
+  ),
+});
+
+export type SemanticsSuccessResult = z.infer<typeof SemanticsSuccessResult>;
+
+export const SemanticsResult = z.union([
+  z.object({ error: z.string() }),
+  z.object({ issues: Issue.array() }),
+  SemanticsSuccessResult,
+]);
+
+export type SemanticsResult = z.infer<typeof SemanticsResult>;
+
+export const ModelGenerationResult = z.union([
+  z.object({
+    uuid: z.string().nonempty(),
+    status: z.string(),
+  }),
+  z.object({
+    uuid: z.string().nonempty(),
+    error: z.string(),
+  }),
+  SemanticsSuccessResult.extend({
+    uuid: z.string().nonempty(),
+  }),
+]);
+
+export type ModelGenerationResult = z.infer<typeof ModelGenerationResult>;