@theguild/federation-composition 0.0.0-alpha-20230916192321-bb37b43

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 (355) hide show
  1. package/LICENSE +18 -0
  2. package/cjs/compose.js +85 -0
  3. package/cjs/graphql/helpers.js +32 -0
  4. package/cjs/graphql/printer.js +248 -0
  5. package/cjs/graphql/type-node-info.js +142 -0
  6. package/cjs/index.js +22 -0
  7. package/cjs/package.json +1 -0
  8. package/cjs/specifications/federation.js +211 -0
  9. package/cjs/specifications/inaccessible.js +10 -0
  10. package/cjs/specifications/join.js +35 -0
  11. package/cjs/specifications/link.js +222 -0
  12. package/cjs/specifications/tag.js +12 -0
  13. package/cjs/subgraph/helpers.js +255 -0
  14. package/cjs/subgraph/state.js +1154 -0
  15. package/cjs/subgraph/validation/rules/elements/compose-directive.js +41 -0
  16. package/cjs/subgraph/validation/rules/elements/extends.js +34 -0
  17. package/cjs/subgraph/validation/rules/elements/external.js +57 -0
  18. package/cjs/subgraph/validation/rules/elements/field-set.js +37 -0
  19. package/cjs/subgraph/validation/rules/elements/inaccessible.js +112 -0
  20. package/cjs/subgraph/validation/rules/elements/key.js +148 -0
  21. package/cjs/subgraph/validation/rules/elements/override.js +56 -0
  22. package/cjs/subgraph/validation/rules/elements/provides.js +173 -0
  23. package/cjs/subgraph/validation/rules/elements/requires.js +119 -0
  24. package/cjs/subgraph/validation/rules/elements/shareable.js +43 -0
  25. package/cjs/subgraph/validation/rules/elements/tag.js +120 -0
  26. package/cjs/subgraph/validation/rules/known-argument-names-on-directives-rule.js +34 -0
  27. package/cjs/subgraph/validation/rules/known-directives-rule.js +105 -0
  28. package/cjs/subgraph/validation/rules/known-federation-directive-rule.js +34 -0
  29. package/cjs/subgraph/validation/rules/known-root-type-rule.js +25 -0
  30. package/cjs/subgraph/validation/rules/known-type-names-rule.js +34 -0
  31. package/cjs/subgraph/validation/rules/lone-schema-definition-rule.js +20 -0
  32. package/cjs/subgraph/validation/rules/provided-arguments-on-directives-rule.js +104 -0
  33. package/cjs/subgraph/validation/rules/provided-required-arguments-on-directives-rule.js +46 -0
  34. package/cjs/subgraph/validation/rules/query-root-type-inaccessible-rule.js +33 -0
  35. package/cjs/subgraph/validation/rules/reserved-subgraph-name-rule.js +15 -0
  36. package/cjs/subgraph/validation/rules/root-type-used-rule.js +59 -0
  37. package/cjs/subgraph/validation/rules/unique-argument-definition-names-rule.js +42 -0
  38. package/cjs/subgraph/validation/rules/unique-argument-names-rule.js +27 -0
  39. package/cjs/subgraph/validation/rules/unique-directive-names-rule.js +24 -0
  40. package/cjs/subgraph/validation/rules/unique-directives-per-location-rule.js +52 -0
  41. package/cjs/subgraph/validation/rules/unique-enum-value-names-rule.js +33 -0
  42. package/cjs/subgraph/validation/rules/unique-field-definition-names-rule.js +37 -0
  43. package/cjs/subgraph/validation/rules/unique-input-field-names-rule.js +37 -0
  44. package/cjs/subgraph/validation/rules/unique-operation-types-rule.js +29 -0
  45. package/cjs/subgraph/validation/rules/unique-type-names-rule.js +29 -0
  46. package/cjs/subgraph/validation/validate-state.js +476 -0
  47. package/cjs/subgraph/validation/validate-subgraph.js +329 -0
  48. package/cjs/subgraph/validation/validation-context.js +267 -0
  49. package/cjs/supergraph/composition/ast.js +779 -0
  50. package/cjs/supergraph/composition/common.js +7 -0
  51. package/cjs/supergraph/composition/directive.js +93 -0
  52. package/cjs/supergraph/composition/enum-type.js +132 -0
  53. package/cjs/supergraph/composition/input-object-type.js +119 -0
  54. package/cjs/supergraph/composition/interface-type.js +226 -0
  55. package/cjs/supergraph/composition/object-type.js +380 -0
  56. package/cjs/supergraph/composition/scalar-type.js +63 -0
  57. package/cjs/supergraph/composition/union-type.js +64 -0
  58. package/cjs/supergraph/composition/visitor.js +62 -0
  59. package/cjs/supergraph/state.js +249 -0
  60. package/cjs/supergraph/validation/rules/default-value-uses-inaccessible-rule.js +35 -0
  61. package/cjs/supergraph/validation/rules/directive-composition-rule.js +98 -0
  62. package/cjs/supergraph/validation/rules/enum-values-rule.js +59 -0
  63. package/cjs/supergraph/validation/rules/extension-with-base.js +31 -0
  64. package/cjs/supergraph/validation/rules/external-argument-missing-rule.js +32 -0
  65. package/cjs/supergraph/validation/rules/external-missing-on-base-rule.js +48 -0
  66. package/cjs/supergraph/validation/rules/external-type-mismatch-rule.js +52 -0
  67. package/cjs/supergraph/validation/rules/field-argument-default-mismatch-rule.js +40 -0
  68. package/cjs/supergraph/validation/rules/field-arguments-of-the-same-type-rule.js +49 -0
  69. package/cjs/supergraph/validation/rules/fields-of-the-same-type-rule.js +89 -0
  70. package/cjs/supergraph/validation/rules/input-field-default-mismatch-rule.js +40 -0
  71. package/cjs/supergraph/validation/rules/input-object-values-rule.js +25 -0
  72. package/cjs/supergraph/validation/rules/interface-key-missing-implementation-type.js +46 -0
  73. package/cjs/supergraph/validation/rules/invalid-field-sharing-rule.js +45 -0
  74. package/cjs/supergraph/validation/rules/only-inaccessible-children-rule.js +40 -0
  75. package/cjs/supergraph/validation/rules/override-source-has-override.js +36 -0
  76. package/cjs/supergraph/validation/rules/referenced-inaccessible-rule.js +44 -0
  77. package/cjs/supergraph/validation/rules/required-argument-missing-in-some-subgraph-rule.js +32 -0
  78. package/cjs/supergraph/validation/rules/required-input-field-missing-in-some-subgraph-rule.js +32 -0
  79. package/cjs/supergraph/validation/rules/required-query-rule.js +14 -0
  80. package/cjs/supergraph/validation/rules/satisfiablity-rule.js +866 -0
  81. package/cjs/supergraph/validation/rules/subgraph-name-rule.js +18 -0
  82. package/cjs/supergraph/validation/rules/types-of-the-same-kind-rule.js +54 -0
  83. package/cjs/supergraph/validation/validate-supergraph.js +77 -0
  84. package/cjs/supergraph/validation/validation-context.js +25 -0
  85. package/cjs/types.js +0 -0
  86. package/cjs/utils/dependency-graph.js +227 -0
  87. package/cjs/utils/format.js +27 -0
  88. package/cjs/utils/helpers.js +7 -0
  89. package/cjs/utils/state.js +23 -0
  90. package/cjs/validate.js +117 -0
  91. package/esm/compose.js +78 -0
  92. package/esm/graphql/helpers.js +27 -0
  93. package/esm/graphql/printer.js +244 -0
  94. package/esm/graphql/type-node-info.js +137 -0
  95. package/esm/index.js +4 -0
  96. package/esm/specifications/federation.js +204 -0
  97. package/esm/specifications/inaccessible.js +7 -0
  98. package/esm/specifications/join.js +32 -0
  99. package/esm/specifications/link.js +210 -0
  100. package/esm/specifications/tag.js +9 -0
  101. package/esm/subgraph/helpers.js +245 -0
  102. package/esm/subgraph/state.js +1148 -0
  103. package/esm/subgraph/validation/rules/elements/compose-directive.js +37 -0
  104. package/esm/subgraph/validation/rules/elements/extends.js +30 -0
  105. package/esm/subgraph/validation/rules/elements/external.js +53 -0
  106. package/esm/subgraph/validation/rules/elements/field-set.js +33 -0
  107. package/esm/subgraph/validation/rules/elements/inaccessible.js +108 -0
  108. package/esm/subgraph/validation/rules/elements/key.js +144 -0
  109. package/esm/subgraph/validation/rules/elements/override.js +52 -0
  110. package/esm/subgraph/validation/rules/elements/provides.js +169 -0
  111. package/esm/subgraph/validation/rules/elements/requires.js +115 -0
  112. package/esm/subgraph/validation/rules/elements/shareable.js +39 -0
  113. package/esm/subgraph/validation/rules/elements/tag.js +116 -0
  114. package/esm/subgraph/validation/rules/known-argument-names-on-directives-rule.js +30 -0
  115. package/esm/subgraph/validation/rules/known-directives-rule.js +101 -0
  116. package/esm/subgraph/validation/rules/known-federation-directive-rule.js +30 -0
  117. package/esm/subgraph/validation/rules/known-root-type-rule.js +21 -0
  118. package/esm/subgraph/validation/rules/known-type-names-rule.js +30 -0
  119. package/esm/subgraph/validation/rules/lone-schema-definition-rule.js +16 -0
  120. package/esm/subgraph/validation/rules/provided-arguments-on-directives-rule.js +100 -0
  121. package/esm/subgraph/validation/rules/provided-required-arguments-on-directives-rule.js +42 -0
  122. package/esm/subgraph/validation/rules/query-root-type-inaccessible-rule.js +29 -0
  123. package/esm/subgraph/validation/rules/reserved-subgraph-name-rule.js +11 -0
  124. package/esm/subgraph/validation/rules/root-type-used-rule.js +55 -0
  125. package/esm/subgraph/validation/rules/unique-argument-definition-names-rule.js +38 -0
  126. package/esm/subgraph/validation/rules/unique-argument-names-rule.js +23 -0
  127. package/esm/subgraph/validation/rules/unique-directive-names-rule.js +20 -0
  128. package/esm/subgraph/validation/rules/unique-directives-per-location-rule.js +48 -0
  129. package/esm/subgraph/validation/rules/unique-enum-value-names-rule.js +29 -0
  130. package/esm/subgraph/validation/rules/unique-field-definition-names-rule.js +33 -0
  131. package/esm/subgraph/validation/rules/unique-input-field-names-rule.js +33 -0
  132. package/esm/subgraph/validation/rules/unique-operation-types-rule.js +25 -0
  133. package/esm/subgraph/validation/rules/unique-type-names-rule.js +25 -0
  134. package/esm/subgraph/validation/validate-state.js +463 -0
  135. package/esm/subgraph/validation/validate-subgraph.js +323 -0
  136. package/esm/subgraph/validation/validation-context.js +262 -0
  137. package/esm/supergraph/composition/ast.js +765 -0
  138. package/esm/supergraph/composition/common.js +3 -0
  139. package/esm/supergraph/composition/directive.js +89 -0
  140. package/esm/supergraph/composition/enum-type.js +128 -0
  141. package/esm/supergraph/composition/input-object-type.js +115 -0
  142. package/esm/supergraph/composition/interface-type.js +222 -0
  143. package/esm/supergraph/composition/object-type.js +375 -0
  144. package/esm/supergraph/composition/scalar-type.js +59 -0
  145. package/esm/supergraph/composition/union-type.js +60 -0
  146. package/esm/supergraph/composition/visitor.js +58 -0
  147. package/esm/supergraph/state.js +245 -0
  148. package/esm/supergraph/validation/rules/default-value-uses-inaccessible-rule.js +31 -0
  149. package/esm/supergraph/validation/rules/directive-composition-rule.js +94 -0
  150. package/esm/supergraph/validation/rules/enum-values-rule.js +55 -0
  151. package/esm/supergraph/validation/rules/extension-with-base.js +27 -0
  152. package/esm/supergraph/validation/rules/external-argument-missing-rule.js +28 -0
  153. package/esm/supergraph/validation/rules/external-missing-on-base-rule.js +44 -0
  154. package/esm/supergraph/validation/rules/external-type-mismatch-rule.js +48 -0
  155. package/esm/supergraph/validation/rules/field-argument-default-mismatch-rule.js +36 -0
  156. package/esm/supergraph/validation/rules/field-arguments-of-the-same-type-rule.js +45 -0
  157. package/esm/supergraph/validation/rules/fields-of-the-same-type-rule.js +85 -0
  158. package/esm/supergraph/validation/rules/input-field-default-mismatch-rule.js +36 -0
  159. package/esm/supergraph/validation/rules/input-object-values-rule.js +21 -0
  160. package/esm/supergraph/validation/rules/interface-key-missing-implementation-type.js +42 -0
  161. package/esm/supergraph/validation/rules/invalid-field-sharing-rule.js +41 -0
  162. package/esm/supergraph/validation/rules/only-inaccessible-children-rule.js +36 -0
  163. package/esm/supergraph/validation/rules/override-source-has-override.js +32 -0
  164. package/esm/supergraph/validation/rules/referenced-inaccessible-rule.js +40 -0
  165. package/esm/supergraph/validation/rules/required-argument-missing-in-some-subgraph-rule.js +28 -0
  166. package/esm/supergraph/validation/rules/required-input-field-missing-in-some-subgraph-rule.js +28 -0
  167. package/esm/supergraph/validation/rules/required-query-rule.js +10 -0
  168. package/esm/supergraph/validation/rules/satisfiablity-rule.js +862 -0
  169. package/esm/supergraph/validation/rules/subgraph-name-rule.js +14 -0
  170. package/esm/supergraph/validation/rules/types-of-the-same-kind-rule.js +50 -0
  171. package/esm/supergraph/validation/validate-supergraph.js +73 -0
  172. package/esm/supergraph/validation/validation-context.js +21 -0
  173. package/esm/types.js +0 -0
  174. package/esm/utils/dependency-graph.js +222 -0
  175. package/esm/utils/format.js +23 -0
  176. package/esm/utils/helpers.js +3 -0
  177. package/esm/utils/state.js +15 -0
  178. package/esm/validate.js +113 -0
  179. package/package.json +46 -0
  180. package/typings/compose.d.cts +16 -0
  181. package/typings/compose.d.ts +16 -0
  182. package/typings/graphql/helpers.d.cts +4 -0
  183. package/typings/graphql/helpers.d.ts +4 -0
  184. package/typings/graphql/printer.d.cts +3 -0
  185. package/typings/graphql/printer.d.ts +3 -0
  186. package/typings/graphql/type-node-info.d.cts +19 -0
  187. package/typings/graphql/type-node-info.d.ts +19 -0
  188. package/typings/index.d.cts +5 -0
  189. package/typings/index.d.ts +5 -0
  190. package/typings/specifications/federation.d.cts +45 -0
  191. package/typings/specifications/federation.d.ts +45 -0
  192. package/typings/specifications/inaccessible.d.cts +4 -0
  193. package/typings/specifications/inaccessible.d.ts +4 -0
  194. package/typings/specifications/join.d.cts +2 -0
  195. package/typings/specifications/join.d.ts +2 -0
  196. package/typings/specifications/link.d.cts +61 -0
  197. package/typings/specifications/link.d.ts +61 -0
  198. package/typings/specifications/tag.d.cts +4 -0
  199. package/typings/specifications/tag.d.ts +4 -0
  200. package/typings/subgraph/helpers.d.cts +44 -0
  201. package/typings/subgraph/helpers.d.ts +44 -0
  202. package/typings/subgraph/state.d.cts +322 -0
  203. package/typings/subgraph/state.d.ts +322 -0
  204. package/typings/subgraph/validation/rules/elements/compose-directive.d.cts +4 -0
  205. package/typings/subgraph/validation/rules/elements/compose-directive.d.ts +4 -0
  206. package/typings/subgraph/validation/rules/elements/extends.d.cts +4 -0
  207. package/typings/subgraph/validation/rules/elements/extends.d.ts +4 -0
  208. package/typings/subgraph/validation/rules/elements/external.d.cts +4 -0
  209. package/typings/subgraph/validation/rules/elements/external.d.ts +4 -0
  210. package/typings/subgraph/validation/rules/elements/field-set.d.cts +4 -0
  211. package/typings/subgraph/validation/rules/elements/field-set.d.ts +4 -0
  212. package/typings/subgraph/validation/rules/elements/inaccessible.d.cts +4 -0
  213. package/typings/subgraph/validation/rules/elements/inaccessible.d.ts +4 -0
  214. package/typings/subgraph/validation/rules/elements/key.d.cts +4 -0
  215. package/typings/subgraph/validation/rules/elements/key.d.ts +4 -0
  216. package/typings/subgraph/validation/rules/elements/override.d.cts +4 -0
  217. package/typings/subgraph/validation/rules/elements/override.d.ts +4 -0
  218. package/typings/subgraph/validation/rules/elements/provides.d.cts +4 -0
  219. package/typings/subgraph/validation/rules/elements/provides.d.ts +4 -0
  220. package/typings/subgraph/validation/rules/elements/requires.d.cts +4 -0
  221. package/typings/subgraph/validation/rules/elements/requires.d.ts +4 -0
  222. package/typings/subgraph/validation/rules/elements/shareable.d.cts +4 -0
  223. package/typings/subgraph/validation/rules/elements/shareable.d.ts +4 -0
  224. package/typings/subgraph/validation/rules/elements/tag.d.cts +4 -0
  225. package/typings/subgraph/validation/rules/elements/tag.d.ts +4 -0
  226. package/typings/subgraph/validation/rules/known-argument-names-on-directives-rule.d.cts +6 -0
  227. package/typings/subgraph/validation/rules/known-argument-names-on-directives-rule.d.ts +6 -0
  228. package/typings/subgraph/validation/rules/known-directives-rule.d.cts +6 -0
  229. package/typings/subgraph/validation/rules/known-directives-rule.d.ts +6 -0
  230. package/typings/subgraph/validation/rules/known-federation-directive-rule.d.cts +4 -0
  231. package/typings/subgraph/validation/rules/known-federation-directive-rule.d.ts +4 -0
  232. package/typings/subgraph/validation/rules/known-root-type-rule.d.cts +4 -0
  233. package/typings/subgraph/validation/rules/known-root-type-rule.d.ts +4 -0
  234. package/typings/subgraph/validation/rules/known-type-names-rule.d.cts +4 -0
  235. package/typings/subgraph/validation/rules/known-type-names-rule.d.ts +4 -0
  236. package/typings/subgraph/validation/rules/lone-schema-definition-rule.d.cts +5 -0
  237. package/typings/subgraph/validation/rules/lone-schema-definition-rule.d.ts +5 -0
  238. package/typings/subgraph/validation/rules/provided-arguments-on-directives-rule.d.cts +4 -0
  239. package/typings/subgraph/validation/rules/provided-arguments-on-directives-rule.d.ts +4 -0
  240. package/typings/subgraph/validation/rules/provided-required-arguments-on-directives-rule.d.cts +4 -0
  241. package/typings/subgraph/validation/rules/provided-required-arguments-on-directives-rule.d.ts +4 -0
  242. package/typings/subgraph/validation/rules/query-root-type-inaccessible-rule.d.cts +4 -0
  243. package/typings/subgraph/validation/rules/query-root-type-inaccessible-rule.d.ts +4 -0
  244. package/typings/subgraph/validation/rules/reserved-subgraph-name-rule.d.cts +4 -0
  245. package/typings/subgraph/validation/rules/reserved-subgraph-name-rule.d.ts +4 -0
  246. package/typings/subgraph/validation/rules/root-type-used-rule.d.cts +4 -0
  247. package/typings/subgraph/validation/rules/root-type-used-rule.d.ts +4 -0
  248. package/typings/subgraph/validation/rules/unique-argument-definition-names-rule.d.cts +5 -0
  249. package/typings/subgraph/validation/rules/unique-argument-definition-names-rule.d.ts +5 -0
  250. package/typings/subgraph/validation/rules/unique-argument-names-rule.d.cts +5 -0
  251. package/typings/subgraph/validation/rules/unique-argument-names-rule.d.ts +5 -0
  252. package/typings/subgraph/validation/rules/unique-directive-names-rule.d.cts +5 -0
  253. package/typings/subgraph/validation/rules/unique-directive-names-rule.d.ts +5 -0
  254. package/typings/subgraph/validation/rules/unique-directives-per-location-rule.d.cts +6 -0
  255. package/typings/subgraph/validation/rules/unique-directives-per-location-rule.d.ts +6 -0
  256. package/typings/subgraph/validation/rules/unique-enum-value-names-rule.d.cts +5 -0
  257. package/typings/subgraph/validation/rules/unique-enum-value-names-rule.d.ts +5 -0
  258. package/typings/subgraph/validation/rules/unique-field-definition-names-rule.d.cts +5 -0
  259. package/typings/subgraph/validation/rules/unique-field-definition-names-rule.d.ts +5 -0
  260. package/typings/subgraph/validation/rules/unique-input-field-names-rule.d.cts +5 -0
  261. package/typings/subgraph/validation/rules/unique-input-field-names-rule.d.ts +5 -0
  262. package/typings/subgraph/validation/rules/unique-operation-types-rule.d.cts +5 -0
  263. package/typings/subgraph/validation/rules/unique-operation-types-rule.d.ts +5 -0
  264. package/typings/subgraph/validation/rules/unique-type-names-rule.d.cts +5 -0
  265. package/typings/subgraph/validation/rules/unique-type-names-rule.d.ts +5 -0
  266. package/typings/subgraph/validation/validate-state.d.cts +13 -0
  267. package/typings/subgraph/validation/validate-state.d.ts +13 -0
  268. package/typings/subgraph/validation/validate-subgraph.d.cts +43 -0
  269. package/typings/subgraph/validation/validate-subgraph.d.ts +43 -0
  270. package/typings/subgraph/validation/validation-context.d.cts +182 -0
  271. package/typings/subgraph/validation/validation-context.d.ts +182 -0
  272. package/typings/supergraph/composition/ast.d.cts +216 -0
  273. package/typings/supergraph/composition/ast.d.ts +216 -0
  274. package/typings/supergraph/composition/common.d.cts +19 -0
  275. package/typings/supergraph/composition/common.d.ts +19 -0
  276. package/typings/supergraph/composition/directive.d.cts +32 -0
  277. package/typings/supergraph/composition/directive.d.ts +32 -0
  278. package/typings/supergraph/composition/enum-type.d.cts +32 -0
  279. package/typings/supergraph/composition/enum-type.d.ts +32 -0
  280. package/typings/supergraph/composition/input-object-type.d.cts +32 -0
  281. package/typings/supergraph/composition/input-object-type.d.ts +32 -0
  282. package/typings/supergraph/composition/interface-type.d.cts +61 -0
  283. package/typings/supergraph/composition/interface-type.d.ts +61 -0
  284. package/typings/supergraph/composition/object-type.d.cts +79 -0
  285. package/typings/supergraph/composition/object-type.d.ts +79 -0
  286. package/typings/supergraph/composition/scalar-type.d.cts +20 -0
  287. package/typings/supergraph/composition/scalar-type.d.ts +20 -0
  288. package/typings/supergraph/composition/union-type.d.cts +17 -0
  289. package/typings/supergraph/composition/union-type.d.ts +17 -0
  290. package/typings/supergraph/composition/visitor.d.cts +18 -0
  291. package/typings/supergraph/composition/visitor.d.ts +18 -0
  292. package/typings/supergraph/state.d.cts +51 -0
  293. package/typings/supergraph/state.d.ts +51 -0
  294. package/typings/supergraph/validation/rules/default-value-uses-inaccessible-rule.d.cts +5 -0
  295. package/typings/supergraph/validation/rules/default-value-uses-inaccessible-rule.d.ts +5 -0
  296. package/typings/supergraph/validation/rules/directive-composition-rule.d.cts +5 -0
  297. package/typings/supergraph/validation/rules/directive-composition-rule.d.ts +5 -0
  298. package/typings/supergraph/validation/rules/enum-values-rule.d.cts +4 -0
  299. package/typings/supergraph/validation/rules/enum-values-rule.d.ts +4 -0
  300. package/typings/supergraph/validation/rules/extension-with-base.d.cts +4 -0
  301. package/typings/supergraph/validation/rules/extension-with-base.d.ts +4 -0
  302. package/typings/supergraph/validation/rules/external-argument-missing-rule.d.cts +4 -0
  303. package/typings/supergraph/validation/rules/external-argument-missing-rule.d.ts +4 -0
  304. package/typings/supergraph/validation/rules/external-missing-on-base-rule.d.cts +4 -0
  305. package/typings/supergraph/validation/rules/external-missing-on-base-rule.d.ts +4 -0
  306. package/typings/supergraph/validation/rules/external-type-mismatch-rule.d.cts +4 -0
  307. package/typings/supergraph/validation/rules/external-type-mismatch-rule.d.ts +4 -0
  308. package/typings/supergraph/validation/rules/field-argument-default-mismatch-rule.d.cts +4 -0
  309. package/typings/supergraph/validation/rules/field-argument-default-mismatch-rule.d.ts +4 -0
  310. package/typings/supergraph/validation/rules/field-arguments-of-the-same-type-rule.d.cts +4 -0
  311. package/typings/supergraph/validation/rules/field-arguments-of-the-same-type-rule.d.ts +4 -0
  312. package/typings/supergraph/validation/rules/fields-of-the-same-type-rule.d.cts +4 -0
  313. package/typings/supergraph/validation/rules/fields-of-the-same-type-rule.d.ts +4 -0
  314. package/typings/supergraph/validation/rules/input-field-default-mismatch-rule.d.cts +4 -0
  315. package/typings/supergraph/validation/rules/input-field-default-mismatch-rule.d.ts +4 -0
  316. package/typings/supergraph/validation/rules/input-object-values-rule.d.cts +4 -0
  317. package/typings/supergraph/validation/rules/input-object-values-rule.d.ts +4 -0
  318. package/typings/supergraph/validation/rules/interface-key-missing-implementation-type.d.cts +4 -0
  319. package/typings/supergraph/validation/rules/interface-key-missing-implementation-type.d.ts +4 -0
  320. package/typings/supergraph/validation/rules/invalid-field-sharing-rule.d.cts +4 -0
  321. package/typings/supergraph/validation/rules/invalid-field-sharing-rule.d.ts +4 -0
  322. package/typings/supergraph/validation/rules/only-inaccessible-children-rule.d.cts +4 -0
  323. package/typings/supergraph/validation/rules/only-inaccessible-children-rule.d.ts +4 -0
  324. package/typings/supergraph/validation/rules/override-source-has-override.d.cts +4 -0
  325. package/typings/supergraph/validation/rules/override-source-has-override.d.ts +4 -0
  326. package/typings/supergraph/validation/rules/referenced-inaccessible-rule.d.cts +5 -0
  327. package/typings/supergraph/validation/rules/referenced-inaccessible-rule.d.ts +5 -0
  328. package/typings/supergraph/validation/rules/required-argument-missing-in-some-subgraph-rule.d.cts +4 -0
  329. package/typings/supergraph/validation/rules/required-argument-missing-in-some-subgraph-rule.d.ts +4 -0
  330. package/typings/supergraph/validation/rules/required-input-field-missing-in-some-subgraph-rule.d.cts +4 -0
  331. package/typings/supergraph/validation/rules/required-input-field-missing-in-some-subgraph-rule.d.ts +4 -0
  332. package/typings/supergraph/validation/rules/required-query-rule.d.cts +3 -0
  333. package/typings/supergraph/validation/rules/required-query-rule.d.ts +3 -0
  334. package/typings/supergraph/validation/rules/satisfiablity-rule.d.cts +5 -0
  335. package/typings/supergraph/validation/rules/satisfiablity-rule.d.ts +5 -0
  336. package/typings/supergraph/validation/rules/subgraph-name-rule.d.cts +3 -0
  337. package/typings/supergraph/validation/rules/subgraph-name-rule.d.ts +3 -0
  338. package/typings/supergraph/validation/rules/types-of-the-same-kind-rule.d.cts +3 -0
  339. package/typings/supergraph/validation/rules/types-of-the-same-kind-rule.d.ts +3 -0
  340. package/typings/supergraph/validation/validate-supergraph.d.cts +6 -0
  341. package/typings/supergraph/validation/validate-supergraph.d.ts +6 -0
  342. package/typings/supergraph/validation/validation-context.d.cts +10 -0
  343. package/typings/supergraph/validation/validation-context.d.ts +10 -0
  344. package/typings/types.d.cts +7 -0
  345. package/typings/types.d.ts +7 -0
  346. package/typings/utils/dependency-graph.d.cts +31 -0
  347. package/typings/utils/dependency-graph.d.ts +31 -0
  348. package/typings/utils/format.d.cts +2 -0
  349. package/typings/utils/format.d.ts +2 -0
  350. package/typings/utils/helpers.d.cts +2 -0
  351. package/typings/utils/helpers.d.ts +2 -0
  352. package/typings/utils/state.d.cts +6 -0
  353. package/typings/utils/state.d.ts +6 -0
  354. package/typings/validate.d.cts +37 -0
  355. package/typings/validate.d.ts +37 -0
