@likec4/language-server 1.46.4 → 1.48.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 (316) hide show
  1. package/LICENSE +1 -1
  2. package/browser/package.json +2 -2
  3. package/browser-worker/package.json +2 -2
  4. package/bundled/package.json +4 -0
  5. package/dist/LikeC4LanguageServices.d.mts +4 -0
  6. package/dist/LikeC4LanguageServices.mjs +3 -0
  7. package/dist/_chunks/ConfigurableLayouter.mjs +1956 -0
  8. package/dist/_chunks/LikeC4LanguageServices.d.mts +1978 -0
  9. package/dist/_chunks/LikeC4LanguageServices.mjs +725 -0
  10. package/dist/_chunks/ast.d.mts +1444 -0
  11. package/dist/_chunks/ast.mjs +2375 -0
  12. package/dist/_chunks/ast2.mjs +176 -0
  13. package/dist/_chunks/common-exports.mjs +0 -0
  14. package/dist/_chunks/filesystem.mjs +58 -0
  15. package/dist/_chunks/grammar.mjs +8 -0
  16. package/dist/_chunks/icons.mjs +5211 -0
  17. package/dist/_chunks/libs/@hono/node-server.mjs +436 -0
  18. package/dist/_chunks/libs/@msgpack/msgpack.mjs +805 -0
  19. package/dist/_chunks/libs/eventemitter3.mjs +243 -0
  20. package/dist/_chunks/libs/fast-equals.mjs +446 -0
  21. package/dist/_chunks/libs/hono.mjs +1829 -0
  22. package/dist/_chunks/libs/p-queue.mjs +449 -0
  23. package/dist/_chunks/libs/parse-ms.mjs +36 -0
  24. package/dist/_chunks/libs/picomatch.mjs +1673 -0
  25. package/dist/_chunks/libs/pretty-ms.mjs +80 -0
  26. package/dist/_chunks/libs/remeda.mjs +482 -0
  27. package/dist/_chunks/libs/strip-indent.mjs +15 -0
  28. package/dist/_chunks/libs/ufo.mjs +166 -0
  29. package/dist/_chunks/likec4lib.mjs +9 -0
  30. package/dist/_chunks/mcp.mjs +33 -0
  31. package/dist/_chunks/module.mjs +28 -0
  32. package/dist/_chunks/module2.mjs +6576 -0
  33. package/dist/_chunks/protocol.d.mts +311 -0
  34. package/dist/_chunks/protocol.mjs +78 -0
  35. package/dist/_chunks/rolldown-runtime.mjs +42 -0
  36. package/dist/ast.d.mts +4 -0
  37. package/dist/ast.mjs +4 -0
  38. package/dist/browser-worker.d.mts +1 -0
  39. package/dist/browser-worker.mjs +6 -0
  40. package/dist/browser.d.mts +11 -0
  41. package/dist/browser.mjs +27 -0
  42. package/dist/bundled.d.mts +28 -0
  43. package/dist/bundled.mjs +51 -4681
  44. package/dist/common-exports.d.mts +4 -0
  45. package/dist/common-exports.mjs +5 -0
  46. package/dist/filesystem/index.d.mts +4 -0
  47. package/dist/filesystem/index.mjs +3 -0
  48. package/dist/generated/ast.d.mts +2 -0
  49. package/dist/generated/ast.mjs +3 -0
  50. package/dist/generated/grammar.d.mts +6 -0
  51. package/dist/generated/grammar.mjs +3 -0
  52. package/dist/generated/module.d.mts +14 -0
  53. package/dist/generated/module.mjs +3 -0
  54. package/dist/generated-lib/icons.d.mts +4 -0
  55. package/dist/generated-lib/icons.mjs +3 -0
  56. package/dist/index.d.mts +4 -0
  57. package/dist/index.mjs +48 -0
  58. package/dist/likec4lib.d.mts +9 -0
  59. package/dist/likec4lib.mjs +4 -0
  60. package/dist/mcp/index.d.mts +4 -0
  61. package/dist/mcp/index.mjs +3 -0
  62. package/dist/module.d.mts +4 -0
  63. package/dist/module.mjs +3 -0
  64. package/dist/protocol.d.mts +2 -0
  65. package/dist/protocol.mjs +3 -0
  66. package/likec4lib/package.json +2 -2
  67. package/package.json +106 -62
  68. package/protocol/package.json +2 -2
  69. package/dist/LikeC4LanguageServices.d.ts +0 -109
  70. package/dist/LikeC4LanguageServices.js +0 -154
  71. package/dist/Rpc.d.ts +0 -9
  72. package/dist/Rpc.js +0 -270
  73. package/dist/ast.d.ts +0 -226
  74. package/dist/ast.js +0 -264
  75. package/dist/browser-worker.d.ts +0 -1
  76. package/dist/browser-worker.js +0 -4
  77. package/dist/browser.d.ts +0 -11
  78. package/dist/browser.js +0 -35
  79. package/dist/bundled.d.ts +0 -8
  80. package/dist/bundled.js +0 -44
  81. package/dist/documentation/documentation-provider.d.ts +0 -8
  82. package/dist/documentation/documentation-provider.js +0 -51
  83. package/dist/documentation/index.d.ts +0 -1
  84. package/dist/documentation/index.js +0 -1
  85. package/dist/empty.d.ts +0 -2
  86. package/dist/empty.js +0 -2
  87. package/dist/filesystem/ChokidarWatcher.d.ts +0 -16
  88. package/dist/filesystem/ChokidarWatcher.js +0 -108
  89. package/dist/filesystem/FileSystemWatcher.d.ts +0 -19
  90. package/dist/filesystem/FileSystemWatcher.js +0 -14
  91. package/dist/filesystem/LikeC4FileSystem.d.ts +0 -3
  92. package/dist/filesystem/LikeC4FileSystem.js +0 -130
  93. package/dist/filesystem/index.d.ts +0 -55
  94. package/dist/filesystem/index.js +0 -29
  95. package/dist/formatting/LikeC4Formatter.d.ts +0 -59
  96. package/dist/formatting/LikeC4Formatter.js +0 -637
  97. package/dist/formatting/utils.d.ts +0 -6
  98. package/dist/formatting/utils.js +0 -18
  99. package/dist/generated/ast.d.ts +0 -1411
  100. package/dist/generated/ast.js +0 -2207
  101. package/dist/generated/grammar.d.ts +0 -6
  102. package/dist/generated/grammar.js +0 -7
  103. package/dist/generated/module.d.ts +0 -14
  104. package/dist/generated/module.js +0 -27
  105. package/dist/generated-lib/icons.d.ts +0 -1
  106. package/dist/generated-lib/icons.js +0 -18
  107. package/dist/index.d.ts +0 -38
  108. package/dist/index.js +0 -55
  109. package/dist/likec4lib.d.ts +0 -6
  110. package/dist/likec4lib.js +0 -7
  111. package/dist/logger.d.ts +0 -17
  112. package/dist/logger.js +0 -81
  113. package/dist/lsp/CodeActionProvider.d.ts +0 -14
  114. package/dist/lsp/CodeActionProvider.js +0 -33
  115. package/dist/lsp/CodeLensProvider.d.ts +0 -9
  116. package/dist/lsp/CodeLensProvider.js +0 -44
  117. package/dist/lsp/CompletionProvider.d.ts +0 -11
  118. package/dist/lsp/CompletionProvider.js +0 -200
  119. package/dist/lsp/DocumentHighlightProvider.d.ts +0 -9
  120. package/dist/lsp/DocumentHighlightProvider.js +0 -10
  121. package/dist/lsp/DocumentLinkProvider.d.ts +0 -11
  122. package/dist/lsp/DocumentLinkProvider.js +0 -58
  123. package/dist/lsp/DocumentSymbolProvider.d.ts +0 -33
  124. package/dist/lsp/DocumentSymbolProvider.js +0 -317
  125. package/dist/lsp/HoverProvider.d.ts +0 -10
  126. package/dist/lsp/HoverProvider.js +0 -106
  127. package/dist/lsp/RenameProvider.d.ts +0 -5
  128. package/dist/lsp/RenameProvider.js +0 -6
  129. package/dist/lsp/SemanticTokenProvider.d.ts +0 -12
  130. package/dist/lsp/SemanticTokenProvider.js +0 -264
  131. package/dist/lsp/index.d.ts +0 -8
  132. package/dist/lsp/index.js +0 -9
  133. package/dist/mcp/MCPServerFactory.d.ts +0 -8
  134. package/dist/mcp/MCPServerFactory.js +0 -73
  135. package/dist/mcp/NoopLikeC4MCPServer.d.ts +0 -9
  136. package/dist/mcp/NoopLikeC4MCPServer.js +0 -17
  137. package/dist/mcp/interfaces.d.ts +0 -13
  138. package/dist/mcp/interfaces.js +0 -5
  139. package/dist/mcp/server/StdioLikeC4MCPServer.d.ts +0 -16
  140. package/dist/mcp/server/StdioLikeC4MCPServer.js +0 -51
  141. package/dist/mcp/server/StreamableLikeC4MCPServer.d.ts +0 -16
  142. package/dist/mcp/server/StreamableLikeC4MCPServer.js +0 -145
  143. package/dist/mcp/server/WithMCPServer.d.ts +0 -4
  144. package/dist/mcp/server/WithMCPServer.js +0 -54
  145. package/dist/mcp/tools/_common.d.ts +0 -88
  146. package/dist/mcp/tools/_common.js +0 -49
  147. package/dist/mcp/tools/find-relationships.d.ts +0 -12
  148. package/dist/mcp/tools/find-relationships.js +0 -150
  149. package/dist/mcp/tools/list-projects.d.ts +0 -6
  150. package/dist/mcp/tools/list-projects.js +0 -62
  151. package/dist/mcp/tools/open-view.d.ts +0 -10
  152. package/dist/mcp/tools/open-view.js +0 -52
  153. package/dist/mcp/tools/read-deployment.d.ts +0 -10
  154. package/dist/mcp/tools/read-deployment.js +0 -150
  155. package/dist/mcp/tools/read-element.d.ts +0 -10
  156. package/dist/mcp/tools/read-element.js +0 -218
  157. package/dist/mcp/tools/read-project-summary.d.ts +0 -8
  158. package/dist/mcp/tools/read-project-summary.js +0 -176
  159. package/dist/mcp/tools/read-view.d.ts +0 -10
  160. package/dist/mcp/tools/read-view.js +0 -203
  161. package/dist/mcp/tools/search-element.d.ts +0 -8
  162. package/dist/mcp/tools/search-element.js +0 -177
  163. package/dist/mcp/utils.d.ts +0 -18
  164. package/dist/mcp/utils.js +0 -48
  165. package/dist/model/builder/MergedExtends.d.ts +0 -13
  166. package/dist/model/builder/MergedExtends.js +0 -74
  167. package/dist/model/builder/MergedSpecification.d.ts +0 -32
  168. package/dist/model/builder/MergedSpecification.js +0 -175
  169. package/dist/model/builder/buildModel.d.ts +0 -16
  170. package/dist/model/builder/buildModel.js +0 -245
  171. package/dist/model/deployments-index.d.ts +0 -10
  172. package/dist/model/deployments-index.js +0 -102
  173. package/dist/model/fqn-index.d.ts +0 -61
  174. package/dist/model/fqn-index.js +0 -253
  175. package/dist/model/index.d.ts +0 -6
  176. package/dist/model/index.js +0 -6
  177. package/dist/model/model-builder.d.ts +0 -52
  178. package/dist/model/model-builder.js +0 -224
  179. package/dist/model/model-locator.d.ts +0 -39
  180. package/dist/model/model-locator.js +0 -240
  181. package/dist/model/model-parser-where.d.ts +0 -4
  182. package/dist/model/model-parser-where.js +0 -81
  183. package/dist/model/model-parser.d.ts +0 -645
  184. package/dist/model/model-parser.js +0 -133
  185. package/dist/model/parser/Base.d.ts +0 -69
  186. package/dist/model/parser/Base.js +0 -372
  187. package/dist/model/parser/DeploymentModelParser.d.ts +0 -71
  188. package/dist/model/parser/DeploymentModelParser.js +0 -176
  189. package/dist/model/parser/DeploymentViewParser.d.ts +0 -75
  190. package/dist/model/parser/DeploymentViewParser.js +0 -86
  191. package/dist/model/parser/FqnRefParser.d.ts +0 -66
  192. package/dist/model/parser/FqnRefParser.js +0 -382
  193. package/dist/model/parser/GlobalsParser.d.ts +0 -109
  194. package/dist/model/parser/GlobalsParser.js +0 -84
  195. package/dist/model/parser/ImportsParser.d.ts +0 -46
  196. package/dist/model/parser/ImportsParser.js +0 -24
  197. package/dist/model/parser/ModelParser.d.ts +0 -71
  198. package/dist/model/parser/ModelParser.js +0 -209
  199. package/dist/model/parser/PredicatesParser.d.ts +0 -75
  200. package/dist/model/parser/PredicatesParser.js +0 -45
  201. package/dist/model/parser/SpecificationParser.d.ts +0 -53
  202. package/dist/model/parser/SpecificationParser.js +0 -113
  203. package/dist/model/parser/ValueConverter.d.ts +0 -4
  204. package/dist/model/parser/ValueConverter.js +0 -12
  205. package/dist/model/parser/ViewsParser.d.ts +0 -112
  206. package/dist/model/parser/ViewsParser.js +0 -492
  207. package/dist/model-change/ModelChanges.d.ts +0 -18
  208. package/dist/model-change/ModelChanges.js +0 -129
  209. package/dist/model-change/changeElementStyle.d.ts +0 -16
  210. package/dist/model-change/changeElementStyle.js +0 -134
  211. package/dist/model-change/changeViewLayout.d.ts +0 -12
  212. package/dist/model-change/changeViewLayout.js +0 -28
  213. package/dist/model-change/removeManualLayoutV1.d.ts +0 -7
  214. package/dist/model-change/removeManualLayoutV1.js +0 -27
  215. package/dist/module.d.ts +0 -92
  216. package/dist/module.js +0 -143
  217. package/dist/protocol.d.ts +0 -284
  218. package/dist/protocol.js +0 -123
  219. package/dist/references/index.d.ts +0 -3
  220. package/dist/references/index.js +0 -3
  221. package/dist/references/name-provider.d.ts +0 -9
  222. package/dist/references/name-provider.js +0 -37
  223. package/dist/references/scope-computation.d.ts +0 -20
  224. package/dist/references/scope-computation.js +0 -288
  225. package/dist/references/scope-provider.d.ts +0 -40
  226. package/dist/references/scope-provider.js +0 -239
  227. package/dist/shared/NodeKindProvider.d.ts +0 -15
  228. package/dist/shared/NodeKindProvider.js +0 -57
  229. package/dist/shared/WorkspaceSymbolProvider.d.ts +0 -3
  230. package/dist/shared/WorkspaceSymbolProvider.js +0 -3
  231. package/dist/shared/index.d.ts +0 -2
  232. package/dist/shared/index.js +0 -2
  233. package/dist/test/index.d.ts +0 -1
  234. package/dist/test/index.js +0 -1
  235. package/dist/test/testServices.d.ts +0 -64
  236. package/dist/test/testServices.js +0 -210
  237. package/dist/utils/disposable.d.ts +0 -8
  238. package/dist/utils/disposable.js +0 -26
  239. package/dist/utils/elementRef.d.ts +0 -11
  240. package/dist/utils/elementRef.js +0 -27
  241. package/dist/utils/fqnRef.d.ts +0 -11
  242. package/dist/utils/fqnRef.js +0 -63
  243. package/dist/utils/index.d.ts +0 -11
  244. package/dist/utils/index.js +0 -35
  245. package/dist/utils/printDocs.d.ts +0 -2
  246. package/dist/utils/printDocs.js +0 -1
  247. package/dist/utils/projectId.d.ts +0 -4
  248. package/dist/utils/projectId.js +0 -16
  249. package/dist/utils/stringHash.d.ts +0 -1
  250. package/dist/utils/stringHash.js +0 -5
  251. package/dist/validation/DocumentValidator.d.ts +0 -11
  252. package/dist/validation/DocumentValidator.js +0 -17
  253. package/dist/validation/_shared.d.ts +0 -3
  254. package/dist/validation/_shared.js +0 -26
  255. package/dist/validation/deployment-checks.d.ts +0 -7
  256. package/dist/validation/deployment-checks.js +0 -140
  257. package/dist/validation/dynamic-view.d.ts +0 -6
  258. package/dist/validation/dynamic-view.js +0 -67
  259. package/dist/validation/element-ref.d.ts +0 -4
  260. package/dist/validation/element-ref.js +0 -12
  261. package/dist/validation/element.d.ts +0 -4
  262. package/dist/validation/element.js +0 -49
  263. package/dist/validation/imports.d.ts +0 -4
  264. package/dist/validation/imports.js +0 -46
  265. package/dist/validation/index.d.ts +0 -15
  266. package/dist/validation/index.js +0 -167
  267. package/dist/validation/property-checks.d.ts +0 -7
  268. package/dist/validation/property-checks.js +0 -108
  269. package/dist/validation/relation.d.ts +0 -6
  270. package/dist/validation/relation.js +0 -141
  271. package/dist/validation/specification.d.ts +0 -12
  272. package/dist/validation/specification.js +0 -190
  273. package/dist/validation/view-checks.d.ts +0 -4
  274. package/dist/validation/view-checks.js +0 -46
  275. package/dist/validation/view-predicates/fqn-expr-with.d.ts +0 -4
  276. package/dist/validation/view-predicates/fqn-expr-with.js +0 -43
  277. package/dist/validation/view-predicates/fqn-ref-expr.d.ts +0 -4
  278. package/dist/validation/view-predicates/fqn-ref-expr.js +0 -51
  279. package/dist/validation/view-predicates/incoming.d.ts +0 -4
  280. package/dist/validation/view-predicates/incoming.js +0 -16
  281. package/dist/validation/view-predicates/index.d.ts +0 -6
  282. package/dist/validation/view-predicates/index.js +0 -6
  283. package/dist/validation/view-predicates/outgoing.d.ts +0 -4
  284. package/dist/validation/view-predicates/outgoing.js +0 -20
  285. package/dist/validation/view-predicates/relation-expr.d.ts +0 -4
  286. package/dist/validation/view-predicates/relation-expr.js +0 -46
  287. package/dist/validation/view-predicates/relation-with.d.ts +0 -4
  288. package/dist/validation/view-predicates/relation-with.js +0 -16
  289. package/dist/validation/view.d.ts +0 -4
  290. package/dist/validation/view.js +0 -42
  291. package/dist/view-utils/assignNavigateTo.d.ts +0 -2
  292. package/dist/view-utils/assignNavigateTo.js +0 -27
  293. package/dist/view-utils/index.d.ts +0 -2
  294. package/dist/view-utils/index.js +0 -2
  295. package/dist/view-utils/manual-layout.d.ts +0 -13
  296. package/dist/view-utils/manual-layout.js +0 -149
  297. package/dist/views/ConfigurableLayouter.d.ts +0 -7
  298. package/dist/views/ConfigurableLayouter.js +0 -51
  299. package/dist/views/LikeC4ManualLayouts.d.ts +0 -42
  300. package/dist/views/LikeC4ManualLayouts.js +0 -209
  301. package/dist/views/LikeC4Views.d.ts +0 -89
  302. package/dist/views/LikeC4Views.js +0 -216
  303. package/dist/views/index.d.ts +0 -4
  304. package/dist/views/index.js +0 -11
  305. package/dist/workspace/AstNodeDescriptionProvider.d.ts +0 -7
  306. package/dist/workspace/AstNodeDescriptionProvider.js +0 -18
  307. package/dist/workspace/IndexManager.d.ts +0 -10
  308. package/dist/workspace/IndexManager.js +0 -26
  309. package/dist/workspace/LangiumDocuments.d.ts +0 -25
  310. package/dist/workspace/LangiumDocuments.js +0 -98
  311. package/dist/workspace/ProjectsManager.d.ts +0 -130
  312. package/dist/workspace/ProjectsManager.js +0 -605
  313. package/dist/workspace/WorkspaceManager.d.ts +0 -31
  314. package/dist/workspace/WorkspaceManager.js +0 -132
  315. package/dist/workspace/index.d.ts +0 -5
  316. 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.DynamicViewDisplayVariantProperty | ast.LinkProperty | ast.ViewStringProperty | ast.ElementStringProperty | ast.ElementStyleProperty | ast.IconProperty | ast.MetadataBody | ast.RelationStringProperty | ast.MetadataAttribute | ast.NotationProperty | ast.NotesProperty | ast.SpecificationElementStringProperty | ast.SpecificationRelationshipStringProperty | ast.HexColor | ast.RGBAColor | ast.DeployedInstance | ast.DeploymentNode | ast.DeploymentViewRulePredicate | ast.DeploymentViewRuleStyle | ast.ViewRuleAutoLayout | ast.DynamicViewGlobalPredicateRef | ast.DynamicViewIncludePredicate | ast.ViewRuleGlobalStyle | ast.ViewRuleStyle | ast.DynamicStepChain | ast.DynamicStepSingle | 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.Element | ast.ExtendDeployment | ast.ExtendElement | ast.Imported | ast.DeploymentView | ast.DynamicView | ast.ElementView | ast.ArrowProperty | ast.ColorProperty | ast.LineProperty | ast.PaddingSizeProperty | ast.ShapeSizeProperty | ast.TextSizeProperty | ast.BorderProperty | ast.MultipleProperty | ast.OpacityProperty | ast.ShapeProperty | ast.ViewRuleGlobalPredicateRef | ast.ViewRuleGroup | ast.ViewRulePredicate | ast.ViewRuleRank | ast.DynamicViewParallelSteps | ast.SpecificationRelationshipKind | ast.SpecificationRule | ast.ElementRef | ast.DeploymentRelation | ast.Relation | ast.GlobalDynamicPredicateGroup | ast.Globals | ast.GlobalPredicateGroup | ast.GlobalStyle | ast.SpecificationDeploymentNodeKind | ast.SpecificationElementKind | ast.GlobalStyleGroup | ast.SpecificationColor | ast.NavigateToProperty | ast.Tags | ast.ExtendRelation | ast.ImportsFromPoject | ast.SpecificationTag;
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>;