From 2fe65e414ff3194cdddde01bea6818bbab5290e9 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 3 Jan 2024 02:13:15 +0100 Subject: feat(web): color identifiers and nodes We use a palette-based coloring strategy, where each class and enum gets a color from --- subprojects/frontend/src/xtext/xtextServiceResults.ts | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'subprojects/frontend/src/xtext') diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts index e473bd48..792c7de3 100644 --- a/subprojects/frontend/src/xtext/xtextServiceResults.ts +++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts @@ -1,5 +1,5 @@ /* - * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors + * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors * * SPDX-License-Identifier: EPL-2.0 */ @@ -137,6 +137,7 @@ export type ModelGenerationStartedResult = z.infer< export const NodeMetadata = z.object({ name: z.string(), simpleName: z.string(), + typeHash: z.string().optional(), kind: z.enum(['IMPLICIT', 'INDIVIDUAL', 'NEW']), }); @@ -182,15 +183,15 @@ export type SemanticsResult = z.infer; export const ModelGenerationResult = z.union([ z.object({ - uuid: z.string().nonempty(), + uuid: z.string().min(1), status: z.string(), }), z.object({ - uuid: z.string().nonempty(), + uuid: z.string().min(1), error: z.string(), }), SemanticsSuccessResult.extend({ - uuid: z.string().nonempty(), + uuid: z.string().min(1), }), ]); -- cgit v1.2.3-70-g09d2