@@ -0,0 +1,3 @@
1
+ export function convertToConst(nodes) {
2
+ return nodes;
3
+ }
@@ -0,0 +1,89 @@
1
+ import { createDirectiveNode } from './ast.js';
2
+ import { convertToConst } from './common.js';
3
+ export function directiveBuilder() {
4
+ return {
5
+ visitSubgraphState(graph, state, directiveName, directive) {
6
+ if (!directive.composed) {
7
+ return;
8
+ }
9
+ const directiveState = getOrCreateDirective(state, directiveName);
10
+ for (const location of directive.locations) {
11
+ directiveState.locations.add(location);
12
+ }
13
+ if (directive.repeatable) {
14
+ directiveState.repeatable = true;
15
+ }
16
+ for (const arg of directive.args.values()) {
17
+ const argState = getOrCreateArg(directiveState, arg.name, arg.type);
18
+ arg.tags.forEach(tag => argState.tags.add(tag));
19
+ if (arg.type.endsWith('!')) {
20
+ argState.type = arg.type;
21
+ }
22
+ arg.ast.directives.forEach(directive => {
23
+ argState.ast.directives.push(directive);
24
+ });
25
+ if (arg.inaccessible) {
26
+ argState.inaccessible = true;
27
+ }
28
+ argState.byGraph.set(graph.id, {
29
+ type: arg.type,
30
+ defaultValue: arg.defaultValue,
31
+ });
32
+ }
33
+ directiveState.byGraph.set(graph.id, {
34
+ locations: directive.locations,
35
+ repeatable: directive.repeatable,
36
+ });
37
+ },
38
+ composeSupergraphNode(directive) {
39
+ return createDirectiveNode({
40
+ name: directive.name,
41
+ locations: Array.from(directive.locations),
42
+ repeatable: directive.repeatable,
43
+ arguments: Array.from(directive.args.values()).map(arg => ({
44
+ name: arg.name,
45
+ type: arg.type,
46
+ tags: Array.from(arg.tags),
47
+ inaccessible: arg.inaccessible,
48
+ defaultValue: arg.defaultValue,
49
+ ast: {
50
+ directives: convertToConst(arg.ast.directives),
51
+ },
52
+ })),
53
+ });
54
+ },
55
+ };
56
+ }
57
+ function getOrCreateDirective(state, directiveName) {
58
+ const existing = state.get(directiveName);
59
+ if (existing) {
60
+ return existing;
61
+ }
62
+ const def = {
63
+ name: directiveName,
64
+ locations: new Set(),
65
+ byGraph: new Map(),
66
+ args: new Map(),
67
+ repeatable: false,
68
+ };
69
+ state.set(directiveName, def);
70
+ return def;
71
+ }
72
+ function getOrCreateArg(directiveState, argName, argType) {
73
+ const existing = directiveState.args.get(argName);
74
+ if (existing) {
75
+ return existing;
76
+ }
77
+ const def = {
78
+ name: argName,
79
+ type: argType,
80
+ inaccessible: false,
81
+ tags: new Set(),
82
+ byGraph: new Map(),
83
+ ast: {
84
+ directives: [],
85
+ },
86
+ };
87
+ directiveState.args.set(argName, def);
88
+ return def;
89
+ }
@@ -0,0 +1,128 @@
1
+ import { createEnumTypeNode } from './ast.js';
2
+ export function enumTypeBuilder() {
3
+ return {
4
+ visitSubgraphState(graph, state, typeName, type) {
5
+ const enumTypeState = getOrCreateEnumType(state, typeName);
6
+ type.tags.forEach(tag => enumTypeState.tags.add(tag));
7
+ if (type.inaccessible) {
8
+ enumTypeState.inaccessible = true;
9
+ }
10
+ if (type.isDefinition) {
11
+ enumTypeState.hasDefinition = true;
12
+ }
13
+ if (type.description && !enumTypeState.description) {
14
+ enumTypeState.description = type.description;
15
+ }
16
+ if (type.referencedByInputType) {
17
+ enumTypeState.referencedByInputType = true;
18
+ type.inputTypeReferences.forEach(ref => {
19
+ enumTypeState.inputTypeReferences.add(ref);
20
+ });
21
+ }
22
+ if (type.referencedByOutputType) {
23
+ enumTypeState.referencedByOutputType = true;
24
+ type.outputTypeReferences.forEach(ref => {
25
+ enumTypeState.outputTypeReferences.add(ref);
26
+ });
27
+ }
28
+ enumTypeState.byGraph.set(graph.id, {
29
+ inaccessible: type.inaccessible,
30
+ });
31
+ for (const value of type.values.values()) {
32
+ const valueState = getOrCreateEnumValue(enumTypeState, value.name);
33
+ value.tags.forEach(tag => valueState.tags.add(tag));
34
+ if (value.inaccessible) {
35
+ valueState.inaccessible = true;
36
+ }
37
+ if (value.deprecated && !valueState.deprecated) {
38
+ valueState.deprecated = value.deprecated;
39
+ }
40
+ if (value.description && !valueState.description) {
41
+ valueState.description = value.description;
42
+ }
43
+ valueState.byGraph.set(graph.id, {
44
+ inaccessible: value.inaccessible,
45
+ });
46
+ }
47
+ },
48
+ composeSupergraphNode(enumType) {
49
+ const mergeMethod = decideOnEnumMergeStrategy(enumType.referencedByInputType, enumType.referencedByOutputType);
50
+ const values = mergeMethod === 'intersection'
51
+ ? intersectionOfEnumValues(enumType)
52
+ : Array.from(enumType.values);
53
+ return createEnumTypeNode({
54
+ name: enumType.name,
55
+ values: values.map(([_, value]) => ({
56
+ name: value.name,
57
+ join: {
58
+ enumValue: Array.from(value.byGraph.keys()).map(graph => ({
59
+ graph: graph.toUpperCase(),
60
+ })),
61
+ },
62
+ tags: Array.from(value.tags),
63
+ inaccessible: value.inaccessible,
64
+ description: value.description,
65
+ deprecated: value.deprecated,
66
+ })),
67
+ tags: Array.from(enumType.tags),
68
+ inaccessible: enumType.inaccessible,
69
+ description: enumType.description,
70
+ join: {
71
+ type: Array.from(enumType.byGraph.keys()).map(graphName => ({
72
+ graph: graphName.toUpperCase(),
73
+ })),
74
+ },
75
+ });
76
+ },
77
+ };
78
+ }
79
+ function decideOnEnumMergeStrategy(referencedByInputType, referencedByOutputType) {
80
+ if (referencedByInputType === referencedByOutputType) {
81
+ return 'equal';
82
+ }
83
+ if (referencedByInputType) {
84
+ return 'intersection';
85
+ }
86
+ if (referencedByOutputType) {
87
+ return 'union';
88
+ }
89
+ return 'equal';
90
+ }
91
+ function intersectionOfEnumValues(enumType) {
92
+ const numberOfGraphs = enumType.byGraph.size;
93
+ return Array.from(enumType.values).filter(([_, value]) => value.byGraph.size === numberOfGraphs);
94
+ }
95
+ function getOrCreateEnumType(state, typeName) {
96
+ const existing = state.get(typeName);
97
+ if (existing) {
98
+ return existing;
99
+ }
100
+ const def = {
101
+ name: typeName,
102
+ values: new Map(),
103
+ tags: new Set(),
104
+ hasDefinition: false,
105
+ inaccessible: false,
106
+ referencedByInputType: false,
107
+ referencedByOutputType: false,
108
+ inputTypeReferences: new Set(),
109
+ outputTypeReferences: new Set(),
110
+ byGraph: new Map(),
111
+ };
112
+ state.set(typeName, def);
113
+ return def;
114
+ }
115
+ function getOrCreateEnumValue(enumTypeState, enumValueName) {
116
+ const existing = enumTypeState.values.get(enumValueName);
117
+ if (existing) {
118
+ return existing;
119
+ }
120
+ const def = {
121
+ name: enumValueName,
122
+ tags: new Set(),
123
+ inaccessible: false,
124
+ byGraph: new Map(),
125
+ };
126
+ enumTypeState.values.set(enumValueName, def);
127
+ return def;
128
+ }
@@ -0,0 +1,115 @@
1
+ import { createInputObjectTypeNode } from './ast.js';
2
+ export function inputObjectTypeBuilder() {
3
+ return {
4
+ visitSubgraphState(graph, state, typeName, type) {
5
+ const inputObjectTypeState = getOrCreateInputObjectType(state, typeName);
6
+ type.tags.forEach(tag => inputObjectTypeState.tags.add(tag));
7
+ if (type.inaccessible) {
8
+ inputObjectTypeState.inaccessible = true;
9
+ }
10
+ const isDefinition = type.isDefinition && !type.extension;
11
+ if (type.description && !inputObjectTypeState.description) {
12
+ inputObjectTypeState.description = type.description;
13
+ }
14
+ if (type.isDefinition) {
15
+ inputObjectTypeState.hasDefinition = true;
16
+ }
17
+ inputObjectTypeState.byGraph.set(graph.id, {
18
+ inaccessible: type.inaccessible,
19
+ });
20
+ for (const field of type.fields.values()) {
21
+ const fieldState = getOrCreateField(inputObjectTypeState, field.name, field.type);
22
+ field.tags.forEach(tag => fieldState.tags.add(tag));
23
+ if (field.type.endsWith('!') && !fieldState.type.endsWith('!')) {
24
+ fieldState.type = field.type;
25
+ }
26
+ if (field.inaccessible) {
27
+ fieldState.inaccessible = true;
28
+ }
29
+ if (field.description && !fieldState.description) {
30
+ fieldState.description = field.description;
31
+ }
32
+ if (field.deprecated && !fieldState.deprecated) {
33
+ fieldState.deprecated = field.deprecated;
34
+ }
35
+ if (typeof field.defaultValue === 'string') {
36
+ fieldState.defaultValue = field.defaultValue;
37
+ }
38
+ fieldState.byGraph.set(graph.id, {
39
+ type: field.type,
40
+ inaccessible: field.inaccessible,
41
+ defaultValue: field.defaultValue,
42
+ });
43
+ }
44
+ },
45
+ composeSupergraphNode(inputObjectType) {
46
+ return createInputObjectTypeNode({
47
+ name: inputObjectType.name,
48
+ tags: Array.from(inputObjectType.tags),
49
+ inaccessible: inputObjectType.inaccessible,
50
+ description: inputObjectType.description,
51
+ fields: Array.from(inputObjectType.fields.values())
52
+ .filter(field => {
53
+ if (field.byGraph.size !== inputObjectType.byGraph.size) {
54
+ return false;
55
+ }
56
+ return true;
57
+ })
58
+ .map(field => {
59
+ const hasDifferentType = Array.from(field.byGraph.values()).some(f => f.type !== field.type);
60
+ return {
61
+ name: field.name,
62
+ type: field.type,
63
+ tags: Array.from(field.tags),
64
+ inaccessible: field.inaccessible,
65
+ defaultValue: field.defaultValue,
66
+ description: field.description,
67
+ deprecated: field.deprecated,
68
+ join: {
69
+ field: hasDifferentType
70
+ ? Array.from(field.byGraph).map(([graph, fieldByGraph]) => ({
71
+ graph,
72
+ type: fieldByGraph.type,
73
+ }))
74
+ : [],
75
+ },
76
+ };
77
+ }),
78
+ join: {
79
+ type: Array.from(inputObjectType.byGraph.keys()).map(graph => ({ graph })),
80
+ },
81
+ });
82
+ },
83
+ };
84
+ }
85
+ function getOrCreateInputObjectType(state, typeName) {
86
+ const existing = state.get(typeName);
87
+ if (existing) {
88
+ return existing;
89
+ }
90
+ const def = {
91
+ name: typeName,
92
+ tags: new Set(),
93
+ hasDefinition: false,
94
+ inaccessible: false,
95
+ byGraph: new Map(),
96
+ fields: new Map(),
97
+ };
98
+ state.set(typeName, def);
99
+ return def;
100
+ }
101
+ function getOrCreateField(objectTypeState, fieldName, fieldType) {
102
+ const existing = objectTypeState.fields.get(fieldName);
103
+ if (existing) {
104
+ return existing;
105
+ }
106
+ const def = {
107
+ name: fieldName,
108
+ type: fieldType,
109
+ tags: new Set(),
110
+ inaccessible: false,
111
+ byGraph: new Map(),
112
+ };
113
+ objectTypeState.fields.set(fieldName, def);
114
+ return def;
115
+ }
@@ -0,0 +1,222 @@
1
+ import { createInterfaceTypeNode } from './ast.js';
2
+ import { convertToConst } from './common.js';
3
+ export function interfaceTypeBuilder() {
4
+ return {
5
+ visitSubgraphState(graph, state, typeName, type) {
6
+ const interfaceTypeState = getOrCreateInterfaceType(state, typeName);
7
+ type.tags.forEach(tag => interfaceTypeState.tags.add(tag));
8
+ if (type.inaccessible) {
9
+ interfaceTypeState.inaccessible = true;
10
+ }
11
+ if (type.isDefinition) {
12
+ interfaceTypeState.hasDefinition = true;
13
+ }
14
+ if (type.description && !interfaceTypeState.description) {
15
+ interfaceTypeState.description = type.description;
16
+ }
17
+ type.ast.directives.forEach(directive => {
18
+ interfaceTypeState.ast.directives.push(directive);
19
+ });
20
+ type.interfaces.forEach(interfaceName => interfaceTypeState.interfaces.add(interfaceName));
21
+ type.implementedBy.forEach(objectTypeName => interfaceTypeState.implementedBy.add(objectTypeName));
22
+ interfaceTypeState.byGraph.set(graph.id, {
23
+ extension: type.extension,
24
+ keys: type.keys,
25
+ interfaces: type.interfaces,
26
+ implementedBy: type.implementedBy,
27
+ });
28
+ for (const field of type.fields.values()) {
29
+ const fieldState = getOrCreateInterfaceField(interfaceTypeState, field.name, field.type);
30
+ field.tags.forEach(tag => fieldState.tags.add(tag));
31
+ if (!field.type.endsWith('!') && fieldState.type.endsWith('!')) {
32
+ fieldState.type = field.type;
33
+ }
34
+ if (field.inaccessible) {
35
+ fieldState.inaccessible = true;
36
+ }
37
+ if (field.deprecated && !fieldState.deprecated) {
38
+ fieldState.deprecated = field.deprecated;
39
+ }
40
+ if (field.description && !fieldState.description) {
41
+ fieldState.description = field.description;
42
+ }
43
+ field.ast.directives.forEach(directive => {
44
+ fieldState.ast.directives.push(directive);
45
+ });
46
+ fieldState.byGraph.set(graph.id, {
47
+ type: field.type,
48
+ override: field.override,
49
+ provides: field.provides,
50
+ requires: field.requires,
51
+ });
52
+ for (const arg of field.args.values()) {
53
+ const argState = getOrCreateArg(fieldState, arg.name, arg.type);
54
+ arg.tags.forEach(tag => argState.tags.add(tag));
55
+ if (arg.type.endsWith('!')) {
56
+ argState.type = arg.type;
57
+ }
58
+ if (arg.deprecated && !argState.deprecated) {
59
+ argState.deprecated = arg.deprecated;
60
+ }
61
+ if (arg.description && !argState.description) {
62
+ argState.description = arg.description;
63
+ }
64
+ if (typeof arg.defaultValue === 'string') {
65
+ argState.defaultValue = arg.defaultValue;
66
+ }
67
+ arg.ast.directives.forEach(directive => {
68
+ argState.ast.directives.push(directive);
69
+ });
70
+ argState.byGraph.set(graph.id, {
71
+ type: arg.type,
72
+ defaultValue: arg.defaultValue,
73
+ });
74
+ }
75
+ }
76
+ },
77
+ composeSupergraphNode(interfaceType, graphs) {
78
+ return createInterfaceTypeNode({
79
+ name: interfaceType.name,
80
+ fields: Array.from(interfaceType.fields.values()).map(field => {
81
+ return {
82
+ name: field.name,
83
+ type: field.type,
84
+ inaccessible: field.inaccessible,
85
+ tags: Array.from(field.tags),
86
+ deprecated: field.deprecated,
87
+ description: field.description,
88
+ ast: {
89
+ directives: convertToConst(field.ast.directives),
90
+ },
91
+ arguments: Array.from(field.args.values())
92
+ .filter(arg => {
93
+ if (arg.byGraph.size !== field.byGraph.size) {
94
+ return false;
95
+ }
96
+ return true;
97
+ })
98
+ .map(arg => {
99
+ return {
100
+ name: arg.name,
101
+ type: arg.type,
102
+ tags: Array.from(arg.tags),
103
+ defaultValue: arg.defaultValue,
104
+ deprecated: arg.deprecated,
105
+ description: arg.description,
106
+ ast: {
107
+ directives: convertToConst(arg.ast.directives),
108
+ },
109
+ };
110
+ }),
111
+ join: {
112
+ field: field.byGraph.size === interfaceType.byGraph.size
113
+ ? []
114
+ : Array.from(field.byGraph.entries()).map(([graphName, meta]) => ({
115
+ graph: graphName.toUpperCase(),
116
+ type: meta.type === field.type ? undefined : meta.type,
117
+ override: meta.override ?? undefined,
118
+ provides: meta.provides ?? undefined,
119
+ requires: meta.requires ?? undefined,
120
+ })),
121
+ },
122
+ };
123
+ }),
124
+ tags: Array.from(interfaceType.tags),
125
+ inaccessible: interfaceType.inaccessible,
126
+ description: interfaceType.description,
127
+ interfaces: Array.from(interfaceType.interfaces),
128
+ ast: {
129
+ directives: convertToConst(interfaceType.ast.directives),
130
+ },
131
+ join: {
132
+ type: Array.from(interfaceType.byGraph)
133
+ .map(([graphId, meta]) => {
134
+ if (meta.keys.length && graphs.get(graphId).version !== 'v1.0') {
135
+ return meta.keys.map(key => ({
136
+ graph: graphId,
137
+ key: key.fields,
138
+ extension: meta.extension,
139
+ }));
140
+ }
141
+ return [
142
+ {
143
+ graph: graphId,
144
+ },
145
+ ];
146
+ })
147
+ .flat(1),
148
+ implements: interfaceType.interfaces.size > 0
149
+ ? Array.from(interfaceType.byGraph.entries())
150
+ .map(([graphId, meta]) => {
151
+ if (meta.interfaces.size) {
152
+ return Array.from(meta.interfaces).map(iface => ({
153
+ graph: graphId,
154
+ interface: iface,
155
+ }));
156
+ }
157
+ return [];
158
+ })
159
+ .flat(1)
160
+ : [],
161
+ },
162
+ });
163
+ },
164
+ };
165
+ }
166
+ function getOrCreateInterfaceType(state, typeName) {
167
+ const existing = state.get(typeName);
168
+ if (existing) {
169
+ return existing;
170
+ }
171
+ const def = {
172
+ name: typeName,
173
+ tags: new Set(),
174
+ inaccessible: false,
175
+ hasDefinition: false,
176
+ byGraph: new Map(),
177
+ fields: new Map(),
178
+ interfaces: new Set(),
179
+ implementedBy: new Set(),
180
+ ast: {
181
+ directives: [],
182
+ },
183
+ };
184
+ state.set(typeName, def);
185
+ return def;
186
+ }
187
+ function getOrCreateInterfaceField(interfaceTypeState, fieldName, fieldType) {
188
+ const existing = interfaceTypeState.fields.get(fieldName);
189
+ if (existing) {
190
+ return existing;
191
+ }
192
+ const def = {
193
+ name: fieldName,
194
+ type: fieldType,
195
+ tags: new Set(),
196
+ inaccessible: false,
197
+ byGraph: new Map(),
198
+ args: new Map(),
199
+ ast: {
200
+ directives: [],
201
+ },
202
+ };
203
+ interfaceTypeState.fields.set(fieldName, def);
204
+ return def;
205
+ }
206
+ function getOrCreateArg(fieldState, argName, argType) {
207
+ const existing = fieldState.args.get(argName);
208
+ if (existing) {
209
+ return existing;
210
+ }
211
+ const def = {
212
+ name: argName,
213
+ type: argType,
214
+ tags: new Set(),
215
+ byGraph: new Map(),
216
+ ast: {
217
+ directives: [],
218
+ },
219
+ };
220
+ fieldState.args.set(argName, def);
221
+ return def;
222
+ }