@likec4/language-server 1.47.0 → 1.49.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/browser/package.json +2 -2
- package/browser-worker/package.json +2 -2
- package/bundled/package.json +4 -0
- package/dist/THIRD-PARTY-LICENSES.md +178 -0
- package/dist/_chunks/ConfigurableLayouter.mjs +1 -0
- package/dist/_chunks/LikeC4FileSystem.mjs +3 -0
- package/dist/_chunks/LikeC4Views.mjs +34 -0
- package/dist/_chunks/ProjectsManager.mjs +1 -0
- package/dist/_chunks/WithMCPServer.mjs +481 -0
- package/dist/_chunks/icons.mjs +2 -0
- package/dist/_chunks/index.d.mts +3107 -0
- package/dist/_chunks/libs/@msgpack/msgpack.mjs +1 -0
- package/dist/_chunks/libs/eventemitter3.mjs +1 -0
- package/dist/_chunks/libs/fast-equals.mjs +1 -0
- package/dist/_chunks/libs/p-queue.mjs +1 -0
- package/dist/_chunks/libs/parse-ms.mjs +1 -0
- package/dist/_chunks/libs/picomatch.mjs +1 -0
- package/dist/_chunks/libs/pretty-ms.mjs +1 -0
- package/dist/_chunks/libs/remeda.mjs +1 -0
- package/dist/_chunks/libs/strip-indent.mjs +1 -0
- package/dist/_chunks/libs/ufo.mjs +1 -0
- package/dist/_chunks/logger.mjs +1 -0
- package/dist/_chunks/rolldown-runtime.mjs +1 -0
- package/dist/_chunks/utils.mjs +1 -0
- package/dist/browser/index.d.mts +10 -0
- package/dist/browser/index.mjs +1 -0
- package/dist/browser/worker.d.mts +1 -0
- package/dist/browser/worker.mjs +1 -0
- package/dist/bundled.d.mts +27 -0
- package/dist/bundled.mjs +1 -4853
- package/dist/filesystem/index.d.mts +2 -0
- package/dist/filesystem/index.mjs +1 -0
- package/dist/index.d.mts +39 -0
- package/dist/index.mjs +1 -0
- package/dist/likec4lib.d.mts +16 -0
- package/dist/likec4lib.mjs +1 -0
- package/dist/mcp/index.d.mts +2 -0
- package/dist/mcp/index.mjs +1 -0
- package/dist/module.d.mts +126 -0
- package/dist/module.mjs +1 -0
- package/dist/protocol.d.mts +315 -0
- package/dist/protocol.mjs +1 -0
- package/filesystem/package.json +4 -0
- package/likec4lib/package.json +2 -2
- package/mcp/package.json +4 -0
- package/module/package.json +4 -0
- package/package.json +128 -62
- package/protocol/package.json +2 -2
- package/LICENSE +0 -21
- package/dist/LikeC4LanguageServices.d.ts +0 -115
- package/dist/LikeC4LanguageServices.js +0 -164
- package/dist/Rpc.d.ts +0 -9
- package/dist/Rpc.js +0 -276
- package/dist/ast.d.ts +0 -226
- package/dist/ast.js +0 -264
- package/dist/browser-worker.d.ts +0 -1
- package/dist/browser-worker.js +0 -4
- package/dist/browser.d.ts +0 -10
- package/dist/browser.js +0 -34
- package/dist/bundled.d.ts +0 -8
- package/dist/bundled.js +0 -44
- package/dist/documentation/documentation-provider.d.ts +0 -8
- package/dist/documentation/documentation-provider.js +0 -51
- package/dist/documentation/index.d.ts +0 -1
- package/dist/documentation/index.js +0 -1
- package/dist/empty.d.ts +0 -2
- package/dist/empty.js +0 -2
- package/dist/filesystem/ChokidarWatcher.d.ts +0 -19
- package/dist/filesystem/ChokidarWatcher.js +0 -133
- package/dist/filesystem/FileSystemWatcher.d.ts +0 -19
- package/dist/filesystem/FileSystemWatcher.js +0 -14
- package/dist/filesystem/LikeC4FileSystem.d.ts +0 -3
- package/dist/filesystem/LikeC4FileSystem.js +0 -140
- package/dist/filesystem/index.d.ts +0 -55
- package/dist/filesystem/index.js +0 -29
- package/dist/formatting/LikeC4Formatter.d.ts +0 -59
- package/dist/formatting/LikeC4Formatter.js +0 -637
- package/dist/formatting/utils.d.ts +0 -6
- package/dist/formatting/utils.js +0 -18
- package/dist/generated/ast.d.ts +0 -1411
- package/dist/generated/ast.js +0 -2207
- package/dist/generated/grammar.d.ts +0 -6
- package/dist/generated/grammar.js +0 -7
- package/dist/generated/module.d.ts +0 -14
- package/dist/generated/module.js +0 -27
- package/dist/generated-lib/icons.d.ts +0 -1
- package/dist/generated-lib/icons.js +0 -18
- package/dist/index.d.ts +0 -37
- package/dist/index.js +0 -54
- package/dist/likec4lib.d.ts +0 -6
- package/dist/likec4lib.js +0 -7
- package/dist/logger.d.ts +0 -17
- package/dist/logger.js +0 -81
- package/dist/lsp/CodeActionProvider.d.ts +0 -14
- package/dist/lsp/CodeActionProvider.js +0 -33
- package/dist/lsp/CodeLensProvider.d.ts +0 -9
- package/dist/lsp/CodeLensProvider.js +0 -44
- package/dist/lsp/CompletionProvider.d.ts +0 -13
- package/dist/lsp/CompletionProvider.js +0 -238
- package/dist/lsp/DocumentHighlightProvider.d.ts +0 -9
- package/dist/lsp/DocumentHighlightProvider.js +0 -10
- package/dist/lsp/DocumentLinkProvider.d.ts +0 -11
- package/dist/lsp/DocumentLinkProvider.js +0 -58
- package/dist/lsp/DocumentSymbolProvider.d.ts +0 -33
- package/dist/lsp/DocumentSymbolProvider.js +0 -317
- package/dist/lsp/HoverProvider.d.ts +0 -10
- package/dist/lsp/HoverProvider.js +0 -106
- package/dist/lsp/RenameProvider.d.ts +0 -5
- package/dist/lsp/RenameProvider.js +0 -6
- package/dist/lsp/SemanticTokenProvider.d.ts +0 -19
- package/dist/lsp/SemanticTokenProvider.js +0 -305
- package/dist/lsp/index.d.ts +0 -8
- package/dist/lsp/index.js +0 -9
- package/dist/mcp/MCPServerFactory.d.ts +0 -8
- package/dist/mcp/MCPServerFactory.js +0 -73
- package/dist/mcp/NoopLikeC4MCPServer.d.ts +0 -9
- package/dist/mcp/NoopLikeC4MCPServer.js +0 -17
- package/dist/mcp/interfaces.d.ts +0 -13
- package/dist/mcp/interfaces.js +0 -4
- package/dist/mcp/server/StdioLikeC4MCPServer.d.ts +0 -16
- package/dist/mcp/server/StdioLikeC4MCPServer.js +0 -51
- package/dist/mcp/server/StreamableLikeC4MCPServer.d.ts +0 -16
- package/dist/mcp/server/StreamableLikeC4MCPServer.js +0 -121
- package/dist/mcp/server/WithMCPServer.d.ts +0 -4
- package/dist/mcp/server/WithMCPServer.js +0 -54
- package/dist/mcp/tools/_common.d.ts +0 -88
- package/dist/mcp/tools/_common.js +0 -49
- package/dist/mcp/tools/find-relationships.d.ts +0 -202
- package/dist/mcp/tools/find-relationships.js +0 -150
- package/dist/mcp/tools/list-projects.d.ts +0 -194
- package/dist/mcp/tools/list-projects.js +0 -62
- package/dist/mcp/tools/open-view.d.ts +0 -200
- package/dist/mcp/tools/open-view.js +0 -52
- package/dist/mcp/tools/read-deployment.d.ts +0 -200
- package/dist/mcp/tools/read-deployment.js +0 -150
- package/dist/mcp/tools/read-element.d.ts +0 -200
- package/dist/mcp/tools/read-element.js +0 -218
- package/dist/mcp/tools/read-project-summary.d.ts +0 -198
- package/dist/mcp/tools/read-project-summary.js +0 -176
- package/dist/mcp/tools/read-view.d.ts +0 -200
- package/dist/mcp/tools/read-view.js +0 -203
- package/dist/mcp/tools/search-element.d.ts +0 -198
- package/dist/mcp/tools/search-element.js +0 -177
- package/dist/mcp/utils.d.ts +0 -18
- package/dist/mcp/utils.js +0 -48
- package/dist/model/builder/MergedExtends.d.ts +0 -13
- package/dist/model/builder/MergedExtends.js +0 -74
- package/dist/model/builder/MergedSpecification.d.ts +0 -32
- package/dist/model/builder/MergedSpecification.js +0 -175
- package/dist/model/builder/buildModel.d.ts +0 -16
- package/dist/model/builder/buildModel.js +0 -245
- package/dist/model/deployments-index.d.ts +0 -10
- package/dist/model/deployments-index.js +0 -102
- package/dist/model/fqn-index.d.ts +0 -61
- package/dist/model/fqn-index.js +0 -253
- package/dist/model/index.d.ts +0 -6
- package/dist/model/index.js +0 -6
- package/dist/model/model-builder.d.ts +0 -54
- package/dist/model/model-builder.js +0 -233
- package/dist/model/model-locator.d.ts +0 -39
- package/dist/model/model-locator.js +0 -240
- package/dist/model/model-parser-where.d.ts +0 -4
- package/dist/model/model-parser-where.js +0 -81
- package/dist/model/model-parser.d.ts +0 -645
- package/dist/model/model-parser.js +0 -133
- package/dist/model/parser/Base.d.ts +0 -69
- package/dist/model/parser/Base.js +0 -382
- package/dist/model/parser/DeploymentModelParser.d.ts +0 -71
- package/dist/model/parser/DeploymentModelParser.js +0 -176
- package/dist/model/parser/DeploymentViewParser.d.ts +0 -75
- package/dist/model/parser/DeploymentViewParser.js +0 -86
- package/dist/model/parser/FqnRefParser.d.ts +0 -66
- package/dist/model/parser/FqnRefParser.js +0 -382
- package/dist/model/parser/GlobalsParser.d.ts +0 -109
- package/dist/model/parser/GlobalsParser.js +0 -84
- package/dist/model/parser/ImportsParser.d.ts +0 -46
- package/dist/model/parser/ImportsParser.js +0 -24
- package/dist/model/parser/ModelParser.d.ts +0 -71
- package/dist/model/parser/ModelParser.js +0 -209
- package/dist/model/parser/PredicatesParser.d.ts +0 -75
- package/dist/model/parser/PredicatesParser.js +0 -45
- package/dist/model/parser/SpecificationParser.d.ts +0 -53
- package/dist/model/parser/SpecificationParser.js +0 -113
- package/dist/model/parser/ValueConverter.d.ts +0 -4
- package/dist/model/parser/ValueConverter.js +0 -12
- package/dist/model/parser/ViewsParser.d.ts +0 -112
- package/dist/model/parser/ViewsParser.js +0 -492
- package/dist/model-change/ModelChanges.d.ts +0 -18
- package/dist/model-change/ModelChanges.js +0 -129
- package/dist/model-change/changeElementStyle.d.ts +0 -16
- package/dist/model-change/changeElementStyle.js +0 -134
- package/dist/model-change/changeViewLayout.d.ts +0 -12
- package/dist/model-change/changeViewLayout.js +0 -28
- package/dist/model-change/removeManualLayoutV1.d.ts +0 -7
- package/dist/model-change/removeManualLayoutV1.js +0 -27
- package/dist/module.d.ts +0 -92
- package/dist/module.js +0 -143
- package/dist/protocol.d.ts +0 -289
- package/dist/protocol.js +0 -123
- package/dist/references/index.d.ts +0 -3
- package/dist/references/index.js +0 -3
- package/dist/references/name-provider.d.ts +0 -9
- package/dist/references/name-provider.js +0 -37
- package/dist/references/scope-computation.d.ts +0 -20
- package/dist/references/scope-computation.js +0 -288
- package/dist/references/scope-provider.d.ts +0 -40
- package/dist/references/scope-provider.js +0 -239
- package/dist/shared/NodeKindProvider.d.ts +0 -15
- package/dist/shared/NodeKindProvider.js +0 -57
- package/dist/shared/WorkspaceSymbolProvider.d.ts +0 -3
- package/dist/shared/WorkspaceSymbolProvider.js +0 -3
- package/dist/shared/index.d.ts +0 -2
- package/dist/shared/index.js +0 -2
- package/dist/test/index.d.ts +0 -1
- package/dist/test/index.js +0 -1
- package/dist/test/testServices.d.ts +0 -64
- package/dist/test/testServices.js +0 -210
- package/dist/utils/disposable.d.ts +0 -8
- package/dist/utils/disposable.js +0 -26
- package/dist/utils/elementRef.d.ts +0 -11
- package/dist/utils/elementRef.js +0 -33
- package/dist/utils/fqnRef.d.ts +0 -11
- package/dist/utils/fqnRef.js +0 -63
- package/dist/utils/index.d.ts +0 -11
- package/dist/utils/index.js +0 -35
- package/dist/utils/printDocs.d.ts +0 -2
- package/dist/utils/printDocs.js +0 -1
- package/dist/utils/projectId.d.ts +0 -4
- package/dist/utils/projectId.js +0 -16
- package/dist/utils/stringHash.d.ts +0 -1
- package/dist/utils/stringHash.js +0 -5
- package/dist/validation/DocumentValidator.d.ts +0 -11
- package/dist/validation/DocumentValidator.js +0 -17
- package/dist/validation/_shared.d.ts +0 -3
- package/dist/validation/_shared.js +0 -26
- package/dist/validation/deployment-checks.d.ts +0 -7
- package/dist/validation/deployment-checks.js +0 -140
- package/dist/validation/dynamic-view.d.ts +0 -6
- package/dist/validation/dynamic-view.js +0 -67
- package/dist/validation/element-ref.d.ts +0 -4
- package/dist/validation/element-ref.js +0 -12
- package/dist/validation/element.d.ts +0 -4
- package/dist/validation/element.js +0 -49
- package/dist/validation/imports.d.ts +0 -4
- package/dist/validation/imports.js +0 -46
- package/dist/validation/index.d.ts +0 -15
- package/dist/validation/index.js +0 -167
- package/dist/validation/property-checks.d.ts +0 -7
- package/dist/validation/property-checks.js +0 -108
- package/dist/validation/relation.d.ts +0 -6
- package/dist/validation/relation.js +0 -141
- package/dist/validation/specification.d.ts +0 -12
- package/dist/validation/specification.js +0 -190
- package/dist/validation/view-checks.d.ts +0 -4
- package/dist/validation/view-checks.js +0 -46
- package/dist/validation/view-predicates/fqn-expr-with.d.ts +0 -4
- package/dist/validation/view-predicates/fqn-expr-with.js +0 -43
- package/dist/validation/view-predicates/fqn-ref-expr.d.ts +0 -4
- package/dist/validation/view-predicates/fqn-ref-expr.js +0 -51
- package/dist/validation/view-predicates/incoming.d.ts +0 -4
- package/dist/validation/view-predicates/incoming.js +0 -16
- package/dist/validation/view-predicates/index.d.ts +0 -6
- package/dist/validation/view-predicates/index.js +0 -6
- package/dist/validation/view-predicates/outgoing.d.ts +0 -4
- package/dist/validation/view-predicates/outgoing.js +0 -20
- package/dist/validation/view-predicates/relation-expr.d.ts +0 -4
- package/dist/validation/view-predicates/relation-expr.js +0 -46
- package/dist/validation/view-predicates/relation-with.d.ts +0 -4
- package/dist/validation/view-predicates/relation-with.js +0 -16
- package/dist/validation/view.d.ts +0 -4
- package/dist/validation/view.js +0 -42
- package/dist/view-utils/assignNavigateTo.d.ts +0 -2
- package/dist/view-utils/assignNavigateTo.js +0 -27
- package/dist/view-utils/index.d.ts +0 -2
- package/dist/view-utils/index.js +0 -2
- package/dist/view-utils/manual-layout.d.ts +0 -13
- package/dist/view-utils/manual-layout.js +0 -149
- package/dist/views/ConfigurableLayouter.d.ts +0 -7
- package/dist/views/ConfigurableLayouter.js +0 -51
- package/dist/views/LikeC4ManualLayouts.d.ts +0 -42
- package/dist/views/LikeC4ManualLayouts.js +0 -209
- package/dist/views/LikeC4Views.d.ts +0 -89
- package/dist/views/LikeC4Views.js +0 -216
- package/dist/views/index.d.ts +0 -4
- package/dist/views/index.js +0 -11
- package/dist/workspace/AstNodeDescriptionProvider.d.ts +0 -7
- package/dist/workspace/AstNodeDescriptionProvider.js +0 -18
- package/dist/workspace/IndexManager.d.ts +0 -10
- package/dist/workspace/IndexManager.js +0 -26
- package/dist/workspace/LangiumDocuments.d.ts +0 -29
- package/dist/workspace/LangiumDocuments.js +0 -104
- package/dist/workspace/ProjectsManager.d.ts +0 -134
- package/dist/workspace/ProjectsManager.js +0 -610
- package/dist/workspace/WorkspaceManager.d.ts +0 -31
- package/dist/workspace/WorkspaceManager.js +0 -132
- package/dist/workspace/index.d.ts +0 -5
- package/dist/workspace/index.js +0 -5
|
@@ -1,140 +0,0 @@
|
|
|
1
|
-
import { FqnRef, isSameHierarchy, nonNullable } from '@likec4/core';
|
|
2
|
-
import { loggable } from '@likec4/log';
|
|
3
|
-
import { AstUtils } from 'langium';
|
|
4
|
-
import { ast } from '../ast';
|
|
5
|
-
import { logger } from '../logger';
|
|
6
|
-
import { projectIdFrom } from '../utils';
|
|
7
|
-
import { RESERVED_WORDS, tryOrLog } from './_shared';
|
|
8
|
-
const { getDocument } = AstUtils;
|
|
9
|
-
export const deploymentNodeChecks = (services) => {
|
|
10
|
-
const DeploymentsIndex = services.likec4.DeploymentsIndex;
|
|
11
|
-
const Names = services.references.NameProvider;
|
|
12
|
-
return tryOrLog((el, accept) => {
|
|
13
|
-
const nodeName = Names.getName(el);
|
|
14
|
-
if (!nodeName) {
|
|
15
|
-
accept('error', 'DeploymentNode must be named', {
|
|
16
|
-
node: el,
|
|
17
|
-
});
|
|
18
|
-
return;
|
|
19
|
-
}
|
|
20
|
-
const range = nonNullable(Names.getNameNode(el), 'name CstNode not found').range;
|
|
21
|
-
if (RESERVED_WORDS.includes(nodeName)) {
|
|
22
|
-
accept('error', `Reserved word: ${nodeName}`, {
|
|
23
|
-
node: el,
|
|
24
|
-
range,
|
|
25
|
-
});
|
|
26
|
-
}
|
|
27
|
-
const projectId = projectIdFrom(el);
|
|
28
|
-
const fqnName = DeploymentsIndex.getFqn(el);
|
|
29
|
-
const withSameName = DeploymentsIndex.byFqn(projectId, fqnName).limit(2).toArray();
|
|
30
|
-
if (withSameName.length > 1) {
|
|
31
|
-
accept('error', `Duplicate node name "${fqnName}"`, {
|
|
32
|
-
node: el,
|
|
33
|
-
range,
|
|
34
|
-
});
|
|
35
|
-
}
|
|
36
|
-
});
|
|
37
|
-
};
|
|
38
|
-
export const deployedInstanceChecks = (services) => {
|
|
39
|
-
const DeploymentsIndex = services.likec4.DeploymentsIndex;
|
|
40
|
-
const Names = services.references.NameProvider;
|
|
41
|
-
// const Locator = services.workspace.AstNodeLocator
|
|
42
|
-
return tryOrLog((el, accept) => {
|
|
43
|
-
const artifactName = Names.getName(el);
|
|
44
|
-
if (!artifactName) {
|
|
45
|
-
accept('error', 'Deployed instance must be named, unique inside node', {
|
|
46
|
-
node: el,
|
|
47
|
-
});
|
|
48
|
-
return;
|
|
49
|
-
}
|
|
50
|
-
const range = nonNullable(Names.getNameNode(el), 'name CstNode not found').range;
|
|
51
|
-
if (RESERVED_WORDS.includes(artifactName)) {
|
|
52
|
-
accept('error', `Reserved word: ${artifactName}`, {
|
|
53
|
-
node: el,
|
|
54
|
-
range,
|
|
55
|
-
});
|
|
56
|
-
}
|
|
57
|
-
const projectId = projectIdFrom(el);
|
|
58
|
-
const fqnName = DeploymentsIndex.getFqn(el);
|
|
59
|
-
const withSameName = DeploymentsIndex.byFqn(projectId, fqnName).limit(2).toArray();
|
|
60
|
-
if (withSameName.length > 1) {
|
|
61
|
-
accept('error', `Duplicate instance name "${fqnName}"`, {
|
|
62
|
-
node: el,
|
|
63
|
-
range,
|
|
64
|
-
});
|
|
65
|
-
}
|
|
66
|
-
});
|
|
67
|
-
};
|
|
68
|
-
export const deploymentRelationChecks = (services) => {
|
|
69
|
-
const ModelParser = services.likec4.ModelParser;
|
|
70
|
-
return tryOrLog((el, accept) => {
|
|
71
|
-
const target = el.target?.value?.ref;
|
|
72
|
-
if (!target) {
|
|
73
|
-
let targetCstText = el.target?.$cstNode?.text ?? '';
|
|
74
|
-
accept('error', `DeploymentRelation target '${targetCstText}' not resolved`, {
|
|
75
|
-
node: el,
|
|
76
|
-
property: 'target',
|
|
77
|
-
});
|
|
78
|
-
return;
|
|
79
|
-
}
|
|
80
|
-
const doc = getDocument(el);
|
|
81
|
-
const parser = ModelParser.forDocument(doc);
|
|
82
|
-
let sourceFqnRef;
|
|
83
|
-
try {
|
|
84
|
-
sourceFqnRef = parser._resolveDeploymentRelationSource(el);
|
|
85
|
-
}
|
|
86
|
-
catch (e) {
|
|
87
|
-
logger.warn(loggable(e));
|
|
88
|
-
accept('error', 'DeploymentRelation source not resolved', {
|
|
89
|
-
node: el,
|
|
90
|
-
property: 'source',
|
|
91
|
-
});
|
|
92
|
-
return;
|
|
93
|
-
}
|
|
94
|
-
if (FqnRef.isImportRef(sourceFqnRef)) {
|
|
95
|
-
accept('error', 'DeploymentRelation cannot refer imported model (not implemented yet)', {
|
|
96
|
-
node: el,
|
|
97
|
-
property: 'source',
|
|
98
|
-
});
|
|
99
|
-
return;
|
|
100
|
-
}
|
|
101
|
-
if (FqnRef.isModelRef(sourceFqnRef)) {
|
|
102
|
-
accept('error', 'DeploymentRelation must refer deployment element', {
|
|
103
|
-
node: el,
|
|
104
|
-
property: 'source',
|
|
105
|
-
});
|
|
106
|
-
return;
|
|
107
|
-
}
|
|
108
|
-
const targetFqnRef = parser.parseFqnRef(el.target);
|
|
109
|
-
if (FqnRef.isImportRef(targetFqnRef)) {
|
|
110
|
-
accept('error', 'DeploymentRelation cannot refer imported model (not implemented yet)', {
|
|
111
|
-
node: el,
|
|
112
|
-
property: 'target',
|
|
113
|
-
});
|
|
114
|
-
return;
|
|
115
|
-
}
|
|
116
|
-
if (FqnRef.isModelRef(targetFqnRef)) {
|
|
117
|
-
accept('error', 'DeploymentRelation must refer deployment element', {
|
|
118
|
-
node: el,
|
|
119
|
-
property: 'target',
|
|
120
|
-
});
|
|
121
|
-
return;
|
|
122
|
-
}
|
|
123
|
-
if (isSameHierarchy(sourceFqnRef.deployment, targetFqnRef.deployment)) {
|
|
124
|
-
accept('error', 'Invalid parent-child relationship', {
|
|
125
|
-
node: el,
|
|
126
|
-
});
|
|
127
|
-
}
|
|
128
|
-
});
|
|
129
|
-
};
|
|
130
|
-
export const extendDeploymentChecks = (_services) => {
|
|
131
|
-
return tryOrLog((el, accept) => {
|
|
132
|
-
const target = el.deploymentNode.value.ref;
|
|
133
|
-
if (!target || !ast.isDeploymentNode(target)) {
|
|
134
|
-
accept('error', 'ExtendDeployment allows only DeploymentNode', {
|
|
135
|
-
node: el,
|
|
136
|
-
property: 'deploymentNode',
|
|
137
|
-
});
|
|
138
|
-
}
|
|
139
|
-
});
|
|
140
|
-
};
|
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
import { type ValidationCheck } from 'langium';
|
|
2
|
-
import { ast } from '../ast';
|
|
3
|
-
import type { LikeC4Services } from '../module';
|
|
4
|
-
export declare const dynamicViewStepSingle: (services: LikeC4Services) => ValidationCheck<ast.DynamicStepSingle>;
|
|
5
|
-
export declare const dynamicViewStepChain: (services: LikeC4Services) => ValidationCheck<ast.DynamicStepChain>;
|
|
6
|
-
export declare const dynamicViewDisplayVariant: (_services: LikeC4Services) => ValidationCheck<ast.DynamicViewDisplayVariantProperty>;
|
|
@@ -1,67 +0,0 @@
|
|
|
1
|
-
import { isAncestor } from '@likec4/core';
|
|
2
|
-
import { AstUtils } from 'langium';
|
|
3
|
-
import { isEmpty } from 'remeda';
|
|
4
|
-
import { ast } from '../ast';
|
|
5
|
-
import { elementRef } from '../utils/elementRef';
|
|
6
|
-
import { tryOrLog } from './_shared';
|
|
7
|
-
export const dynamicViewStepSingle = (services) => {
|
|
8
|
-
const fqnIndex = services.likec4.FqnIndex;
|
|
9
|
-
return tryOrLog((el, accept) => {
|
|
10
|
-
const sourceEl = elementRef(el.source);
|
|
11
|
-
const source = sourceEl && fqnIndex.getFqn(sourceEl);
|
|
12
|
-
if (!source) {
|
|
13
|
-
accept('error', 'Source not found (not parsed/indexed yet)', {
|
|
14
|
-
node: el,
|
|
15
|
-
property: 'source',
|
|
16
|
-
});
|
|
17
|
-
}
|
|
18
|
-
const targetEl = elementRef(el.target);
|
|
19
|
-
const target = targetEl && fqnIndex.getFqn(targetEl);
|
|
20
|
-
if (!target) {
|
|
21
|
-
accept('error', 'Target not found (not parsed/indexed yet)', {
|
|
22
|
-
node: el,
|
|
23
|
-
property: 'target',
|
|
24
|
-
});
|
|
25
|
-
}
|
|
26
|
-
if (source && target && (isAncestor(source, target) || isAncestor(target, source))) {
|
|
27
|
-
accept('error', 'Invalid parent-child relationship', {
|
|
28
|
-
node: el,
|
|
29
|
-
});
|
|
30
|
-
}
|
|
31
|
-
});
|
|
32
|
-
};
|
|
33
|
-
export const dynamicViewStepChain = (services) => {
|
|
34
|
-
const fqnIndex = services.likec4.FqnIndex;
|
|
35
|
-
return tryOrLog((el, accept) => {
|
|
36
|
-
const source = el.source;
|
|
37
|
-
if (ast.isDynamicStepSingle(source) && source.isBackward) {
|
|
38
|
-
accept('error', 'Invalid chain after backward step', {
|
|
39
|
-
node: el,
|
|
40
|
-
});
|
|
41
|
-
}
|
|
42
|
-
const targetEl = elementRef(el.target);
|
|
43
|
-
const target = targetEl && fqnIndex.getFqn(targetEl);
|
|
44
|
-
if (!target) {
|
|
45
|
-
accept('error', 'Target not found (not parsed/indexed yet)', {
|
|
46
|
-
node: el,
|
|
47
|
-
property: 'target',
|
|
48
|
-
});
|
|
49
|
-
}
|
|
50
|
-
});
|
|
51
|
-
};
|
|
52
|
-
export const dynamicViewDisplayVariant = (_services) => {
|
|
53
|
-
return tryOrLog((prop, accept) => {
|
|
54
|
-
if (isEmpty(prop.value) || (prop.value !== 'diagram' && prop.value !== 'sequence')) {
|
|
55
|
-
accept('error', 'Invalid display variant: "diagram" or "sequence" are allowed', {
|
|
56
|
-
node: prop,
|
|
57
|
-
property: 'value',
|
|
58
|
-
});
|
|
59
|
-
return;
|
|
60
|
-
}
|
|
61
|
-
if (!AstUtils.hasContainerOfType(prop, ast.isDynamicViewBody)) {
|
|
62
|
-
accept('error', `Display mode can be defined only inside dynamic view`, {
|
|
63
|
-
node: prop,
|
|
64
|
-
});
|
|
65
|
-
}
|
|
66
|
-
});
|
|
67
|
-
};
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
import { isReferenceToDeploymentModel } from '../utils';
|
|
2
|
-
import { tryOrLog } from './_shared';
|
|
3
|
-
export const checkElementRef = (_services) => {
|
|
4
|
-
return tryOrLog((el, accept) => {
|
|
5
|
-
if (isReferenceToDeploymentModel(el.modelElement)) {
|
|
6
|
-
accept('error', 'Only model elements allowed here', {
|
|
7
|
-
node: el,
|
|
8
|
-
property: 'modelElement',
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
});
|
|
12
|
-
};
|
|
@@ -1,49 +0,0 @@
|
|
|
1
|
-
import { AstUtils } from 'langium';
|
|
2
|
-
import { projectIdFrom } from '../utils';
|
|
3
|
-
import { RESERVED_WORDS, tryOrLog } from './_shared';
|
|
4
|
-
const { getDocument } = AstUtils;
|
|
5
|
-
export const checkElement = (services) => {
|
|
6
|
-
const fqnIndex = services.likec4.FqnIndex;
|
|
7
|
-
const locator = services.workspace.AstNodeLocator;
|
|
8
|
-
return tryOrLog((el, accept) => {
|
|
9
|
-
const fqn = fqnIndex.getFqn(el);
|
|
10
|
-
if (!fqn) {
|
|
11
|
-
accept('error', 'Not indexed element', {
|
|
12
|
-
node: el,
|
|
13
|
-
property: 'name',
|
|
14
|
-
});
|
|
15
|
-
return;
|
|
16
|
-
}
|
|
17
|
-
if (RESERVED_WORDS.includes(el.name)) {
|
|
18
|
-
accept('error', `Reserved word: ${el.name}`, {
|
|
19
|
-
node: el,
|
|
20
|
-
property: 'name',
|
|
21
|
-
});
|
|
22
|
-
}
|
|
23
|
-
const doc = getDocument(el);
|
|
24
|
-
const docUri = doc.uri;
|
|
25
|
-
const elPath = locator.getAstNodePath(el);
|
|
26
|
-
const withSameFqn = fqnIndex
|
|
27
|
-
.byFqn(projectIdFrom(doc), fqn)
|
|
28
|
-
.filter(v => v.documentUri !== docUri || v.path !== elPath)
|
|
29
|
-
.head();
|
|
30
|
-
if (withSameFqn) {
|
|
31
|
-
const isAnotherDoc = withSameFqn.documentUri !== docUri;
|
|
32
|
-
accept('error', `Duplicate element name ${el.name !== fqn ? el.name + ' (' + fqn + ')' : el.name}`, {
|
|
33
|
-
node: el,
|
|
34
|
-
property: 'name',
|
|
35
|
-
...isAnotherDoc && {
|
|
36
|
-
relatedInformation: [
|
|
37
|
-
{
|
|
38
|
-
location: {
|
|
39
|
-
range: (withSameFqn.nameSegment?.range ?? withSameFqn.selectionSegment?.range),
|
|
40
|
-
uri: withSameFqn.documentUri.toString(),
|
|
41
|
-
},
|
|
42
|
-
message: `conflicting element`,
|
|
43
|
-
},
|
|
44
|
-
],
|
|
45
|
-
},
|
|
46
|
-
});
|
|
47
|
-
}
|
|
48
|
-
});
|
|
49
|
-
};
|
|
@@ -1,46 +0,0 @@
|
|
|
1
|
-
import { AstUtils } from 'langium';
|
|
2
|
-
import { projectIdFrom } from '../utils';
|
|
3
|
-
import { tryOrLog } from './_shared';
|
|
4
|
-
const { getDocument } = AstUtils;
|
|
5
|
-
export const checkImportsFromPoject = (services) => {
|
|
6
|
-
const projects = services.shared.workspace.ProjectsManager;
|
|
7
|
-
return tryOrLog((el, accept) => {
|
|
8
|
-
const doc = getDocument(el);
|
|
9
|
-
const projectId = projectIdFrom(doc);
|
|
10
|
-
if (el.project === projectId) {
|
|
11
|
-
accept('error', 'Imported project cannot be the same as the current project', {
|
|
12
|
-
node: el,
|
|
13
|
-
property: 'project',
|
|
14
|
-
});
|
|
15
|
-
return;
|
|
16
|
-
}
|
|
17
|
-
if (!projects.all.includes(el.project)) {
|
|
18
|
-
accept('error', 'Imported project not found', {
|
|
19
|
-
node: el,
|
|
20
|
-
property: 'project',
|
|
21
|
-
});
|
|
22
|
-
return;
|
|
23
|
-
}
|
|
24
|
-
});
|
|
25
|
-
};
|
|
26
|
-
// export const checkImported = (services: LikeC4Services): ValidationCheck<ast.Imported> => {
|
|
27
|
-
// const fqnIndex = services.likec4.FqnIndex
|
|
28
|
-
// const projects = services.shared.workspace.ProjectsManager
|
|
29
|
-
// return tryOrLog((el, accept) => {
|
|
30
|
-
// const doc = getDocument(el)
|
|
31
|
-
// const importFromProject = el.$container.project as ProjectId
|
|
32
|
-
// if (importFromProject === projectId || !projects.all.includes(importFromProject)) {
|
|
33
|
-
// accept('error', 'Invalid import', {
|
|
34
|
-
// node: el,
|
|
35
|
-
// })
|
|
36
|
-
// return
|
|
37
|
-
// }
|
|
38
|
-
// const fqn = fqnIndex.byFqn(importFromProject, el.element.$refText as Fqn).head()
|
|
39
|
-
// if (!fqn) {
|
|
40
|
-
// accept('error', `Imported element not found in project "${importFromProject}"`, {
|
|
41
|
-
// node: el,
|
|
42
|
-
// })
|
|
43
|
-
// return
|
|
44
|
-
// }
|
|
45
|
-
// })
|
|
46
|
-
// }
|
|
@@ -1,15 +0,0 @@
|
|
|
1
|
-
import { type AstNode } from 'langium';
|
|
2
|
-
import { type LikeC4LangiumDocument, ast } from '../ast';
|
|
3
|
-
import type { LikeC4Services } from '../module';
|
|
4
|
-
export { LikeC4DocumentValidator } from './DocumentValidator';
|
|
5
|
-
type Guard<N extends AstNode> = (n: AstNode) => n is N;
|
|
6
|
-
type Guarded<G> = G extends Guard<infer N> ? N : never;
|
|
7
|
-
declare const isValidatableAstNode: (n: AstNode) => n is ast.Element | ast.DeployedInstance | ast.DeploymentNode | ast.Tags | ast.ElementKindExpression | ast.ElementTagExpression | ast.FqnRefExpr | ast.WildcardExpression | ast.FqnExprWhere | ast.FqnExprWith | ast.DirectedRelationExpr | ast.InOutRelationExpr | ast.IncomingRelationExpr | ast.OutgoingRelationExpr | ast.RelationExprWhere | ast.RelationExprWith | ast.ImportsFromPoject | ast.Imported | ast.Globals | ast.GlobalPredicateGroup | ast.GlobalDynamicPredicateGroup | ast.GlobalStyle | ast.GlobalStyleGroup | ast.DeploymentViewRulePredicate | ast.DynamicViewIncludePredicate | ast.ViewRulePredicate | ast.DeploymentView | ast.DynamicView | ast.ViewRuleGroup | ast.ElementView | ast.DeploymentViewRuleStyle | ast.ViewRuleRank | ast.ViewRuleStyle | ast.DynamicViewParallelSteps | ast.DynamicStepChain | ast.DynamicStepSingle | ast.ViewRuleAutoLayout | ast.LinkProperty | ast.ViewStringProperty | ast.SpecificationDeploymentNodeKind | ast.SpecificationElementKind | ast.ExtendDeployment | ast.DeploymentRelation | ast.ExtendElement | ast.ExtendRelation | ast.Relation | ast.SpecificationRule | ast.BorderProperty | ast.ColorProperty | ast.IconProperty | ast.MultipleProperty | ast.OpacityProperty | ast.PaddingSizeProperty | ast.ShapeProperty | ast.ShapeSizeProperty | ast.TextSizeProperty | ast.ElementStyleProperty | ast.SpecificationRelationshipKind | ast.ViewRuleGlobalPredicateRef | ast.ViewRuleGlobalStyle | ast.DynamicViewGlobalPredicateRef | ast.ArrowProperty | ast.LineProperty | ast.DynamicViewDisplayVariantProperty | ast.MetadataBody | ast.ElementStringProperty | ast.MetadataAttribute | ast.NotationProperty | ast.NotesProperty | ast.RelationStringProperty | ast.SpecificationElementStringProperty | ast.SpecificationRelationshipStringProperty | ast.NavigateToProperty | ast.ElementRef | ast.SpecificationTag | ast.SpecificationColor | ast.HexColor | ast.RGBAColor;
|
|
8
|
-
type ValidatableAstNode = Guarded<typeof isValidatableAstNode>;
|
|
9
|
-
export declare function checksFromDiagnostics(doc: LikeC4LangiumDocument): {
|
|
10
|
-
isValid: (n: ValidatableAstNode) => boolean;
|
|
11
|
-
invalidNodes: WeakSet<object>;
|
|
12
|
-
};
|
|
13
|
-
export type ChecksFromDiagnostics = ReturnType<typeof checksFromDiagnostics>;
|
|
14
|
-
export type IsValidFn = ChecksFromDiagnostics['isValid'];
|
|
15
|
-
export declare function registerValidationChecks(services: LikeC4Services): void;
|
package/dist/validation/index.js
DELETED
|
@@ -1,167 +0,0 @@
|
|
|
1
|
-
// SPDX-License-Identifier: MIT
|
|
2
|
-
//
|
|
3
|
-
// Copyright (c) 2023-2025 Denis Davydkov
|
|
4
|
-
// Copyright (c) 2025 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
|
|
5
|
-
//
|
|
6
|
-
// Portions of this file have been modified by NVIDIA CORPORATION & AFFILIATES.
|
|
7
|
-
import { onNextTick } from '@likec4/core/utils';
|
|
8
|
-
import { loggable } from '@likec4/log';
|
|
9
|
-
import { DocumentState } from 'langium';
|
|
10
|
-
import { isNullish } from 'remeda';
|
|
11
|
-
import { DiagnosticSeverity } from 'vscode-languageserver-types';
|
|
12
|
-
import { ast } from '../ast';
|
|
13
|
-
import { logger } from '../logger';
|
|
14
|
-
import { deployedInstanceChecks, deploymentNodeChecks, deploymentRelationChecks, extendDeploymentChecks, } from './deployment-checks';
|
|
15
|
-
import { dynamicViewDisplayVariant, dynamicViewStepChain, dynamicViewStepSingle } from './dynamic-view';
|
|
16
|
-
import { checkElement } from './element';
|
|
17
|
-
import { checkElementRef } from './element-ref';
|
|
18
|
-
import { checkImportsFromPoject } from './imports';
|
|
19
|
-
import { colorLiteralRuleChecks, iconPropertyRuleChecks, notesPropertyRuleChecks, opacityPropertyRuleChecks, } from './property-checks';
|
|
20
|
-
import { checkRelationBody, extendRelationChecks, relationChecks } from './relation';
|
|
21
|
-
import { checkDeploymentNodeKind, checkElementKind, checkGlobalPredicate, checkGlobals, checkGlobalStyleId, checkModel, checkRelationshipKind, checkSpecificationRule, checkTag, } from './specification';
|
|
22
|
-
import { viewChecks } from './view';
|
|
23
|
-
import { viewRuleRankChecks } from './view-checks';
|
|
24
|
-
import { checkFqnExprWith, checkFqnRefExpr, checkIncomingRelationExpr, checkOutgoingRelationExpr, checkRelationExpr, checkRelationExprWith, } from './view-predicates';
|
|
25
|
-
export { LikeC4DocumentValidator } from './DocumentValidator';
|
|
26
|
-
function validatableAstNodeGuards(predicates) {
|
|
27
|
-
return (n) => predicates.some(p => p(n));
|
|
28
|
-
}
|
|
29
|
-
const isValidatableAstNode = validatableAstNodeGuards([
|
|
30
|
-
ast.isImportsFromPoject,
|
|
31
|
-
ast.isImported,
|
|
32
|
-
ast.isGlobals,
|
|
33
|
-
ast.isGlobalPredicateGroup,
|
|
34
|
-
ast.isGlobalDynamicPredicateGroup,
|
|
35
|
-
ast.isGlobalStyle,
|
|
36
|
-
ast.isGlobalStyleGroup,
|
|
37
|
-
ast.isFqnExprWith,
|
|
38
|
-
ast.isRelationExprWith,
|
|
39
|
-
ast.isFqnExpr,
|
|
40
|
-
ast.isRelationExpr,
|
|
41
|
-
ast.isDynamicViewParallelSteps,
|
|
42
|
-
ast.isDynamicStepChain,
|
|
43
|
-
ast.isDynamicStepSingle,
|
|
44
|
-
ast.isDeploymentViewRule,
|
|
45
|
-
ast.isDeploymentViewRulePredicate,
|
|
46
|
-
ast.isExpressionV2,
|
|
47
|
-
ast.isRelationExpr,
|
|
48
|
-
ast.isFqnRefExpr,
|
|
49
|
-
ast.isViewProperty,
|
|
50
|
-
ast.isStyleProperty,
|
|
51
|
-
ast.isTags,
|
|
52
|
-
ast.isViewRule,
|
|
53
|
-
ast.isDynamicViewRule,
|
|
54
|
-
ast.isLikeC4View,
|
|
55
|
-
ast.isViewRuleStyleOrGlobalRef,
|
|
56
|
-
ast.isDeployedInstance,
|
|
57
|
-
ast.isDeploymentNode,
|
|
58
|
-
ast.isDeploymentRelation,
|
|
59
|
-
ast.isRelationshipStyleProperty,
|
|
60
|
-
ast.isDynamicViewDisplayVariantProperty,
|
|
61
|
-
ast.isMetadataProperty,
|
|
62
|
-
ast.isRelation,
|
|
63
|
-
ast.isElementProperty,
|
|
64
|
-
ast.isStringProperty,
|
|
65
|
-
ast.isNavigateToProperty,
|
|
66
|
-
ast.isElement,
|
|
67
|
-
ast.isElementRef,
|
|
68
|
-
ast.isExtendElement,
|
|
69
|
-
ast.isExtendDeployment,
|
|
70
|
-
ast.isExtendRelation,
|
|
71
|
-
ast.isSpecificationElementKind,
|
|
72
|
-
ast.isSpecificationRelationshipKind,
|
|
73
|
-
ast.isSpecificationDeploymentNodeKind,
|
|
74
|
-
ast.isSpecificationTag,
|
|
75
|
-
ast.isSpecificationColor,
|
|
76
|
-
ast.isSpecificationRule,
|
|
77
|
-
ast.isColorLiteral,
|
|
78
|
-
]);
|
|
79
|
-
const findInvalidContainer = (node) => {
|
|
80
|
-
let nd = node;
|
|
81
|
-
while (nd && !ast.isLikeC4Grammar(nd)) {
|
|
82
|
-
if (isValidatableAstNode(nd)) {
|
|
83
|
-
return nd;
|
|
84
|
-
}
|
|
85
|
-
nd = nd.$container;
|
|
86
|
-
}
|
|
87
|
-
return undefined;
|
|
88
|
-
};
|
|
89
|
-
export function checksFromDiagnostics(doc) {
|
|
90
|
-
const errors = doc.state >= DocumentState.Validated
|
|
91
|
-
? (doc.diagnostics?.filter(d => d.severity === DiagnosticSeverity.Error) ?? [])
|
|
92
|
-
: [];
|
|
93
|
-
const invalidNodes = new WeakSet();
|
|
94
|
-
for (const { node } of errors) {
|
|
95
|
-
if (isNullish(node) || invalidNodes.has(node)) {
|
|
96
|
-
continue;
|
|
97
|
-
}
|
|
98
|
-
invalidNodes.add(node);
|
|
99
|
-
const container = findInvalidContainer(node);
|
|
100
|
-
if (container) {
|
|
101
|
-
invalidNodes.add(container);
|
|
102
|
-
}
|
|
103
|
-
}
|
|
104
|
-
const isValid = (n) => !invalidNodes.has(n);
|
|
105
|
-
return {
|
|
106
|
-
isValid,
|
|
107
|
-
invalidNodes,
|
|
108
|
-
};
|
|
109
|
-
}
|
|
110
|
-
export function registerValidationChecks(services) {
|
|
111
|
-
logger.debug('registerValidationChecks');
|
|
112
|
-
const registry = services.validation.ValidationRegistry;
|
|
113
|
-
registry.register({
|
|
114
|
-
DeployedInstance: deployedInstanceChecks(services),
|
|
115
|
-
DeploymentNodeKind: checkDeploymentNodeKind(services),
|
|
116
|
-
DeploymentNode: deploymentNodeChecks(services),
|
|
117
|
-
DeploymentRelation: deploymentRelationChecks(services),
|
|
118
|
-
ExtendDeployment: extendDeploymentChecks(services),
|
|
119
|
-
ExtendRelation: extendRelationChecks(services),
|
|
120
|
-
FqnRefExpr: checkFqnRefExpr(services),
|
|
121
|
-
RelationExpr: checkRelationExpr(services),
|
|
122
|
-
NotesProperty: notesPropertyRuleChecks(services),
|
|
123
|
-
OpacityProperty: opacityPropertyRuleChecks(services),
|
|
124
|
-
IconProperty: iconPropertyRuleChecks(services),
|
|
125
|
-
SpecificationRule: checkSpecificationRule(services),
|
|
126
|
-
Model: checkModel(services),
|
|
127
|
-
Globals: checkGlobals(services),
|
|
128
|
-
GlobalPredicateGroup: checkGlobalPredicate(services),
|
|
129
|
-
GlobalDynamicPredicateGroup: checkGlobalPredicate(services),
|
|
130
|
-
GlobalStyleId: checkGlobalStyleId(services),
|
|
131
|
-
DynamicStepSingle: dynamicViewStepSingle(services),
|
|
132
|
-
DynamicStepChain: dynamicViewStepChain(services),
|
|
133
|
-
LikeC4View: viewChecks(services),
|
|
134
|
-
Element: checkElement(services),
|
|
135
|
-
ElementRef: checkElementRef(services),
|
|
136
|
-
ElementKind: checkElementKind(services),
|
|
137
|
-
Relation: relationChecks(services),
|
|
138
|
-
RelationBody: checkRelationBody(services),
|
|
139
|
-
Tag: checkTag(services),
|
|
140
|
-
FqnExprWith: checkFqnExprWith(services),
|
|
141
|
-
RelationExprWith: checkRelationExprWith(services),
|
|
142
|
-
RelationshipKind: checkRelationshipKind(services),
|
|
143
|
-
IncomingRelationExpr: checkIncomingRelationExpr(services),
|
|
144
|
-
OutgoingRelationExpr: checkOutgoingRelationExpr(services),
|
|
145
|
-
ImportsFromPoject: checkImportsFromPoject(services),
|
|
146
|
-
// Imported: checkImported(services),
|
|
147
|
-
ColorLiteral: colorLiteralRuleChecks(services),
|
|
148
|
-
DynamicViewDisplayVariantProperty: dynamicViewDisplayVariant(services),
|
|
149
|
-
ViewRuleRank: viewRuleRankChecks(services),
|
|
150
|
-
});
|
|
151
|
-
const connection = services.shared.lsp.Connection;
|
|
152
|
-
if (connection) {
|
|
153
|
-
// delay initialization
|
|
154
|
-
onNextTick(() => {
|
|
155
|
-
// workaround for bug in langium
|
|
156
|
-
services.shared.workspace.DocumentBuilder.onUpdate((_, deleted) => {
|
|
157
|
-
for (const uri of deleted) {
|
|
158
|
-
logger.debug(`clear diagnostics for deleted ${uri.path}`);
|
|
159
|
-
connection.sendDiagnostics({
|
|
160
|
-
uri: uri.toString(),
|
|
161
|
-
diagnostics: [],
|
|
162
|
-
}).catch(e => logger.error(loggable(e)));
|
|
163
|
-
}
|
|
164
|
-
});
|
|
165
|
-
});
|
|
166
|
-
}
|
|
167
|
-
}
|
|
@@ -1,7 +0,0 @@
|
|
|
1
|
-
import { type ValidationCheck } from 'langium';
|
|
2
|
-
import { ast } from '../ast';
|
|
3
|
-
import type { LikeC4Services } from '../module';
|
|
4
|
-
export declare const opacityPropertyRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.OpacityProperty>;
|
|
5
|
-
export declare const iconPropertyRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.IconProperty>;
|
|
6
|
-
export declare const notesPropertyRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.NotesProperty>;
|
|
7
|
-
export declare const colorLiteralRuleChecks: (_: LikeC4Services) => ValidationCheck<ast.ColorLiteral>;
|
|
@@ -1,108 +0,0 @@
|
|
|
1
|
-
import { nonexhaustive } from '@likec4/core';
|
|
2
|
-
import { AstUtils } from 'langium';
|
|
3
|
-
import { isNumber, isString } from 'remeda';
|
|
4
|
-
import { ast } from '../ast';
|
|
5
|
-
import { tryOrLog } from './_shared';
|
|
6
|
-
export const opacityPropertyRuleChecks = (_) => {
|
|
7
|
-
return tryOrLog((node, accept) => {
|
|
8
|
-
const opacity = parseFloat(node.value);
|
|
9
|
-
if (isNaN(opacity) || opacity < 0 || opacity > 100) {
|
|
10
|
-
accept('warning', `Value ignored, must be between 0% and 100%`, {
|
|
11
|
-
node,
|
|
12
|
-
property: 'value',
|
|
13
|
-
});
|
|
14
|
-
}
|
|
15
|
-
});
|
|
16
|
-
};
|
|
17
|
-
export const iconPropertyRuleChecks = (_) => {
|
|
18
|
-
return (node, accept) => {
|
|
19
|
-
const container = node.$container;
|
|
20
|
-
const anotherIcon = container.props.some(p => ast.isIconProperty(p) && p !== node);
|
|
21
|
-
if (anotherIcon) {
|
|
22
|
-
accept('error', `Icon must be defined once`, {
|
|
23
|
-
node,
|
|
24
|
-
});
|
|
25
|
-
}
|
|
26
|
-
if (ast.isElementStyleProperty(container) && ast.isElementBody(container.$container)
|
|
27
|
-
&& container.$container.props.some(p => ast.isIconProperty(p))) {
|
|
28
|
-
accept('warning', `Redundant as icon defined on element`, {
|
|
29
|
-
node,
|
|
30
|
-
});
|
|
31
|
-
}
|
|
32
|
-
if (node.value?.startsWith('file://')) {
|
|
33
|
-
accept('error', `Icon URI must not start with file://`, {
|
|
34
|
-
node,
|
|
35
|
-
property: 'value',
|
|
36
|
-
});
|
|
37
|
-
}
|
|
38
|
-
};
|
|
39
|
-
};
|
|
40
|
-
export const notesPropertyRuleChecks = (_) => {
|
|
41
|
-
return (node, accept) => {
|
|
42
|
-
if (!AstUtils.hasContainerOfType(node, ast.isDynamicViewStep)) {
|
|
43
|
-
accept('error', `Notes can be defined only inside dynamic view`, {
|
|
44
|
-
node,
|
|
45
|
-
});
|
|
46
|
-
}
|
|
47
|
-
};
|
|
48
|
-
};
|
|
49
|
-
export const colorLiteralRuleChecks = (_) => {
|
|
50
|
-
return (node, accept) => {
|
|
51
|
-
if (node.$type === 'HexColor') {
|
|
52
|
-
if (node.hex === undefined || (isString(node.hex) && !node.hex.match(/^[a-fA-F0-9]+$/))) {
|
|
53
|
-
accept('error', `Invalid HEX`, {
|
|
54
|
-
node,
|
|
55
|
-
property: 'hex',
|
|
56
|
-
});
|
|
57
|
-
return;
|
|
58
|
-
}
|
|
59
|
-
const length = isNumber(node.hex) ? node.hex.toString().length : node.hex.length;
|
|
60
|
-
if (length !== 6 && length !== 3 && length !== 8) {
|
|
61
|
-
accept('error', `Invalid value "${node.$cstNode?.text}", must be 3, 6 or 8 characters long`, {
|
|
62
|
-
node,
|
|
63
|
-
property: 'hex',
|
|
64
|
-
});
|
|
65
|
-
}
|
|
66
|
-
return;
|
|
67
|
-
}
|
|
68
|
-
if (node.$type === 'RGBAColor') {
|
|
69
|
-
if (!isNumber(node.red) || node.red < 0 || node.red > 255) {
|
|
70
|
-
accept('error', `Invalid value, must be between 0 and 255`, {
|
|
71
|
-
node,
|
|
72
|
-
property: 'red',
|
|
73
|
-
});
|
|
74
|
-
}
|
|
75
|
-
if (!isNumber(node.green) || node.green < 0 || node.green > 255) {
|
|
76
|
-
accept('error', `Invalid value, must be between 0 and 255`, {
|
|
77
|
-
node,
|
|
78
|
-
property: 'green',
|
|
79
|
-
});
|
|
80
|
-
}
|
|
81
|
-
if (!isNumber(node.blue) || node.blue < 0 || node.blue > 255) {
|
|
82
|
-
accept('error', `Invalid value, must be between 0 and 255`, {
|
|
83
|
-
node,
|
|
84
|
-
property: 'blue',
|
|
85
|
-
});
|
|
86
|
-
}
|
|
87
|
-
if (isNumber(node.alpha)) {
|
|
88
|
-
if (node.alpha < 0 || node.alpha > 1) {
|
|
89
|
-
accept('error', `Invalid value, must be between 0 and 1`, {
|
|
90
|
-
node,
|
|
91
|
-
property: 'alpha',
|
|
92
|
-
});
|
|
93
|
-
}
|
|
94
|
-
}
|
|
95
|
-
if (isString(node.alpha)) {
|
|
96
|
-
const alpha = parseFloat(node.alpha);
|
|
97
|
-
if (alpha < 0 || alpha > 100) {
|
|
98
|
-
accept('error', `Invalid value, must be between 0% and 100%`, {
|
|
99
|
-
node,
|
|
100
|
-
property: 'alpha',
|
|
101
|
-
});
|
|
102
|
-
}
|
|
103
|
-
}
|
|
104
|
-
return;
|
|
105
|
-
}
|
|
106
|
-
nonexhaustive(node);
|
|
107
|
-
};
|
|
108
|
-
};
|
|
@@ -1,6 +0,0 @@
|
|
|
1
|
-
import { type ValidationCheck } from 'langium';
|
|
2
|
-
import { ast } from '../ast';
|
|
3
|
-
import type { LikeC4Services } from '../module';
|
|
4
|
-
export declare const relationChecks: (services: LikeC4Services) => ValidationCheck<ast.Relation>;
|
|
5
|
-
export declare const checkRelationBody: (_services: LikeC4Services) => ValidationCheck<ast.RelationBody>;
|
|
6
|
-
export declare const extendRelationChecks: (services: LikeC4Services) => ValidationCheck<ast.ExtendRelation>;
|