@likec4/language-server 1.43.0 → 1.45.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 (301) hide show
  1. package/browser/package.json +1 -1
  2. package/browser-worker/package.json +1 -1
  3. package/dist/LikeC4LanguageServices.d.ts +13 -34
  4. package/dist/LikeC4LanguageServices.js +152 -0
  5. package/dist/Rpc.js +257 -0
  6. package/dist/ast.d.ts +5 -1
  7. package/dist/ast.js +257 -0
  8. package/dist/browser-worker.js +4 -0
  9. package/dist/browser.js +35 -0
  10. package/dist/bundled.js +44 -0
  11. package/dist/bundled.mjs +3568 -3900
  12. package/dist/documentation/documentation-provider.js +51 -0
  13. package/dist/documentation/index.js +1 -0
  14. package/dist/empty.js +2 -0
  15. package/dist/filesystem/ChokidarWatcher.d.ts +2 -0
  16. package/dist/filesystem/ChokidarWatcher.js +108 -0
  17. package/dist/filesystem/FileSystemWatcher.js +14 -0
  18. package/dist/filesystem/LikeC4FileSystem.d.ts +1 -2
  19. package/dist/filesystem/LikeC4FileSystem.js +126 -0
  20. package/dist/filesystem/index.d.ts +26 -0
  21. package/dist/filesystem/index.js +29 -0
  22. package/dist/formatting/LikeC4Formatter.js +637 -0
  23. package/dist/formatting/utils.js +18 -0
  24. package/dist/generated/ast.js +2155 -0
  25. package/dist/generated/{grammar.mjs → grammar.js} +6 -2
  26. package/dist/generated/module.d.ts +6 -1
  27. package/dist/generated/module.js +27 -0
  28. package/dist/generated-lib/{icons.mjs → icons.js} +11 -7
  29. package/dist/index.d.ts +10 -1
  30. package/dist/index.js +55 -0
  31. package/dist/{likec4lib.mjs → likec4lib.js} +3 -3
  32. package/dist/logger.js +81 -0
  33. package/dist/lsp/CodeActionProvider.d.ts +14 -0
  34. package/dist/lsp/CodeActionProvider.js +33 -0
  35. package/dist/lsp/CodeLensProvider.js +44 -0
  36. package/dist/lsp/CompletionProvider.d.ts +3 -1
  37. package/dist/lsp/CompletionProvider.js +200 -0
  38. package/dist/lsp/DocumentHighlightProvider.js +10 -0
  39. package/dist/lsp/DocumentLinkProvider.js +58 -0
  40. package/dist/lsp/DocumentSymbolProvider.js +306 -0
  41. package/dist/lsp/HoverProvider.js +106 -0
  42. package/dist/lsp/RenameProvider.js +6 -0
  43. package/dist/lsp/SemanticTokenProvider.js +257 -0
  44. package/dist/lsp/index.d.ts +1 -0
  45. package/dist/lsp/index.js +9 -0
  46. package/dist/mcp/MCPServerFactory.js +73 -0
  47. package/dist/mcp/NoopLikeC4MCPServer.js +17 -0
  48. package/dist/mcp/interfaces.js +5 -0
  49. package/dist/mcp/server/StdioLikeC4MCPServer.js +51 -0
  50. package/dist/mcp/server/StreamableLikeC4MCPServer.js +145 -0
  51. package/dist/mcp/server/WithMCPServer.js +56 -0
  52. package/dist/mcp/tools/_common.d.ts +8 -7
  53. package/dist/mcp/tools/_common.js +49 -0
  54. package/dist/mcp/tools/find-relationships.d.ts +7 -8
  55. package/dist/mcp/tools/find-relationships.js +150 -0
  56. package/dist/mcp/tools/list-projects.d.ts +3 -3
  57. package/dist/mcp/tools/list-projects.js +62 -0
  58. package/dist/mcp/tools/open-view.d.ts +6 -7
  59. package/dist/mcp/tools/open-view.js +52 -0
  60. package/dist/mcp/tools/read-deployment.d.ts +6 -7
  61. package/dist/mcp/tools/read-deployment.js +132 -0
  62. package/dist/mcp/tools/read-element.d.ts +6 -7
  63. package/dist/mcp/tools/read-element.js +194 -0
  64. package/dist/mcp/tools/read-project-summary.d.ts +5 -6
  65. package/dist/mcp/tools/read-project-summary.js +176 -0
  66. package/dist/mcp/tools/read-view.d.ts +6 -7
  67. package/dist/mcp/tools/read-view.js +203 -0
  68. package/dist/mcp/tools/search-element.d.ts +3 -3
  69. package/dist/mcp/tools/search-element.js +177 -0
  70. package/dist/mcp/utils.d.ts +2 -2
  71. package/dist/mcp/utils.js +48 -0
  72. package/dist/model/builder/MergedExtends.js +74 -0
  73. package/dist/model/builder/MergedSpecification.js +175 -0
  74. package/dist/model/builder/buildModel.js +176 -0
  75. package/dist/model/deployments-index.js +102 -0
  76. package/dist/model/fqn-index.d.ts +1 -2
  77. package/dist/model/fqn-index.js +247 -0
  78. package/dist/model/index.js +6 -0
  79. package/dist/model/model-builder.d.ts +13 -11
  80. package/dist/model/model-builder.js +232 -0
  81. package/dist/model/model-locator.d.ts +6 -5
  82. package/dist/model/model-locator.js +240 -0
  83. package/dist/model/model-parser-where.js +81 -0
  84. package/dist/model/model-parser.d.ts +309 -304
  85. package/dist/model/model-parser.js +126 -0
  86. package/dist/model/parser/Base.d.ts +2 -2
  87. package/dist/model/parser/Base.js +367 -0
  88. package/dist/model/parser/DeploymentModelParser.d.ts +2 -2
  89. package/dist/model/parser/DeploymentModelParser.js +176 -0
  90. package/dist/model/parser/DeploymentViewParser.d.ts +3 -3
  91. package/dist/model/parser/DeploymentViewParser.js +86 -0
  92. package/dist/model/parser/FqnRefParser.d.ts +2 -2
  93. package/dist/model/parser/FqnRefParser.js +382 -0
  94. package/dist/model/parser/GlobalsParser.d.ts +6 -6
  95. package/dist/model/parser/GlobalsParser.js +84 -0
  96. package/dist/model/parser/ImportsParser.d.ts +11 -12
  97. package/dist/model/parser/ImportsParser.js +24 -0
  98. package/dist/model/parser/ModelParser.d.ts +2 -2
  99. package/dist/model/parser/ModelParser.js +165 -0
  100. package/dist/model/parser/PredicatesParser.d.ts +2 -2
  101. package/dist/model/parser/PredicatesParser.js +45 -0
  102. package/dist/model/parser/SpecificationParser.d.ts +2 -2
  103. package/dist/model/parser/SpecificationParser.js +113 -0
  104. package/dist/model/parser/ValueConverter.js +12 -0
  105. package/dist/model/parser/ViewsParser.d.ts +3 -3
  106. package/dist/model/parser/ViewsParser.js +479 -0
  107. package/dist/model-change/ModelChanges.d.ts +8 -5
  108. package/dist/model-change/ModelChanges.js +129 -0
  109. package/dist/model-change/changeElementStyle.js +134 -0
  110. package/dist/model-change/changeViewLayout.d.ts +2 -2
  111. package/dist/model-change/changeViewLayout.js +28 -0
  112. package/dist/model-change/removeManualLayoutV1.d.ts +7 -0
  113. package/dist/model-change/removeManualLayoutV1.js +27 -0
  114. package/dist/module.d.ts +10 -5
  115. package/dist/module.js +143 -0
  116. package/dist/protocol.d.ts +34 -27
  117. package/dist/protocol.js +123 -0
  118. package/dist/references/index.js +3 -0
  119. package/dist/references/name-provider.js +37 -0
  120. package/dist/references/scope-computation.js +288 -0
  121. package/dist/references/scope-provider.d.ts +3 -3
  122. package/dist/references/scope-provider.js +242 -0
  123. package/dist/shared/NodeKindProvider.js +57 -0
  124. package/dist/shared/{WorkspaceSymbolProvider.mjs → WorkspaceSymbolProvider.js} +1 -1
  125. package/dist/shared/index.js +2 -0
  126. package/dist/test/index.js +1 -0
  127. package/dist/test/testServices.d.ts +16 -16
  128. package/dist/test/testServices.js +210 -0
  129. package/dist/utils/disposable.js +26 -0
  130. package/dist/utils/elementRef.d.ts +1 -1
  131. package/dist/utils/elementRef.js +27 -0
  132. package/dist/utils/fqnRef.js +63 -0
  133. package/dist/utils/index.js +35 -0
  134. package/dist/utils/printDocs.js +1 -0
  135. package/dist/utils/projectId.js +16 -0
  136. package/dist/utils/stringHash.js +5 -0
  137. package/dist/validation/DocumentValidator.js +17 -0
  138. package/dist/validation/_shared.js +26 -0
  139. package/dist/validation/deployment-checks.js +140 -0
  140. package/dist/validation/dynamic-view.js +67 -0
  141. package/dist/validation/element-ref.js +12 -0
  142. package/dist/validation/element.js +49 -0
  143. package/dist/validation/imports.js +46 -0
  144. package/dist/validation/index.d.ts +1 -1
  145. package/dist/validation/index.js +157 -0
  146. package/dist/validation/property-checks.js +108 -0
  147. package/dist/validation/relation.js +55 -0
  148. package/dist/validation/specification.js +190 -0
  149. package/dist/validation/view-predicates/fqn-expr-with.js +43 -0
  150. package/dist/validation/view-predicates/fqn-ref-expr.js +51 -0
  151. package/dist/validation/view-predicates/incoming.js +16 -0
  152. package/dist/validation/view-predicates/index.js +6 -0
  153. package/dist/validation/view-predicates/outgoing.js +20 -0
  154. package/dist/validation/view-predicates/relation-expr.js +46 -0
  155. package/dist/validation/view-predicates/relation-with.js +16 -0
  156. package/dist/validation/view.d.ts +1 -1
  157. package/dist/validation/view.js +42 -0
  158. package/dist/view-utils/assignNavigateTo.js +27 -0
  159. package/dist/view-utils/index.d.ts +1 -0
  160. package/dist/view-utils/index.js +2 -0
  161. package/dist/view-utils/manual-layout.d.ts +6 -0
  162. package/dist/view-utils/manual-layout.js +149 -0
  163. package/dist/views/ConfigurableLayouter.js +51 -0
  164. package/dist/views/LikeC4ManualLayouts.d.ts +42 -0
  165. package/dist/views/LikeC4ManualLayouts.js +209 -0
  166. package/dist/views/{likec4-views.d.ts → LikeC4Views.d.ts} +32 -10
  167. package/dist/views/LikeC4Views.js +216 -0
  168. package/dist/views/index.d.ts +4 -1
  169. package/dist/views/index.js +11 -0
  170. package/dist/workspace/AstNodeDescriptionProvider.js +18 -0
  171. package/dist/workspace/IndexManager.js +21 -0
  172. package/dist/workspace/LangiumDocuments.d.ts +4 -3
  173. package/dist/workspace/LangiumDocuments.js +72 -0
  174. package/dist/workspace/ProjectsManager.d.ts +25 -16
  175. package/dist/workspace/ProjectsManager.js +469 -0
  176. package/dist/workspace/WorkspaceManager.d.ts +3 -2
  177. package/dist/workspace/WorkspaceManager.js +98 -0
  178. package/dist/workspace/index.js +5 -0
  179. package/likec4lib/package.json +1 -1
  180. package/package.json +30 -28
  181. package/protocol/package.json +1 -1
  182. package/dist/LikeC4LanguageServices.mjs +0 -197
  183. package/dist/Rpc.mjs +0 -296
  184. package/dist/ast.mjs +0 -221
  185. package/dist/browser-worker.mjs +0 -2
  186. package/dist/browser.mjs +0 -32
  187. package/dist/documentation/documentation-provider.mjs +0 -48
  188. package/dist/documentation/index.mjs +0 -1
  189. package/dist/empty.mjs +0 -1
  190. package/dist/filesystem/ChokidarWatcher.mjs +0 -68
  191. package/dist/filesystem/FileSystemWatcher.mjs +0 -11
  192. package/dist/filesystem/LikeC4FileSystem.mjs +0 -64
  193. package/dist/filesystem/index.mjs +0 -19
  194. package/dist/formatting/LikeC4Formatter.mjs +0 -511
  195. package/dist/formatting/utils.mjs +0 -15
  196. package/dist/generated/ast.mjs +0 -2150
  197. package/dist/generated/module.mjs +0 -23
  198. package/dist/index.mjs +0 -50
  199. package/dist/logger.mjs +0 -82
  200. package/dist/lsp/CodeLensProvider.mjs +0 -42
  201. package/dist/lsp/CompletionProvider.mjs +0 -208
  202. package/dist/lsp/DocumentHighlightProvider.mjs +0 -10
  203. package/dist/lsp/DocumentLinkProvider.mjs +0 -53
  204. package/dist/lsp/DocumentSymbolProvider.mjs +0 -287
  205. package/dist/lsp/HoverProvider.mjs +0 -104
  206. package/dist/lsp/RenameProvider.mjs +0 -6
  207. package/dist/lsp/SemanticTokenProvider.mjs +0 -276
  208. package/dist/lsp/index.mjs +0 -7
  209. package/dist/mcp/MCPServerFactory.mjs +0 -70
  210. package/dist/mcp/NoopLikeC4MCPServer.mjs +0 -17
  211. package/dist/mcp/interfaces.mjs +0 -4
  212. package/dist/mcp/server/StdioLikeC4MCPServer.mjs +0 -46
  213. package/dist/mcp/server/StreamableLikeC4MCPServer.mjs +0 -153
  214. package/dist/mcp/server/WithMCPServer.mjs +0 -58
  215. package/dist/mcp/tools/_common.mjs +0 -42
  216. package/dist/mcp/tools/find-relationships.mjs +0 -151
  217. package/dist/mcp/tools/list-projects.mjs +0 -62
  218. package/dist/mcp/tools/open-view.mjs +0 -52
  219. package/dist/mcp/tools/read-deployment.mjs +0 -130
  220. package/dist/mcp/tools/read-element.mjs +0 -198
  221. package/dist/mcp/tools/read-project-summary.mjs +0 -178
  222. package/dist/mcp/tools/read-view.mjs +0 -205
  223. package/dist/mcp/tools/search-element.mjs +0 -171
  224. package/dist/mcp/utils.mjs +0 -47
  225. package/dist/model/builder/MergedExtends.mjs +0 -76
  226. package/dist/model/builder/MergedSpecification.mjs +0 -205
  227. package/dist/model/builder/assignTagColors.d.ts +0 -7
  228. package/dist/model/builder/assignTagColors.mjs +0 -51
  229. package/dist/model/builder/buildModel.mjs +0 -226
  230. package/dist/model/deployments-index.mjs +0 -100
  231. package/dist/model/fqn-index.mjs +0 -243
  232. package/dist/model/index.mjs +0 -6
  233. package/dist/model/model-builder.mjs +0 -285
  234. package/dist/model/model-locator.mjs +0 -239
  235. package/dist/model/model-parser-where.mjs +0 -81
  236. package/dist/model/model-parser.mjs +0 -127
  237. package/dist/model/parser/Base.mjs +0 -376
  238. package/dist/model/parser/DeploymentModelParser.mjs +0 -212
  239. package/dist/model/parser/DeploymentViewParser.mjs +0 -95
  240. package/dist/model/parser/FqnRefParser.mjs +0 -398
  241. package/dist/model/parser/GlobalsParser.mjs +0 -82
  242. package/dist/model/parser/ImportsParser.mjs +0 -28
  243. package/dist/model/parser/ModelParser.mjs +0 -190
  244. package/dist/model/parser/PredicatesParser.mjs +0 -45
  245. package/dist/model/parser/SpecificationParser.mjs +0 -120
  246. package/dist/model/parser/ValueConverter.mjs +0 -12
  247. package/dist/model/parser/ViewsParser.mjs +0 -490
  248. package/dist/model-change/ModelChanges.mjs +0 -89
  249. package/dist/model-change/changeElementStyle.mjs +0 -143
  250. package/dist/model-change/changeViewLayout.mjs +0 -32
  251. package/dist/model-change/saveManualLayout.d.ts +0 -11
  252. package/dist/model-change/saveManualLayout.mjs +0 -27
  253. package/dist/module.mjs +0 -180
  254. package/dist/protocol.mjs +0 -65
  255. package/dist/references/index.mjs +0 -3
  256. package/dist/references/name-provider.mjs +0 -39
  257. package/dist/references/scope-computation.mjs +0 -312
  258. package/dist/references/scope-provider.mjs +0 -239
  259. package/dist/shared/NodeKindProvider.mjs +0 -110
  260. package/dist/shared/index.mjs +0 -2
  261. package/dist/test/index.mjs +0 -1
  262. package/dist/test/testServices.mjs +0 -200
  263. package/dist/utils/disposable.mjs +0 -25
  264. package/dist/utils/elementRef.mjs +0 -20
  265. package/dist/utils/fqnRef.mjs +0 -57
  266. package/dist/utils/index.mjs +0 -33
  267. package/dist/utils/printDocs.mjs +0 -1
  268. package/dist/utils/projectId.mjs +0 -16
  269. package/dist/utils/stringHash.mjs +0 -5
  270. package/dist/validation/DocumentValidator.mjs +0 -16
  271. package/dist/validation/_shared.mjs +0 -25
  272. package/dist/validation/deployment-checks.mjs +0 -146
  273. package/dist/validation/dynamic-view.mjs +0 -67
  274. package/dist/validation/element-ref.mjs +0 -12
  275. package/dist/validation/element.mjs +0 -50
  276. package/dist/validation/imports.mjs +0 -25
  277. package/dist/validation/index.mjs +0 -180
  278. package/dist/validation/property-checks.mjs +0 -107
  279. package/dist/validation/relation.mjs +0 -53
  280. package/dist/validation/specification.mjs +0 -173
  281. package/dist/validation/view-predicates/fqn-expr-with.mjs +0 -43
  282. package/dist/validation/view-predicates/fqn-ref-expr.mjs +0 -53
  283. package/dist/validation/view-predicates/incoming.mjs +0 -16
  284. package/dist/validation/view-predicates/index.mjs +0 -6
  285. package/dist/validation/view-predicates/outgoing.mjs +0 -20
  286. package/dist/validation/view-predicates/relation-expr.mjs +0 -39
  287. package/dist/validation/view-predicates/relation-with.mjs +0 -16
  288. package/dist/validation/view.mjs +0 -25
  289. package/dist/view-utils/assignNavigateTo.mjs +0 -25
  290. package/dist/view-utils/index.mjs +0 -1
  291. package/dist/view-utils/manual-layout.mjs +0 -99
  292. package/dist/views/configurable-layouter.mjs +0 -51
  293. package/dist/views/index.mjs +0 -1
  294. package/dist/views/likec4-views.mjs +0 -166
  295. package/dist/workspace/AstNodeDescriptionProvider.mjs +0 -17
  296. package/dist/workspace/IndexManager.mjs +0 -17
  297. package/dist/workspace/LangiumDocuments.mjs +0 -53
  298. package/dist/workspace/ProjectsManager.mjs +0 -360
  299. package/dist/workspace/WorkspaceManager.mjs +0 -83
  300. package/dist/workspace/index.mjs +0 -5
  301. /package/dist/views/{configurable-layouter.d.ts → ConfigurableLayouter.d.ts} +0 -0
