@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.
Files changed (297) hide show
  1. package/browser/package.json +2 -2
  2. package/browser-worker/package.json +2 -2
  3. package/bundled/package.json +4 -0
  4. package/dist/THIRD-PARTY-LICENSES.md +178 -0
  5. package/dist/_chunks/ConfigurableLayouter.mjs +1 -0
  6. package/dist/_chunks/LikeC4FileSystem.mjs +3 -0
  7. package/dist/_chunks/LikeC4Views.mjs +34 -0
  8. package/dist/_chunks/ProjectsManager.mjs +1 -0
  9. package/dist/_chunks/WithMCPServer.mjs +481 -0
  10. package/dist/_chunks/icons.mjs +2 -0
  11. package/dist/_chunks/index.d.mts +3107 -0
  12. package/dist/_chunks/libs/@msgpack/msgpack.mjs +1 -0
  13. package/dist/_chunks/libs/eventemitter3.mjs +1 -0
  14. package/dist/_chunks/libs/fast-equals.mjs +1 -0
  15. package/dist/_chunks/libs/p-queue.mjs +1 -0
  16. package/dist/_chunks/libs/parse-ms.mjs +1 -0
  17. package/dist/_chunks/libs/picomatch.mjs +1 -0
  18. package/dist/_chunks/libs/pretty-ms.mjs +1 -0
  19. package/dist/_chunks/libs/remeda.mjs +1 -0
  20. package/dist/_chunks/libs/strip-indent.mjs +1 -0
  21. package/dist/_chunks/libs/ufo.mjs +1 -0
  22. package/dist/_chunks/logger.mjs +1 -0
  23. package/dist/_chunks/rolldown-runtime.mjs +1 -0
  24. package/dist/_chunks/utils.mjs +1 -0
  25. package/dist/browser/index.d.mts +10 -0
  26. package/dist/browser/index.mjs +1 -0
  27. package/dist/browser/worker.d.mts +1 -0
  28. package/dist/browser/worker.mjs +1 -0
  29. package/dist/bundled.d.mts +27 -0
  30. package/dist/bundled.mjs +1 -4853
  31. package/dist/filesystem/index.d.mts +2 -0
  32. package/dist/filesystem/index.mjs +1 -0
  33. package/dist/index.d.mts +39 -0
  34. package/dist/index.mjs +1 -0
  35. package/dist/likec4lib.d.mts +16 -0
  36. package/dist/likec4lib.mjs +1 -0
  37. package/dist/mcp/index.d.mts +2 -0
  38. package/dist/mcp/index.mjs +1 -0
  39. package/dist/module.d.mts +126 -0
  40. package/dist/module.mjs +1 -0
  41. package/dist/protocol.d.mts +315 -0
  42. package/dist/protocol.mjs +1 -0
  43. package/filesystem/package.json +4 -0
  44. package/likec4lib/package.json +2 -2
  45. package/mcp/package.json +4 -0
  46. package/module/package.json +4 -0
  47. package/package.json +128 -62
  48. package/protocol/package.json +2 -2
  49. package/LICENSE +0 -21
  50. package/dist/LikeC4LanguageServices.d.ts +0 -115
  51. package/dist/LikeC4LanguageServices.js +0 -164
  52. package/dist/Rpc.d.ts +0 -9
  53. package/dist/Rpc.js +0 -276
  54. package/dist/ast.d.ts +0 -226
  55. package/dist/ast.js +0 -264
  56. package/dist/browser-worker.d.ts +0 -1
  57. package/dist/browser-worker.js +0 -4
  58. package/dist/browser.d.ts +0 -10
  59. package/dist/browser.js +0 -34
  60. package/dist/bundled.d.ts +0 -8
  61. package/dist/bundled.js +0 -44
  62. package/dist/documentation/documentation-provider.d.ts +0 -8
  63. package/dist/documentation/documentation-provider.js +0 -51
  64. package/dist/documentation/index.d.ts +0 -1
  65. package/dist/documentation/index.js +0 -1
  66. package/dist/empty.d.ts +0 -2
  67. package/dist/empty.js +0 -2
  68. package/dist/filesystem/ChokidarWatcher.d.ts +0 -19
  69. package/dist/filesystem/ChokidarWatcher.js +0 -133
  70. package/dist/filesystem/FileSystemWatcher.d.ts +0 -19
  71. package/dist/filesystem/FileSystemWatcher.js +0 -14
  72. package/dist/filesystem/LikeC4FileSystem.d.ts +0 -3
  73. package/dist/filesystem/LikeC4FileSystem.js +0 -140
  74. package/dist/filesystem/index.d.ts +0 -55
  75. package/dist/filesystem/index.js +0 -29
  76. package/dist/formatting/LikeC4Formatter.d.ts +0 -59
  77. package/dist/formatting/LikeC4Formatter.js +0 -637
  78. package/dist/formatting/utils.d.ts +0 -6
  79. package/dist/formatting/utils.js +0 -18
  80. package/dist/generated/ast.d.ts +0 -1411
  81. package/dist/generated/ast.js +0 -2207
  82. package/dist/generated/grammar.d.ts +0 -6
  83. package/dist/generated/grammar.js +0 -7
  84. package/dist/generated/module.d.ts +0 -14
  85. package/dist/generated/module.js +0 -27
  86. package/dist/generated-lib/icons.d.ts +0 -1
  87. package/dist/generated-lib/icons.js +0 -18
  88. package/dist/index.d.ts +0 -37
  89. package/dist/index.js +0 -54
  90. package/dist/likec4lib.d.ts +0 -6
  91. package/dist/likec4lib.js +0 -7
  92. package/dist/logger.d.ts +0 -17
  93. package/dist/logger.js +0 -81
  94. package/dist/lsp/CodeActionProvider.d.ts +0 -14
  95. package/dist/lsp/CodeActionProvider.js +0 -33
  96. package/dist/lsp/CodeLensProvider.d.ts +0 -9
  97. package/dist/lsp/CodeLensProvider.js +0 -44
  98. package/dist/lsp/CompletionProvider.d.ts +0 -13
  99. package/dist/lsp/CompletionProvider.js +0 -238
  100. package/dist/lsp/DocumentHighlightProvider.d.ts +0 -9
  101. package/dist/lsp/DocumentHighlightProvider.js +0 -10
  102. package/dist/lsp/DocumentLinkProvider.d.ts +0 -11
  103. package/dist/lsp/DocumentLinkProvider.js +0 -58
  104. package/dist/lsp/DocumentSymbolProvider.d.ts +0 -33
  105. package/dist/lsp/DocumentSymbolProvider.js +0 -317
  106. package/dist/lsp/HoverProvider.d.ts +0 -10
  107. package/dist/lsp/HoverProvider.js +0 -106
  108. package/dist/lsp/RenameProvider.d.ts +0 -5
  109. package/dist/lsp/RenameProvider.js +0 -6
  110. package/dist/lsp/SemanticTokenProvider.d.ts +0 -19
  111. package/dist/lsp/SemanticTokenProvider.js +0 -305
  112. package/dist/lsp/index.d.ts +0 -8
  113. package/dist/lsp/index.js +0 -9
  114. package/dist/mcp/MCPServerFactory.d.ts +0 -8
  115. package/dist/mcp/MCPServerFactory.js +0 -73
  116. package/dist/mcp/NoopLikeC4MCPServer.d.ts +0 -9
  117. package/dist/mcp/NoopLikeC4MCPServer.js +0 -17
  118. package/dist/mcp/interfaces.d.ts +0 -13
  119. package/dist/mcp/interfaces.js +0 -4
  120. package/dist/mcp/server/StdioLikeC4MCPServer.d.ts +0 -16
  121. package/dist/mcp/server/StdioLikeC4MCPServer.js +0 -51
  122. package/dist/mcp/server/StreamableLikeC4MCPServer.d.ts +0 -16
  123. package/dist/mcp/server/StreamableLikeC4MCPServer.js +0 -121
  124. package/dist/mcp/server/WithMCPServer.d.ts +0 -4
  125. package/dist/mcp/server/WithMCPServer.js +0 -54
  126. package/dist/mcp/tools/_common.d.ts +0 -88
  127. package/dist/mcp/tools/_common.js +0 -49
  128. package/dist/mcp/tools/find-relationships.d.ts +0 -202
  129. package/dist/mcp/tools/find-relationships.js +0 -150
  130. package/dist/mcp/tools/list-projects.d.ts +0 -194
  131. package/dist/mcp/tools/list-projects.js +0 -62
  132. package/dist/mcp/tools/open-view.d.ts +0 -200
  133. package/dist/mcp/tools/open-view.js +0 -52
  134. package/dist/mcp/tools/read-deployment.d.ts +0 -200
  135. package/dist/mcp/tools/read-deployment.js +0 -150
  136. package/dist/mcp/tools/read-element.d.ts +0 -200
  137. package/dist/mcp/tools/read-element.js +0 -218
  138. package/dist/mcp/tools/read-project-summary.d.ts +0 -198
  139. package/dist/mcp/tools/read-project-summary.js +0 -176
  140. package/dist/mcp/tools/read-view.d.ts +0 -200
  141. package/dist/mcp/tools/read-view.js +0 -203
  142. package/dist/mcp/tools/search-element.d.ts +0 -198
  143. package/dist/mcp/tools/search-element.js +0 -177
  144. package/dist/mcp/utils.d.ts +0 -18
  145. package/dist/mcp/utils.js +0 -48
  146. package/dist/model/builder/MergedExtends.d.ts +0 -13
  147. package/dist/model/builder/MergedExtends.js +0 -74
  148. package/dist/model/builder/MergedSpecification.d.ts +0 -32
  149. package/dist/model/builder/MergedSpecification.js +0 -175
  150. package/dist/model/builder/buildModel.d.ts +0 -16
  151. package/dist/model/builder/buildModel.js +0 -245
  152. package/dist/model/deployments-index.d.ts +0 -10
  153. package/dist/model/deployments-index.js +0 -102
  154. package/dist/model/fqn-index.d.ts +0 -61
  155. package/dist/model/fqn-index.js +0 -253
  156. package/dist/model/index.d.ts +0 -6
  157. package/dist/model/index.js +0 -6
  158. package/dist/model/model-builder.d.ts +0 -54
  159. package/dist/model/model-builder.js +0 -233
  160. package/dist/model/model-locator.d.ts +0 -39
  161. package/dist/model/model-locator.js +0 -240
  162. package/dist/model/model-parser-where.d.ts +0 -4
  163. package/dist/model/model-parser-where.js +0 -81
  164. package/dist/model/model-parser.d.ts +0 -645
  165. package/dist/model/model-parser.js +0 -133
  166. package/dist/model/parser/Base.d.ts +0 -69
  167. package/dist/model/parser/Base.js +0 -382
  168. package/dist/model/parser/DeploymentModelParser.d.ts +0 -71
  169. package/dist/model/parser/DeploymentModelParser.js +0 -176
  170. package/dist/model/parser/DeploymentViewParser.d.ts +0 -75
  171. package/dist/model/parser/DeploymentViewParser.js +0 -86
  172. package/dist/model/parser/FqnRefParser.d.ts +0 -66
  173. package/dist/model/parser/FqnRefParser.js +0 -382
  174. package/dist/model/parser/GlobalsParser.d.ts +0 -109
  175. package/dist/model/parser/GlobalsParser.js +0 -84
  176. package/dist/model/parser/ImportsParser.d.ts +0 -46
  177. package/dist/model/parser/ImportsParser.js +0 -24
  178. package/dist/model/parser/ModelParser.d.ts +0 -71
  179. package/dist/model/parser/ModelParser.js +0 -209
  180. package/dist/model/parser/PredicatesParser.d.ts +0 -75
  181. package/dist/model/parser/PredicatesParser.js +0 -45
  182. package/dist/model/parser/SpecificationParser.d.ts +0 -53
  183. package/dist/model/parser/SpecificationParser.js +0 -113
  184. package/dist/model/parser/ValueConverter.d.ts +0 -4
  185. package/dist/model/parser/ValueConverter.js +0 -12
  186. package/dist/model/parser/ViewsParser.d.ts +0 -112
  187. package/dist/model/parser/ViewsParser.js +0 -492
  188. package/dist/model-change/ModelChanges.d.ts +0 -18
  189. package/dist/model-change/ModelChanges.js +0 -129
  190. package/dist/model-change/changeElementStyle.d.ts +0 -16
  191. package/dist/model-change/changeElementStyle.js +0 -134
  192. package/dist/model-change/changeViewLayout.d.ts +0 -12
  193. package/dist/model-change/changeViewLayout.js +0 -28
  194. package/dist/model-change/removeManualLayoutV1.d.ts +0 -7
  195. package/dist/model-change/removeManualLayoutV1.js +0 -27
  196. package/dist/module.d.ts +0 -92
  197. package/dist/module.js +0 -143
  198. package/dist/protocol.d.ts +0 -289
  199. package/dist/protocol.js +0 -123
  200. package/dist/references/index.d.ts +0 -3
  201. package/dist/references/index.js +0 -3
  202. package/dist/references/name-provider.d.ts +0 -9
  203. package/dist/references/name-provider.js +0 -37
  204. package/dist/references/scope-computation.d.ts +0 -20
  205. package/dist/references/scope-computation.js +0 -288
  206. package/dist/references/scope-provider.d.ts +0 -40
  207. package/dist/references/scope-provider.js +0 -239
  208. package/dist/shared/NodeKindProvider.d.ts +0 -15
  209. package/dist/shared/NodeKindProvider.js +0 -57
  210. package/dist/shared/WorkspaceSymbolProvider.d.ts +0 -3
  211. package/dist/shared/WorkspaceSymbolProvider.js +0 -3
  212. package/dist/shared/index.d.ts +0 -2
  213. package/dist/shared/index.js +0 -2
  214. package/dist/test/index.d.ts +0 -1
  215. package/dist/test/index.js +0 -1
  216. package/dist/test/testServices.d.ts +0 -64
  217. package/dist/test/testServices.js +0 -210
  218. package/dist/utils/disposable.d.ts +0 -8
  219. package/dist/utils/disposable.js +0 -26
  220. package/dist/utils/elementRef.d.ts +0 -11
  221. package/dist/utils/elementRef.js +0 -33
  222. package/dist/utils/fqnRef.d.ts +0 -11
  223. package/dist/utils/fqnRef.js +0 -63
  224. package/dist/utils/index.d.ts +0 -11
  225. package/dist/utils/index.js +0 -35
  226. package/dist/utils/printDocs.d.ts +0 -2
  227. package/dist/utils/printDocs.js +0 -1
  228. package/dist/utils/projectId.d.ts +0 -4
  229. package/dist/utils/projectId.js +0 -16
  230. package/dist/utils/stringHash.d.ts +0 -1
  231. package/dist/utils/stringHash.js +0 -5
  232. package/dist/validation/DocumentValidator.d.ts +0 -11
  233. package/dist/validation/DocumentValidator.js +0 -17
  234. package/dist/validation/_shared.d.ts +0 -3
  235. package/dist/validation/_shared.js +0 -26
  236. package/dist/validation/deployment-checks.d.ts +0 -7
  237. package/dist/validation/deployment-checks.js +0 -140
  238. package/dist/validation/dynamic-view.d.ts +0 -6
  239. package/dist/validation/dynamic-view.js +0 -67
  240. package/dist/validation/element-ref.d.ts +0 -4
  241. package/dist/validation/element-ref.js +0 -12
  242. package/dist/validation/element.d.ts +0 -4
  243. package/dist/validation/element.js +0 -49
  244. package/dist/validation/imports.d.ts +0 -4
  245. package/dist/validation/imports.js +0 -46
  246. package/dist/validation/index.d.ts +0 -15
  247. package/dist/validation/index.js +0 -167
  248. package/dist/validation/property-checks.d.ts +0 -7
  249. package/dist/validation/property-checks.js +0 -108
  250. package/dist/validation/relation.d.ts +0 -6
  251. package/dist/validation/relation.js +0 -141
  252. package/dist/validation/specification.d.ts +0 -12
  253. package/dist/validation/specification.js +0 -190
  254. package/dist/validation/view-checks.d.ts +0 -4
  255. package/dist/validation/view-checks.js +0 -46
  256. package/dist/validation/view-predicates/fqn-expr-with.d.ts +0 -4
  257. package/dist/validation/view-predicates/fqn-expr-with.js +0 -43
  258. package/dist/validation/view-predicates/fqn-ref-expr.d.ts +0 -4
  259. package/dist/validation/view-predicates/fqn-ref-expr.js +0 -51
  260. package/dist/validation/view-predicates/incoming.d.ts +0 -4
  261. package/dist/validation/view-predicates/incoming.js +0 -16
  262. package/dist/validation/view-predicates/index.d.ts +0 -6
  263. package/dist/validation/view-predicates/index.js +0 -6
  264. package/dist/validation/view-predicates/outgoing.d.ts +0 -4
  265. package/dist/validation/view-predicates/outgoing.js +0 -20
  266. package/dist/validation/view-predicates/relation-expr.d.ts +0 -4
  267. package/dist/validation/view-predicates/relation-expr.js +0 -46
  268. package/dist/validation/view-predicates/relation-with.d.ts +0 -4
  269. package/dist/validation/view-predicates/relation-with.js +0 -16
  270. package/dist/validation/view.d.ts +0 -4
  271. package/dist/validation/view.js +0 -42
  272. package/dist/view-utils/assignNavigateTo.d.ts +0 -2
  273. package/dist/view-utils/assignNavigateTo.js +0 -27
  274. package/dist/view-utils/index.d.ts +0 -2
  275. package/dist/view-utils/index.js +0 -2
  276. package/dist/view-utils/manual-layout.d.ts +0 -13
  277. package/dist/view-utils/manual-layout.js +0 -149
  278. package/dist/views/ConfigurableLayouter.d.ts +0 -7
  279. package/dist/views/ConfigurableLayouter.js +0 -51
  280. package/dist/views/LikeC4ManualLayouts.d.ts +0 -42
  281. package/dist/views/LikeC4ManualLayouts.js +0 -209
  282. package/dist/views/LikeC4Views.d.ts +0 -89
  283. package/dist/views/LikeC4Views.js +0 -216
  284. package/dist/views/index.d.ts +0 -4
  285. package/dist/views/index.js +0 -11
  286. package/dist/workspace/AstNodeDescriptionProvider.d.ts +0 -7
  287. package/dist/workspace/AstNodeDescriptionProvider.js +0 -18
  288. package/dist/workspace/IndexManager.d.ts +0 -10
  289. package/dist/workspace/IndexManager.js +0 -26
  290. package/dist/workspace/LangiumDocuments.d.ts +0 -29
  291. package/dist/workspace/LangiumDocuments.js +0 -104
  292. package/dist/workspace/ProjectsManager.d.ts +0 -134
  293. package/dist/workspace/ProjectsManager.js +0 -610
  294. package/dist/workspace/WorkspaceManager.d.ts +0 -31
  295. package/dist/workspace/WorkspaceManager.js +0 -132
  296. package/dist/workspace/index.d.ts +0 -5
  297. 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,4 +0,0 @@
1
- import type { ValidationCheck } from 'langium';
2
- import type { ast } from '../ast';
3
- import type { LikeC4Services } from '../module';
4
- export declare const checkElementRef: (_services: LikeC4Services) => ValidationCheck<ast.ElementRef>;
@@ -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,4 +0,0 @@
1
- import { type ValidationCheck } from 'langium';
2
- import type { ast } from '../ast';
3
- import type { LikeC4Services } from '../module';
4
- export declare const checkElement: (services: LikeC4Services) => ValidationCheck<ast.Element>;
@@ -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,4 +0,0 @@
1
- import { type ValidationCheck } from 'langium';
2
- import type { ast } from '../ast';
3
- import type { LikeC4Services } from '../module';
4
- export declare const checkImportsFromPoject: (services: LikeC4Services) => ValidationCheck<ast.ImportsFromPoject>;
@@ -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;
@@ -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>;