@@ -1,25 +0,0 @@
1
- import { AstUtils } from "langium";
2
- import { projectIdFrom } from "../utils/index.mjs";
3
- import { tryOrLog } from "./_shared.mjs";
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
- };
@@ -1,180 +0,0 @@
1
- import { onNextTick } from "@likec4/core/utils";
2
- import { loggable } from "@likec4/log";
3
- import { DocumentState } from "langium";
4
- import { isNullish } from "remeda";
5
- import { DiagnosticSeverity } from "vscode-languageserver-types";
6
- import { ast } from "../ast.mjs";
7
- import { logger } from "../logger.mjs";
8
- import {
9
- deployedInstanceChecks,
10
- deploymentNodeChecks,
11
- deploymentRelationChecks,
12
- extendDeploymentChecks
13
- } from "./deployment-checks.mjs";
14
- import { dynamicViewDisplayVariant, dynamicViewStepChain, dynamicViewStepSingle } from "./dynamic-view.mjs";
15
- import { checkElement } from "./element.mjs";
16
- import { checkElementRef } from "./element-ref.mjs";
17
- import { checkImportsFromPoject } from "./imports.mjs";
18
- import {
19
- colorLiteralRuleChecks,
20
- iconPropertyRuleChecks,
21
- notesPropertyRuleChecks,
22
- opacityPropertyRuleChecks
23
- } from "./property-checks.mjs";
24
- import { checkRelationBody, relationChecks } from "./relation.mjs";
25
- import {
26
- checkDeploymentNodeKind,
27
- checkElementKind,
28
- checkGlobalPredicate,
29
- checkGlobals,
30
- checkGlobalStyleId,
31
- checkModel,
32
- checkRelationshipKind,
33
- checkSpecificationRule,
34
- checkTag
35
- } from "./specification.mjs";
36
- import { viewChecks } from "./view.mjs";
37
- import {
38
- checkFqnExprWith,
39
- checkFqnRefExpr,
40
- checkIncomingRelationExpr,
41
- checkOutgoingRelationExpr,
42
- checkRelationExpr,
43
- checkRelationExprWith
44
- } from "./view-predicates/index.mjs";
45
- export { LikeC4DocumentValidator } from "./DocumentValidator.mjs";
46
- function validatableAstNodeGuards(predicates) {
47
- return (n) => predicates.some((p) => p(n));
48
- }
49
- const isValidatableAstNode = validatableAstNodeGuards([
50
- ast.isImportsFromPoject,
51
- ast.isImported,
52
- ast.isGlobals,
53
- ast.isGlobalPredicateGroup,
54
- ast.isGlobalDynamicPredicateGroup,
55
- ast.isGlobalStyle,
56
- ast.isGlobalStyleGroup,
57
- ast.isFqnExprWith,
58
- ast.isRelationExprWith,
59
- ast.isFqnExpr,
60
- ast.isRelationExpr,
61
- ast.isDynamicViewParallelSteps,
62
- ast.isDynamicStepChain,
63
- ast.isDynamicStepSingle,
64
- ast.isDeploymentViewRule,
65
- ast.isDeploymentViewRulePredicate,
66
- ast.isExpressionV2,
67
- ast.isRelationExpr,
68
- ast.isFqnRefExpr,
69
- ast.isViewProperty,
70
- ast.isStyleProperty,
71
- ast.isTags,
72
- ast.isViewRule,
73
- ast.isDynamicViewRule,
74
- ast.isLikeC4View,
75
- ast.isViewRuleStyleOrGlobalRef,
76
- ast.isDeployedInstance,
77
- ast.isDeploymentNode,
78
- ast.isDeploymentRelation,
79
- ast.isRelationshipStyleProperty,
80
- ast.isDynamicViewDisplayVariantProperty,
81
- ast.isMetadataProperty,
82
- ast.isRelation,
83
- ast.isElementProperty,
84
- ast.isStringProperty,
85
- ast.isNavigateToProperty,
86
- ast.isElement,
87
- ast.isElementRef,
88
- ast.isExtendElement,
89
- ast.isExtendDeployment,
90
- ast.isSpecificationElementKind,
91
- ast.isSpecificationRelationshipKind,
92
- ast.isSpecificationDeploymentNodeKind,
93
- ast.isSpecificationTag,
94
- ast.isSpecificationColor,
95
- ast.isSpecificationRule,
96
- ast.isColorLiteral
97
- ]);
98
- const findInvalidContainer = (node) => {
99
- let nd = node;
100
- while (nd && !ast.isLikeC4Grammar(nd)) {
101
- if (isValidatableAstNode(nd)) {
102
- return nd;
103
- }
104
- nd = nd.$container;
105
- }
106
- return void 0;
107
- };
108
- export function checksFromDiagnostics(doc) {
109
- const errors = doc.state >= DocumentState.Validated ? doc.diagnostics?.filter((d) => d.severity === DiagnosticSeverity.Error) ?? [] : [];
110
- const invalidNodes = /* @__PURE__ */ new WeakSet();
111
- for (const { node } of errors) {
112
- if (isNullish(node) || invalidNodes.has(node)) {
113
- continue;
114
- }
115
- invalidNodes.add(node);
116
- const container = findInvalidContainer(node);
117
- if (container) {
118
- invalidNodes.add(container);
119
- }
120
- }
121
- const isValid = (n) => !invalidNodes.has(n);
122
- return {
123
- isValid,
124
- invalidNodes
125
- };
126
- }
127
- export function registerValidationChecks(services) {
128
- logger.debug("registerValidationChecks");
129
- const registry = services.validation.ValidationRegistry;
130
- registry.register({
131
- DeployedInstance: deployedInstanceChecks(services),
132
- DeploymentNodeKind: checkDeploymentNodeKind(services),
133
- DeploymentNode: deploymentNodeChecks(services),
134
- DeploymentRelation: deploymentRelationChecks(services),
135
- ExtendDeployment: extendDeploymentChecks(services),
136
- FqnRefExpr: checkFqnRefExpr(services),
137
- RelationExpr: checkRelationExpr(services),
138
- NotesProperty: notesPropertyRuleChecks(services),
139
- OpacityProperty: opacityPropertyRuleChecks(services),
140
- IconProperty: iconPropertyRuleChecks(services),
141
- SpecificationRule: checkSpecificationRule(services),
142
- Model: checkModel(services),
143
- Globals: checkGlobals(services),
144
- GlobalPredicateGroup: checkGlobalPredicate(services),
145
- GlobalDynamicPredicateGroup: checkGlobalPredicate(services),
146
- GlobalStyleId: checkGlobalStyleId(services),
147
- DynamicStepSingle: dynamicViewStepSingle(services),
148
- DynamicStepChain: dynamicViewStepChain(services),
149
- LikeC4View: viewChecks(services),
150
- Element: checkElement(services),
151
- ElementRef: checkElementRef(services),
152
- ElementKind: checkElementKind(services),
153
- Relation: relationChecks(services),
154
- RelationBody: checkRelationBody(services),
155
- Tag: checkTag(services),
156
- FqnExprWith: checkFqnExprWith(services),
157
- RelationExprWith: checkRelationExprWith(services),
158
- RelationshipKind: checkRelationshipKind(services),
159
- IncomingRelationExpr: checkIncomingRelationExpr(services),
160
- OutgoingRelationExpr: checkOutgoingRelationExpr(services),
161
- ImportsFromPoject: checkImportsFromPoject(services),
162
- // Imported: checkImported(services),
163
- ColorLiteral: colorLiteralRuleChecks(services),
164
- DynamicViewDisplayVariantProperty: dynamicViewDisplayVariant(services)
165
- });
166
- const connection = services.shared.lsp.Connection;
167
- if (connection) {
168
- onNextTick(() => {
169
- services.shared.workspace.DocumentBuilder.onUpdate((_, deleted) => {
170
- for (const uri of deleted) {
171
- logger.debug(`clear diagnostics for deleted ${uri.path}`);
172
- connection.sendDiagnostics({
173
- uri: uri.toString(),
174
- diagnostics: []
175
- }).catch((e) => logger.error(loggable(e)));
176
- }
177
- });
178
- });
179
- }
180
- }
@@ -1,107 +0,0 @@
1
- import { nonexhaustive } from "@likec4/core";
2
- import { AstUtils } from "langium";
3
- import { isNumber, isString } from "remeda";
4
- import { ast } from "../ast.mjs";
5
- import { tryOrLog } from "./_shared.mjs";
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) && container.$container.props.some((p) => ast.isIconProperty(p))) {
27
- accept("warning", `Redundant as icon defined on element`, {
28
- node
29
- });
30
- }
31
- if (node.value?.startsWith("file://")) {
32
- accept("error", `Icon URI must not start with file://`, {
33
- node,
34
- property: "value"
35
- });
36
- }
37
- };
38
- };
39
- export const notesPropertyRuleChecks = (_) => {
40
- return (node, accept) => {
41
- if (!AstUtils.hasContainerOfType(node, ast.isDynamicViewStep)) {
42
- accept("error", `Notes can be defined only inside dynamic view`, {
43
- node
44
- });
45
- }
46
- };
47
- };
48
- export const colorLiteralRuleChecks = (_) => {
49
- return (node, accept) => {
50
- if (node.$type === "HexColor") {
51
- if (node.hex === void 0 || isString(node.hex) && !node.hex.match(/^[a-fA-F0-9]+$/)) {
52
- accept("error", `Invalid HEX`, {
53
- node,
54
- property: "hex"
55
- });
56
- return;
57
- }
58
- const length = isNumber(node.hex) ? node.hex.toString().length : node.hex.length;
59
- if (length !== 6 && length !== 3 && length !== 8) {
60
- accept("error", `Invalid value "${node.$cstNode?.text}", must be 3, 6 or 8 characters long`, {
61
- node,
62
- property: "hex"
63
- });
64
- }
65
- return;
66
- }
67
- if (node.$type === "RGBAColor") {
68
- if (!isNumber(node.red) || node.red < 0 || node.red > 255) {
69
- accept("error", `Invalid value, must be between 0 and 255`, {
70
- node,
71
- property: "red"
72
- });
73
- }
74
- if (!isNumber(node.green) || node.green < 0 || node.green > 255) {
75
- accept("error", `Invalid value, must be between 0 and 255`, {
76
- node,
77
- property: "green"
78
- });
79
- }
80
- if (!isNumber(node.blue) || node.blue < 0 || node.blue > 255) {
81
- accept("error", `Invalid value, must be between 0 and 255`, {
82
- node,
83
- property: "blue"
84
- });
85
- }
86
- if (isNumber(node.alpha)) {
87
- if (node.alpha < 0 || node.alpha > 1) {
88
- accept("error", `Invalid value, must be between 0 and 1`, {
89
- node,
90
- property: "alpha"
91
- });
92
- }
93
- }
94
- if (isString(node.alpha)) {
95
- const alpha = parseFloat(node.alpha);
96
- if (alpha < 0 || alpha > 100) {
97
- accept("error", `Invalid value, must be between 0% and 100%`, {
98
- node,
99
- property: "alpha"
100
- });
101
- }
102
- }
103
- return;
104
- }
105
- nonexhaustive(node);
106
- };
107
- };
@@ -1,53 +0,0 @@
1
- import { FqnRef, isSameHierarchy } from "@likec4/core";
2
- import { AstUtils } from "langium";
3
- import { safeCall } from "../utils/index.mjs";
4
- import { tryOrLog } from "./_shared.mjs";
5
- export const relationChecks = (services) => {
6
- const modelParser = services.likec4.ModelParser;
7
- return tryOrLog((el, accept) => {
8
- const parser = modelParser.forDocument(AstUtils.getDocument(el));
9
- const source = safeCall(() => parser._resolveRelationSource(el));
10
- if (!source) {
11
- accept("error", "Source not resolved", {
12
- node: el,
13
- property: "source"
14
- });
15
- return;
16
- }
17
- const target = safeCall(() => parser.parseFqnRef(el.target));
18
- if (!target) {
19
- accept("error", "Target not resolved", {
20
- node: el,
21
- property: "target"
22
- });
23
- return;
24
- }
25
- if (FqnRef.isImportRef(source)) {
26
- if (FqnRef.isImportRef(target)) {
27
- accept("warning", "Relationship between imported elements may not be visible in origin projects", {
28
- node: el
29
- });
30
- } else {
31
- accept("warning", "Relationship from imported element to local element may not be visible in origin project", {
32
- node: el,
33
- property: "source"
34
- });
35
- }
36
- }
37
- if (isSameHierarchy(FqnRef.flatten(source), FqnRef.flatten(target))) {
38
- accept("error", "Invalid parent-child relationship", {
39
- node: el
40
- });
41
- }
42
- });
43
- };
44
- export const checkRelationBody = (_services) => {
45
- return tryOrLog((body, accept) => {
46
- const relation = body.$container;
47
- if (relation.tags?.values && body.tags?.values) {
48
- accept("error", "Relation cannot have tags in both header and body", {
49
- node: body.tags
50
- });
51
- }
52
- });
53
- };
@@ -1,173 +0,0 @@
1
- import { AstUtils } from "langium";
2
- import { ast } from "../ast.mjs";
3
- import { projectIdFrom } from "../utils/index.mjs";
4
- import { RESERVED_WORDS, tryOrLog } from "./_shared.mjs";
5
- export const checkSpecificationRule = (_) => {
6
- return tryOrLog((node, accept) => {
7
- if (node.$containerIndex && node.$containerIndex > 0) {
8
- accept("warning", `Prefer one specification per document`, {
9
- node,
10
- property: "name"
11
- });
12
- }
13
- });
14
- };
15
- export const checkModel = (_) => {
16
- return tryOrLog((node, accept) => {
17
- if (node.$containerIndex && node.$containerIndex > 0) {
18
- accept("warning", `Prefer one model per document`, {
19
- node,
20
- property: "name"
21
- });
22
- }
23
- });
24
- };
25
- export const checkGlobals = (_) => {
26
- return tryOrLog((node, accept) => {
27
- if (node.$containerIndex && node.$containerIndex > 0) {
28
- accept("warning", `Prefer one global block per document`, {
29
- node,
30
- property: "name"
31
- });
32
- }
33
- });
34
- };
35
- export const checkElementKind = (services) => {
36
- const index = services.shared.workspace.IndexManager;
37
- return tryOrLog((node, accept) => {
38
- if (RESERVED_WORDS.includes(node.name)) {
39
- accept("error", `Reserved word: ${node.name}`, {
40
- node,
41
- property: "name"
42
- });
43
- }
44
- const projectId = projectIdFrom(node);
45
- const sameKind = index.projectElements(projectId, ast.ElementKind).filter((n) => n.name === node.name && n.node !== node).head();
46
- if (sameKind) {
47
- const isAnotherDoc = sameKind.documentUri !== AstUtils.getDocument(node).uri;
48
- accept("error", `Duplicate element kind '${node.name}'`, {
49
- node,
50
- property: "name",
51
- ...isAnotherDoc && {
52
- relatedInformation: [
53
- {
54
- location: {
55
- range: sameKind.nameSegment.range,
56
- uri: sameKind.documentUri.toString()
57
- },
58
- message: `conflicting definition`
59
- }
60
- ]
61
- }
62
- });
63
- }
64
- });
65
- };
66
- export const checkDeploymentNodeKind = (services) => {
67
- const index = services.shared.workspace.IndexManager;
68
- return tryOrLog((node, accept) => {
69
- if (RESERVED_WORDS.includes(node.name)) {
70
- accept("error", `Reserved word: ${node.name}`, {
71
- node,
72
- property: "name"
73
- });
74
- }
75
- const projectId = projectIdFrom(node);
76
- const sameKind = index.projectElements(projectId, ast.DeploymentNodeKind).filter((n) => n.name === node.name && n.node !== node).head();
77
- if (sameKind) {
78
- const isAnotherDoc = sameKind.documentUri !== AstUtils.getDocument(node).uri;
79
- accept("error", `Duplicate deploymentNode kind '${node.name}'`, {
80
- node,
81
- property: "name",
82
- ...isAnotherDoc && {
83
- relatedInformation: [
84
- {
85
- location: {
86
- range: sameKind.nameSegment.range,
87
- uri: sameKind.documentUri.toString()
88
- },
89
- message: `conflicting definition`
90
- }
91
- ]
92
- }
93
- });
94
- }
95
- });
96
- };
97
- export const checkTag = (services) => {
98
- const index = services.shared.workspace.IndexManager;
99
- return tryOrLog((node, accept) => {
100
- const tagname = node.name;
101
- const projectId = projectIdFrom(node);
102
- const sameTag = index.projectElements(projectId, ast.Tag).filter((n) => n.name === tagname && n.node !== node).head();
103
- if (sameTag) {
104
- const isAnotherDoc = sameTag.documentUri !== AstUtils.getDocument(node).uri;
105
- accept(
106
- "error",
107
- `Duplicate tag '${node.name}'`,
108
- {
109
- node,
110
- property: "name",
111
- ...isAnotherDoc && {
112
- relatedInformation: [
113
- {
114
- location: {
115
- range: sameTag.nameSegment.range,
116
- uri: sameTag.documentUri.toString()
117
- },
118
- message: `conflicting definition`
119
- }
120
- ]
121
- }
122
- }
123
- );
124
- }
125
- });
126
- };
127
- export const checkRelationshipKind = (services) => {
128
- const index = services.shared.workspace.IndexManager;
129
- return tryOrLog((node, accept) => {
130
- if (RESERVED_WORDS.includes(node.name)) {
131
- accept("error", `Reserved word: ${node.name}`, {
132
- node,
133
- property: "name"
134
- });
135
- }
136
- const projectId = projectIdFrom(node);
137
- const sameKinds = index.projectElements(projectId, ast.RelationshipKind).filter((n) => n.name === node.name).limit(2).count();
138
- if (sameKinds > 1) {
139
- accept("error", `Duplicate RelationshipKind '${node.name}'`, {
140
- node,
141
- property: "name"
142
- });
143
- }
144
- });
145
- };
146
- export const checkGlobalPredicate = (services) => {
147
- const index = services.shared.workspace.IndexManager;
148
- return tryOrLog((node, accept) => {
149
- const projectId = projectIdFrom(node);
150
- const predicateGroups = index.projectElements(projectId, ast.GlobalPredicateGroup);
151
- const dynamicPredicateGroups = index.projectElements(projectId, ast.GlobalDynamicPredicateGroup);
152
- const sameName = predicateGroups.concat(dynamicPredicateGroups).filter((s) => s.name === node.name).limit(2).count();
153
- if (sameName > 1) {
154
- accept("error", `Duplicate GlobalPredicateGroup or GlobalDynamicPredicateGroup name '${node.name}'`, {
155
- node,
156
- property: "name"
157
- });
158
- }
159
- });
160
- };
161
- export const checkGlobalStyleId = (services) => {
162
- const index = services.shared.workspace.IndexManager;
163
- return tryOrLog((node, accept) => {
164
- const projectId = projectIdFrom(node);
165
- const sameName = index.projectElements(projectId, ast.GlobalStyleId).filter((s) => s.name === node.name).limit(2).count();
166
- if (sameName > 1) {
167
- accept("error", `Duplicate GlobalStyleId name '${node.name}'`, {
168
- node,
169
- property: "name"
170
- });
171
- }
172
- });
173
- };
@@ -1,43 +0,0 @@
1
- import { FqnExpr } from "@likec4/core/types";
2
- import { nonexhaustive } from "@likec4/core/utils";
3
- import { AstUtils } from "langium";
4
- import { getViewRulePredicateContainer } from "../../ast.mjs";
5
- import { tryOrLog } from "../_shared.mjs";
6
- export const checkFqnExprWith = (services) => {
7
- const modelParser = services.likec4.ModelParser;
8
- return tryOrLog((el, accept) => {
9
- const container = getViewRulePredicateContainer(el);
10
- if (container?.$type !== "DynamicViewIncludePredicate" && container?.isInclude !== true) {
11
- accept("error", 'Invalid usage inside "exclude"', {
12
- node: el
13
- });
14
- return;
15
- }
16
- const isInsideDynamicView = container.$type === "DynamicViewIncludePredicate";
17
- const parser = modelParser.forDocument(AstUtils.getDocument(container));
18
- let expr = FqnExpr.unwrap(parser.parseFqnExprWith(el).custom.expr);
19
- switch (true) {
20
- case (FqnExpr.isWildcard(expr) && isInsideDynamicView):
21
- case (FqnExpr.isElementKindExpr(expr) && isInsideDynamicView):
22
- case (FqnExpr.isElementTagExpr(expr) && isInsideDynamicView): {
23
- accept("warning", `Predicate is ignored, as not supported in dynamic views`, {
24
- node: el
25
- });
26
- return;
27
- }
28
- case FqnExpr.isWildcard(expr):
29
- case FqnExpr.isModelRef(expr):
30
- case FqnExpr.isDeploymentRef(expr):
31
- return;
32
- case FqnExpr.isElementKindExpr(expr):
33
- case FqnExpr.isElementTagExpr(expr):
34
- accept("error", "Invalid target (expect reference to specific element)", {
35
- node: el,
36
- property: "subject"
37
- });
38
- return;
39
- default:
40
- nonexhaustive(expr);
41
- }
42
- });
43
- };
@@ -1,53 +0,0 @@
1
- import { FqnExpr, FqnRef } from "@likec4/core/types";
2
- import { AstUtils } from "langium";
3
- import { isTruthy } from "remeda";
4
- import { ast, getViewRulePredicateContainer, isFqnRefInsideDeployment } from "../../ast.mjs";
5
- import { tryOrLog } from "../_shared.mjs";
6
- export const checkFqnRefExpr = (services) => {
7
- const modelParser = services.likec4.ModelParser;
8
- return tryOrLog((node, accept) => {
9
- const parser = modelParser.forDocument(AstUtils.getDocument(node));
10
- const expr = parser.parseFqnRefExpr(node);
11
- const viewRulePredicate = getViewRulePredicateContainer(node);
12
- const isInsideDeploymentButNotStyle = isFqnRefInsideDeployment(node) && !AstUtils.hasContainerOfType(
13
- node,
14
- (n) => ast.isDeploymentViewRuleStyle(n) || ast.isViewRuleStyle(n)
15
- );
16
- if (viewRulePredicate?.$type === "DeploymentViewRulePredicate" || isInsideDeploymentButNotStyle) {
17
- const isPartOfRelationExpr = AstUtils.hasContainerOfType(node, ast.isRelationExpr);
18
- if (!isPartOfRelationExpr) {
19
- if (FqnExpr.isModelRef(expr)) {
20
- accept("error", "Deployment view predicate must reference deployment model", {
21
- node
22
- });
23
- return;
24
- }
25
- if (FqnExpr.isDeploymentRef(expr) && FqnRef.isInsideInstanceRef(expr.ref)) {
26
- accept("error", "Must reference deployment nodes or instances, but not internals", {
27
- node
28
- });
29
- return;
30
- }
31
- }
32
- if (isTruthy(node.selector) && !ast.isDeploymentNode(node.ref.value?.ref)) {
33
- accept("warning", `Selector '${node.selector}' applies to deployment nodes only, ignored here`, {
34
- node,
35
- property: "selector"
36
- });
37
- }
38
- return;
39
- }
40
- if (viewRulePredicate?.$type === "DynamicViewIncludePredicate") {
41
- switch (true) {
42
- case FqnExpr.isElementKindExpr(expr):
43
- case FqnExpr.isElementTagExpr(expr):
44
- case FqnExpr.isWildcard(expr): {
45
- accept("warning", `Predicate is ignored, as not supported in dynamic views`, {
46
- node
47
- });
48
- return;
49
- }
50
- }
51
- }
52
- });
53
- };
@@ -1,16 +0,0 @@
1
- import { AstUtils } from "langium";
2
- import { isNullish } from "remeda";
3
- import { ast } from "../../ast.mjs";
4
- import { tryOrLog } from "../_shared.mjs";
5
- export const checkIncomingRelationExpr = (_services) => {
6
- return tryOrLog((el, accept) => {
7
- if (el.to.$type === "WildcardExpression" && !ast.isInOutRelationExpr(el.$container)) {
8
- const view = AstUtils.getContainerOfType(el, ast.isElementView);
9
- if (isNullish(view?.viewOf)) {
10
- accept("warning", "Predicate is ignored as it concerns all relationships", {
11
- node: el
12
- });
13
- }
14
- }
15
- });
16
- };
@@ -1,6 +0,0 @@
1
- export { checkFqnExprWith } from "./fqn-expr-with.mjs";
2
- export { checkFqnRefExpr } from "./fqn-ref-expr.mjs";
3
- export { checkIncomingRelationExpr } from "./incoming.mjs";
4
- export { checkOutgoingRelationExpr } from "./outgoing.mjs";
5
- export { checkRelationExpr } from "./relation-expr.mjs";
6
- export { checkRelationExprWith } from "./relation-with.mjs";
@@ -1,20 +0,0 @@
1
- import { AstUtils } from "langium";
2
- import { isNullish } from "remeda";
3
- import { ast, getViewRulePredicateContainer } from "../../ast.mjs";
4
- import { tryOrLog } from "../_shared.mjs";
5
- export const checkOutgoingRelationExpr = (_services) => {
6
- return tryOrLog((el, accept) => {
7
- const viewRulePredicate = getViewRulePredicateContainer(el);
8
- if (viewRulePredicate?.$type !== "ViewRulePredicate") {
9
- return;
10
- }
11
- if (el.$container.$type !== "DirectedRelationExpr" && el.from.$type === "WildcardExpression") {
12
- const view = AstUtils.getContainerOfType(el, ast.isElementView);
13
- if (view && isNullish(view.viewOf)) {
14
- accept("warning", "Predicate is ignored as it concerns all relationships", {
15
- node: el
16
- });
17
- }
18
- }
19
- });
20
- };