@hyperscale0/hsx 1.0.0 → 1.0.124

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/CHANGELOG.md +5 -256
  2. package/LICENSE.md +356 -0
  3. package/NOTICE.md +8 -0
  4. package/README.md +44 -44
  5. package/bin/hsx.ts +0 -7
  6. package/dist/bin/hsx.d.ts +0 -4
  7. package/dist/bin/hsx.d.ts.map +1 -1
  8. package/dist/bin/hsx.js +0 -6
  9. package/dist/bin/hsx.js.map +1 -1
  10. package/dist/src/ast.d.ts +113 -308
  11. package/dist/src/ast.d.ts.map +1 -1
  12. package/dist/src/ast.js +7 -71
  13. package/dist/src/ast.js.map +1 -1
  14. package/dist/src/attachment-economics.d.ts +5 -0
  15. package/dist/src/attachment-economics.d.ts.map +1 -0
  16. package/dist/src/attachment-economics.js +55 -0
  17. package/dist/src/attachment-economics.js.map +1 -0
  18. package/dist/src/binding-contract.d.ts +22 -0
  19. package/dist/src/binding-contract.d.ts.map +1 -0
  20. package/dist/src/binding-contract.js +74 -0
  21. package/dist/src/binding-contract.js.map +1 -0
  22. package/dist/src/cli.d.ts +4 -19
  23. package/dist/src/cli.d.ts.map +1 -1
  24. package/dist/src/cli.js +89 -276
  25. package/dist/src/cli.js.map +1 -1
  26. package/dist/src/compile.d.ts +34 -66
  27. package/dist/src/compile.d.ts.map +1 -1
  28. package/dist/src/compile.js +2949 -117
  29. package/dist/src/compile.js.map +1 -1
  30. package/dist/src/cost.d.ts +8 -75
  31. package/dist/src/cost.d.ts.map +1 -1
  32. package/dist/src/cost.js +54 -364
  33. package/dist/src/cost.js.map +1 -1
  34. package/dist/src/diagnostics.d.ts +14 -9
  35. package/dist/src/diagnostics.d.ts.map +1 -1
  36. package/dist/src/diagnostics.js +39 -416
  37. package/dist/src/diagnostics.js.map +1 -1
  38. package/dist/src/examples-bundle.d.ts +3 -0
  39. package/dist/src/examples-bundle.d.ts.map +1 -0
  40. package/dist/src/examples-bundle.js +18 -0
  41. package/dist/src/examples-bundle.js.map +1 -0
  42. package/dist/src/examples.d.ts +10 -0
  43. package/dist/src/examples.d.ts.map +1 -0
  44. package/dist/src/examples.js +2 -0
  45. package/dist/src/examples.js.map +1 -0
  46. package/dist/src/format.d.ts +8 -7
  47. package/dist/src/format.d.ts.map +1 -1
  48. package/dist/src/format.js +9 -175
  49. package/dist/src/format.js.map +1 -1
  50. package/dist/src/header-source.d.ts +3 -0
  51. package/dist/src/header-source.d.ts.map +1 -0
  52. package/dist/src/header-source.js +41 -0
  53. package/dist/src/header-source.js.map +1 -0
  54. package/dist/src/headers.d.ts +64 -0
  55. package/dist/src/headers.d.ts.map +1 -0
  56. package/dist/src/headers.js +167 -0
  57. package/dist/src/headers.js.map +1 -0
  58. package/dist/src/index.d.ts +7 -11
  59. package/dist/src/index.d.ts.map +1 -1
  60. package/dist/src/index.js +4 -9
  61. package/dist/src/index.js.map +1 -1
  62. package/dist/src/keywords.d.ts +56 -0
  63. package/dist/src/keywords.d.ts.map +1 -0
  64. package/dist/src/keywords.js +133 -0
  65. package/dist/src/keywords.js.map +1 -0
  66. package/dist/src/language.d.ts +26 -0
  67. package/dist/src/language.d.ts.map +1 -0
  68. package/dist/src/language.js +440 -0
  69. package/dist/src/language.js.map +1 -0
  70. package/dist/src/lex.d.ts +13 -28
  71. package/dist/src/lex.d.ts.map +1 -1
  72. package/dist/src/lex.js +119 -145
  73. package/dist/src/lex.js.map +1 -1
  74. package/dist/src/parse.d.ts +4 -17
  75. package/dist/src/parse.d.ts.map +1 -1
  76. package/dist/src/parse.js +484 -1036
  77. package/dist/src/parse.js.map +1 -1
  78. package/dist/src/std-bundle.d.ts.map +1 -1
  79. package/dist/src/std-bundle.js +11 -84
  80. package/dist/src/std-bundle.js.map +1 -1
  81. package/dist/src/std-library.d.ts +1 -1
  82. package/dist/src/std-library.d.ts.map +1 -1
  83. package/dist/src/std-library.js +1 -5
  84. package/dist/src/std-library.js.map +1 -1
  85. package/dist/src/tunables.d.ts +7 -0
  86. package/dist/src/tunables.d.ts.map +1 -0
  87. package/dist/src/tunables.js +27 -0
  88. package/dist/src/tunables.js.map +1 -0
  89. package/docs/README.md +528 -26
  90. package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
  91. package/docs/assets/brand/hsx-horizontal.svg +1 -0
  92. package/docs/assets/brand/hsx-stacked-white.svg +1 -0
  93. package/docs/assets/brand/hsx-stacked.svg +1 -0
  94. package/docs/assets/brand/manifest.json +30 -0
  95. package/docs/assets/hsx.svg +11 -0
  96. package/examples/cards.hsx +34 -0
  97. package/examples/collections.hsx +37 -0
  98. package/examples/cost-table.json +633 -385
  99. package/examples/escrow.hsx +24 -0
  100. package/examples/financing.hsx +32 -0
  101. package/examples/insurance.hsx +30 -0
  102. package/examples/lending.hsx +57 -0
  103. package/examples/library.hsx +15 -0
  104. package/examples/marketplace.hsx +32 -0
  105. package/examples/money.hsx +19 -0
  106. package/examples/rental-deposit.hsx +60 -0
  107. package/examples/repair-approval.hsx +44 -0
  108. package/examples/reporting.hsx +28 -0
  109. package/examples/savings.hsx +21 -0
  110. package/examples/serviced.hsx +25 -0
  111. package/examples/wallet.hsx +24 -0
  112. package/package.json +25 -23
  113. package/src/ast.ts +83 -440
  114. package/src/attachment-economics.ts +103 -0
  115. package/src/binding-contract.ts +104 -0
  116. package/src/cli.ts +95 -325
  117. package/src/compile.ts +4063 -209
  118. package/src/cost.ts +71 -574
  119. package/src/diagnostics.ts +57 -437
  120. package/src/examples-bundle.ts +19 -0
  121. package/src/examples.ts +9 -0
  122. package/src/format.ts +12 -256
  123. package/src/header-source.ts +54 -0
  124. package/src/headers.ts +195 -0
  125. package/src/index.ts +18 -33
  126. package/src/keywords.ts +134 -0
  127. package/src/language.ts +629 -0
  128. package/src/lex.ts +131 -192
  129. package/src/parse.ts +489 -1195
  130. package/src/std-bundle.ts +12 -88
  131. package/src/std-library.ts +2 -7
  132. package/src/tunables.ts +36 -0
  133. package/std/cards.hsx +85 -0
  134. package/std/collections.hsx +90 -0
  135. package/std/escrow.hsx +73 -0
  136. package/std/financing.hsx +683 -0
  137. package/std/insurance.hsx +89 -0
  138. package/std/lending.hsx +138 -0
  139. package/std/marketplace.hsx +123 -0
  140. package/std/money.hsx +173 -0
  141. package/std/reporting.hsx +753 -0
  142. package/std/savings.hsx +68 -0
  143. package/std/wallet.hsx +57 -0
  144. package/LICENSE +0 -661
  145. package/LICENSING.md +0 -52
  146. package/TRADEMARKS.md +0 -35
  147. package/dist/src/emit.d.ts +0 -34
  148. package/dist/src/emit.d.ts.map +0 -1
  149. package/dist/src/emit.js +0 -137
  150. package/dist/src/emit.js.map +0 -1
  151. package/dist/src/entry-overrides.d.ts +0 -58
  152. package/dist/src/entry-overrides.d.ts.map +0 -1
  153. package/dist/src/entry-overrides.js +0 -284
  154. package/dist/src/entry-overrides.js.map +0 -1
  155. package/dist/src/ir.d.ts +0 -66
  156. package/dist/src/ir.d.ts.map +0 -1
  157. package/dist/src/ir.js +0 -15
  158. package/dist/src/ir.js.map +0 -1
  159. package/dist/src/limits.d.ts +0 -21
  160. package/dist/src/limits.d.ts.map +0 -1
  161. package/dist/src/limits.js +0 -21
  162. package/dist/src/limits.js.map +0 -1
  163. package/dist/src/lsp/server.d.ts +0 -32
  164. package/dist/src/lsp/server.d.ts.map +0 -1
  165. package/dist/src/lsp/server.js +0 -391
  166. package/dist/src/lsp/server.js.map +0 -1
  167. package/dist/src/modules.d.ts +0 -38
  168. package/dist/src/modules.d.ts.map +0 -1
  169. package/dist/src/modules.js +0 -368
  170. package/dist/src/modules.js.map +0 -1
  171. package/dist/src/typecheck.d.ts +0 -8
  172. package/dist/src/typecheck.d.ts.map +0 -1
  173. package/dist/src/typecheck.js +0 -2958
  174. package/dist/src/typecheck.js.map +0 -1
  175. package/dist/src/version.d.ts +0 -5
  176. package/dist/src/version.d.ts.map +0 -1
  177. package/dist/src/version.js +0 -5
  178. package/dist/src/version.js.map +0 -1
  179. package/docs/guide/01-first-program.md +0 -24
  180. package/docs/guide/02-money.md +0 -25
  181. package/docs/guide/03-instruments.md +0 -22
  182. package/docs/guide/04-lifecycles.md +0 -25
  183. package/docs/guide/05-fees-and-splits.md +0 -45
  184. package/docs/guide/06-schedules.md +0 -22
  185. package/docs/guide/07-composition.md +0 -46
  186. package/docs/guide/08-writing-a-module.md +0 -26
  187. package/docs/guide/09-cost.md +0 -24
  188. package/docs/guide/10-diagnostics.md +0 -27
  189. package/docs/llms-full.txt +0 -1739
  190. package/docs/llms.txt +0 -45
  191. package/docs/playground.md +0 -54
  192. package/docs/reference/cli.md +0 -35
  193. package/docs/reference/diagnostics.md +0 -619
  194. package/docs/reference/grammar.md +0 -39
  195. package/docs/reference/std/advance.md +0 -35
  196. package/docs/reference/std/cancellable_booking.md +0 -35
  197. package/docs/reference/std/captured_payment.md +0 -43
  198. package/docs/reference/std/conditional_disbursement.md +0 -33
  199. package/docs/reference/std/credit_facility.md +0 -35
  200. package/docs/reference/std/held_payment.md +0 -64
  201. package/docs/reference/std/instant_transfer.md +0 -30
  202. package/docs/reference/std/metered.md +0 -27
  203. package/docs/reference/std/pooled_split.md +0 -26
  204. package/docs/reference/std/premium_forward.md +0 -39
  205. package/docs/reference/std/reconciled_payout.md +0 -33
  206. package/docs/reference/std/recurring_collection.md +0 -25
  207. package/docs/reference/std/rotating_pool.md +0 -42
  208. package/docs/reference/std/scheduled.md +0 -51
  209. package/docs/reference/std/security_deposit.md +0 -46
  210. package/docs/reference/std/settlement_batch.md +0 -42
  211. package/docs/reference/std/swap.md +0 -46
  212. package/docs/reference/std/threshold_pool.md +0 -47
  213. package/docs/reference/std/weighted_distribution.md +0 -39
  214. package/docs/reference/types.md +0 -20
  215. package/docs/reference/udl-output.md +0 -13
  216. package/docs/sessions/2026-09-02-two-instruments.hsx +0 -21
  217. package/docs/sessions/2026-09-02-two-instruments.md +0 -41
  218. package/examples/01-first-program/README.md +0 -45
  219. package/examples/01-first-program/tip-jar.hsx +0 -17
  220. package/examples/02-imports-and-archetypes/README.md +0 -96
  221. package/examples/02-imports-and-archetypes/photo-booth.hsx +0 -37
  222. package/examples/03-diagnostics/README.md +0 -68
  223. package/examples/03-diagnostics/corner-shop-fixed.hsx +0 -22
  224. package/examples/03-diagnostics/corner-shop.hsx +0 -19
  225. package/examples/04-complete-product/README.md +0 -84
  226. package/examples/04-complete-product/study-hall.hsx +0 -67
  227. package/examples/05-watch-club/README.md +0 -9
  228. package/examples/05-watch-club/watch-club.hsx +0 -124
  229. package/examples/README.md +0 -18
  230. package/examples/advance/README.md +0 -3
  231. package/examples/advance/advance.hsx +0 -13
  232. package/examples/advance/advance.udl +0 -339
  233. package/examples/cancellable_booking/README.md +0 -3
  234. package/examples/cancellable_booking/cancellable_booking.hsx +0 -14
  235. package/examples/cancellable_booking/cancellable_booking.udl +0 -391
  236. package/examples/captured_payment/README.md +0 -3
  237. package/examples/captured_payment/captured_payment.hsx +0 -21
  238. package/examples/captured_payment/captured_payment.udl +0 -677
  239. package/examples/conditional_disbursement/README.md +0 -3
  240. package/examples/conditional_disbursement/conditional_disbursement.hsx +0 -17
  241. package/examples/conditional_disbursement/conditional_disbursement.udl +0 -412
  242. package/examples/credit_facility/README.md +0 -3
  243. package/examples/credit_facility/credit_facility.hsx +0 -27
  244. package/examples/credit_facility/credit_facility.udl +0 -1373
  245. package/examples/held_payment/README.md +0 -3
  246. package/examples/held_payment/held_payment.hsx +0 -13
  247. package/examples/held_payment/held_payment.udl +0 -507
  248. package/examples/instant_transfer/README.md +0 -3
  249. package/examples/instant_transfer/instant_transfer.hsx +0 -16
  250. package/examples/instant_transfer/instant_transfer.udl +0 -364
  251. package/examples/metered/README.md +0 -3
  252. package/examples/metered/metered.hsx +0 -13
  253. package/examples/metered/metered.udl +0 -247
  254. package/examples/pooled_split/README.md +0 -3
  255. package/examples/pooled_split/pooled_split.hsx +0 -15
  256. package/examples/pooled_split/pooled_split.udl +0 -425
  257. package/examples/premium_forward/README.md +0 -3
  258. package/examples/premium_forward/premium_forward.hsx +0 -19
  259. package/examples/premium_forward/premium_forward.udl +0 -594
  260. package/examples/reconciled_payout/README.md +0 -3
  261. package/examples/reconciled_payout/reconciled_payout.hsx +0 -13
  262. package/examples/reconciled_payout/reconciled_payout.udl +0 -303
  263. package/examples/recurring_collection/README.md +0 -3
  264. package/examples/recurring_collection/recurring_collection.hsx +0 -21
  265. package/examples/recurring_collection/recurring_collection.udl +0 -1130
  266. package/examples/rotating_pool/README.md +0 -3
  267. package/examples/rotating_pool/rotating_pool.hsx +0 -18
  268. package/examples/rotating_pool/rotating_pool.udl +0 -4352
  269. package/examples/scheduled/README.md +0 -3
  270. package/examples/scheduled/scheduled.hsx +0 -12
  271. package/examples/scheduled/scheduled.udl +0 -335
  272. package/examples/security_deposit/README.md +0 -3
  273. package/examples/security_deposit/security_deposit.hsx +0 -21
  274. package/examples/security_deposit/security_deposit.udl +0 -293
  275. package/examples/settlement_batch/README.md +0 -3
  276. package/examples/settlement_batch/settlement_batch.hsx +0 -19
  277. package/examples/settlement_batch/settlement_batch.udl +0 -753
  278. package/examples/swap/README.md +0 -3
  279. package/examples/swap/swap.hsx +0 -19
  280. package/examples/swap/swap.udl +0 -876
  281. package/examples/threshold_pool/README.md +0 -3
  282. package/examples/threshold_pool/threshold_pool.hsx +0 -16
  283. package/examples/threshold_pool/threshold_pool.udl +0 -667
  284. package/examples/weighted_distribution/README.md +0 -3
  285. package/examples/weighted_distribution/weighted_distribution.hsx +0 -20
  286. package/examples/weighted_distribution/weighted_distribution.udl +0 -337
  287. package/skills/hsx/SKILL.md +0 -483
  288. package/src/emit.ts +0 -201
  289. package/src/entry-overrides.ts +0 -428
  290. package/src/ir.ts +0 -99
  291. package/src/limits.ts +0 -20
  292. package/src/lsp/server.ts +0 -460
  293. package/src/modules.ts +0 -446
  294. package/src/typecheck.ts +0 -3876
  295. package/src/version.ts +0 -5
  296. package/std/SEMANTICS.md +0 -130
  297. package/std/settlements/advance.hsx +0 -177
  298. package/std/settlements/cancellable_booking.hsx +0 -87
  299. package/std/settlements/captured_payment.hsx +0 -144
  300. package/std/settlements/conditional_disbursement.hsx +0 -185
  301. package/std/settlements/credit_facility.hsx +0 -167
  302. package/std/settlements/held_payment.hsx +0 -578
  303. package/std/settlements/index.hsx +0 -3
  304. package/std/settlements/instant_transfer.hsx +0 -190
  305. package/std/settlements/metered.hsx +0 -67
  306. package/std/settlements/pooled_split.hsx +0 -68
  307. package/std/settlements/premium_forward.hsx +0 -257
  308. package/std/settlements/reconciled_payout.hsx +0 -77
  309. package/std/settlements/recurring_collection.hsx +0 -27
  310. package/std/settlements/rotating_pool.hsx +0 -252
  311. package/std/settlements/scheduled.hsx +0 -641
  312. package/std/settlements/security_deposit.hsx +0 -166
  313. package/std/settlements/settlement_batch.hsx +0 -122
  314. package/std/settlements/swap.hsx +0 -1114
  315. package/std/settlements/threshold_pool.hsx +0 -221
  316. package/std/settlements/weighted_distribution.hsx +0 -141
@@ -0,0 +1,133 @@
1
+ /** Business explanations shared by every HSX editor. */
2
+ export const KEYWORD_HELP = {
3
+ program: [
4
+ "Names the financial product and gives it a title.",
5
+ "Product contract",
6
+ ],
7
+ header: ["Names a reusable library of instruments."],
8
+ use: ["Makes a header's instruments available to this program."],
9
+ party: [
10
+ "Declares a person, business or staff party. Staff authority requires a permission role.",
11
+ "Parties",
12
+ ],
13
+ role: ["Names the responsibility a declared party has in this product."],
14
+ currency: ["Declares SAR, the currency supported by this compiler."],
15
+ instrument: [
16
+ "Defines an agreement's fields, states and permitted actions.",
17
+ "Instruments",
18
+ ],
19
+ fields: ["Declares the values an object or agreement retains.", "Fields"],
20
+ lifecycle: [
21
+ "Lists the agreement's possible states and its starting state.",
22
+ "Lifecycle",
23
+ ],
24
+ action: [
25
+ "Defines an operation that can change an agreement or move money.",
26
+ "Actions",
27
+ ],
28
+ expose: [
29
+ "Makes an attached action available under a public name.",
30
+ "Object action bindings",
31
+ ],
32
+ hide: ["Removes an action from the program's public actions."],
33
+ as: ["Gives an exposed action its public name."],
34
+ cap: ["Limits a percentage charge to a maximum money amount.", "Capped rate"],
35
+ of: [
36
+ "Names the owner of an account, or the records included in a count or sum.",
37
+ ],
38
+ when: [
39
+ "Includes clauses for a selected enum value or a field present on a bound reference.",
40
+ ],
41
+ constraints: [
42
+ "Requires parameter values to agree with each other before the program can be used.",
43
+ ],
44
+ requires: [
45
+ "Rejects an action unless the stated condition holds.",
46
+ "Requirements",
47
+ ],
48
+ invariants: [
49
+ "States conditions that the agreement must preserve.",
50
+ "Invariants",
51
+ ],
52
+ moves: [
53
+ "Declares a transfer, reservation, posting or release of money.",
54
+ "Moves",
55
+ ],
56
+ from: [
57
+ "Names the account money leaves, or the state an action can start from.",
58
+ ],
59
+ to: ["Names the account money reaches, or the state an action enters."],
60
+ in: [
61
+ "Requires a referenced agreement to be in one of the listed states.",
62
+ "State requirement",
63
+ ],
64
+ is: ["Selects rules for one named parameter choice."],
65
+ has: ["Selects clauses when a bound reference declares the named field."],
66
+ family: ["Names an instrument family or the family of an evidence check."],
67
+ check: ["Names the provider check whose evidence the action requires."],
68
+ result: ["Names the required outcome of an evidence check."],
69
+ maxAge: ["Limits how old the required evidence may be."],
70
+ instruction: ["Binds evidence to the captured boundary instruction."],
71
+ boundary: ["Dispatches a reserved move through a bound ADL adapter."],
72
+ key: ["Names a move within its action."],
73
+ unique: [
74
+ "Rejects a repeated combination of values in the named namespace.",
75
+ "Unique requirement",
76
+ ],
77
+ on: ["Lists the fields whose combined values must be unique."],
78
+ count: [
79
+ "Limits how many selected records may exist.",
80
+ "Aggregate requirement",
81
+ ],
82
+ sum: [
83
+ "Limits the total value of a field across selected records.",
84
+ "Aggregate requirement",
85
+ ],
86
+ hours: [
87
+ "Allows an action only within the stated local hours.",
88
+ "Hours requirement",
89
+ ],
90
+ between: ["Introduces the opening time of an allowed time window."],
91
+ and: ["Introduces the closing time of an allowed time window."],
92
+ timezone: ["Chooses the timezone used to evaluate allowed hours."],
93
+ evidence: [
94
+ "Requires evidence about the subject with the stated check and result.",
95
+ "Evidence requirement",
96
+ ],
97
+ reserve: [
98
+ "Holds money for later posting or release.",
99
+ "internal_transfer.reserve",
100
+ ],
101
+ post: ["Completes a previously reserved transfer.", "internal_transfer.post"],
102
+ void: [
103
+ "Releases a previously reserved transfer without paying its recipient.",
104
+ "internal_transfer.void",
105
+ ],
106
+ capture: ["Stores the transfer reference for a later posting or release."],
107
+ fee: ["Applies the stated charges to a money movement.", "Move fees"],
108
+ shares: [
109
+ "Divides a money movement among the listed recipients.",
110
+ "Move shares",
111
+ ],
112
+ object: [
113
+ "Declares a business object with fields and attached agreements.",
114
+ "Subjects",
115
+ ],
116
+ attach: [
117
+ "Adds an instrument to an object and binds its parameters.",
118
+ "Subject attachments",
119
+ ],
120
+ subject: [
121
+ "Declares object fields that an action requires before it can run.",
122
+ "Subject requirements",
123
+ ],
124
+ rename: [
125
+ "Changes the names of fields exposed by an attachment.",
126
+ "Attachment field mappings",
127
+ ],
128
+ columns: [
129
+ "Selects the fields shown when listing objects.",
130
+ "Presentation columns",
131
+ ],
132
+ };
133
+ //# sourceMappingURL=keywords.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"keywords.js","sourceRoot":"","sources":["../../src/keywords.ts"],"names":[],"mappings":"AAEA,wDAAwD;AACxD,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE;QACP,mDAAmD;QACnD,kBAAkB;KACnB;IACD,MAAM,EAAE,CAAC,0CAA0C,CAAC;IACpD,GAAG,EAAE,CAAC,yDAAyD,CAAC;IAChE,KAAK,EAAE;QACL,yFAAyF;QACzF,SAAS;KACV;IACD,IAAI,EAAE,CAAC,gEAAgE,CAAC;IACxE,QAAQ,EAAE,CAAC,wDAAwD,CAAC;IACpE,UAAU,EAAE;QACV,8DAA8D;QAC9D,aAAa;KACd;IACD,MAAM,EAAE,CAAC,qDAAqD,EAAE,QAAQ,CAAC;IACzE,SAAS,EAAE;QACT,+DAA+D;QAC/D,WAAW;KACZ;IACD,MAAM,EAAE;QACN,kEAAkE;QAClE,SAAS;KACV;IACD,MAAM,EAAE;QACN,yDAAyD;QACzD,wBAAwB;KACzB;IACD,IAAI,EAAE,CAAC,sDAAsD,CAAC;IAC9D,EAAE,EAAE,CAAC,0CAA0C,CAAC;IAChD,GAAG,EAAE,CAAC,uDAAuD,EAAE,aAAa,CAAC;IAC7E,EAAE,EAAE;QACF,2EAA2E;KAC5E;IACD,IAAI,EAAE;QACJ,qFAAqF;KACtF;IACD,WAAW,EAAE;QACX,oFAAoF;KACrF;IACD,QAAQ,EAAE;QACR,sDAAsD;QACtD,cAAc;KACf;IACD,UAAU,EAAE;QACV,qDAAqD;QACrD,YAAY;KACb;IACD,KAAK,EAAE;QACL,gEAAgE;QAChE,OAAO;KACR;IACD,IAAI,EAAE;QACJ,wEAAwE;KACzE;IACD,EAAE,EAAE,CAAC,iEAAiE,CAAC;IACvE,EAAE,EAAE;QACF,oEAAoE;QACpE,mBAAmB;KACpB;IACD,EAAE,EAAE,CAAC,+CAA+C,CAAC;IACrD,GAAG,EAAE,CAAC,kEAAkE,CAAC;IACzE,MAAM,EAAE,CAAC,gEAAgE,CAAC;IAC1E,KAAK,EAAE,CAAC,8DAA8D,CAAC;IACvE,MAAM,EAAE,CAAC,kDAAkD,CAAC;IAC5D,MAAM,EAAE,CAAC,8CAA8C,CAAC;IACxD,WAAW,EAAE,CAAC,sDAAsD,CAAC;IACrE,QAAQ,EAAE,CAAC,yDAAyD,CAAC;IACrE,GAAG,EAAE,CAAC,iCAAiC,CAAC;IACxC,MAAM,EAAE;QACN,kEAAkE;QAClE,oBAAoB;KACrB;IACD,EAAE,EAAE,CAAC,wDAAwD,CAAC;IAC9D,KAAK,EAAE;QACL,6CAA6C;QAC7C,uBAAuB;KACxB;IACD,GAAG,EAAE;QACH,4DAA4D;QAC5D,uBAAuB;KACxB;IACD,KAAK,EAAE;QACL,sDAAsD;QACtD,mBAAmB;KACpB;IACD,OAAO,EAAE,CAAC,wDAAwD,CAAC;IACnE,GAAG,EAAE,CAAC,wDAAwD,CAAC;IAC/D,QAAQ,EAAE,CAAC,sDAAsD,CAAC;IAClE,QAAQ,EAAE;QACR,uEAAuE;QACvE,sBAAsB;KACvB;IACD,OAAO,EAAE;QACP,2CAA2C;QAC3C,2BAA2B;KAC5B;IACD,IAAI,EAAE,CAAC,2CAA2C,EAAE,wBAAwB,CAAC;IAC7E,IAAI,EAAE;QACJ,uEAAuE;QACvE,wBAAwB;KACzB;IACD,OAAO,EAAE,CAAC,+DAA+D,CAAC;IAC1E,GAAG,EAAE,CAAC,iDAAiD,EAAE,WAAW,CAAC;IACrE,MAAM,EAAE;QACN,uDAAuD;QACvD,aAAa;KACd;IACD,MAAM,EAAE;QACN,iEAAiE;QACjE,UAAU;KACX;IACD,MAAM,EAAE;QACN,2DAA2D;QAC3D,qBAAqB;KACtB;IACD,OAAO,EAAE;QACP,mEAAmE;QACnE,sBAAsB;KACvB;IACD,MAAM,EAAE;QACN,uDAAuD;QACvD,2BAA2B;KAC5B;IACD,OAAO,EAAE;QACP,gDAAgD;QAChD,sBAAsB;KACvB;CACsE,CAAC"}
@@ -0,0 +1,26 @@
1
+ import type { Span } from "./ast.ts";
2
+ import { type StandardLibrary } from "./std-library.ts";
3
+ export type { StandardLibrary } from "./std-library.ts";
4
+ export type HsxTokenClass = "keyword" | "header" | "instrument" | "action" | "party" | "role" | "field" | "parameter" | "type" | "state" | "money" | "number" | "percent" | "duration" | "date" | "string" | "comment" | "operator" | "punctuation" | "name";
5
+ export interface HsxHighlight {
6
+ start: number;
7
+ end: number;
8
+ class: HsxTokenClass;
9
+ }
10
+ export interface HsxHover {
11
+ span: Span;
12
+ kind: HsxTokenClass;
13
+ title: string;
14
+ signature?: string;
15
+ summary: string;
16
+ details?: {
17
+ label: string;
18
+ value: string;
19
+ }[];
20
+ header?: string;
21
+ }
22
+ /** Total, sorted, non-overlapping UTF-16 spans, including incomplete source. */
23
+ export declare function highlight(source: string, library?: StandardLibrary): HsxHighlight[];
24
+ /** Offsets use half-open UTF-16 spans. Whitespace and out-of-range offsets return null. */
25
+ export declare function describe(source: string, offset: number, library?: StandardLibrary): HsxHover | null;
26
+ //# sourceMappingURL=language.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"language.d.ts","sourceRoot":"","sources":["../../src/language.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,IAAI,EAAE,MAAM,UAAU,CAAC;AAKlD,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAChF,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,MAAM,aAAa,GACrB,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,QAAQ,GACR,OAAO,GACP,MAAM,GACN,OAAO,GACP,WAAW,GACX,MAAM,GACN,OAAO,GACP,OAAO,GACP,QAAQ,GACR,SAAS,GACT,UAAU,GACV,MAAM,GACN,QAAQ,GACR,SAAS,GACT,UAAU,GACV,aAAa,GACb,MAAM,CAAC;AACX,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,aAAa,CAAC;CACtB;AACD,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AA6iBD,gFAAgF;AAChF,wBAAgB,SAAS,CACvB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAwC,GAChD,YAAY,EAAE,CAEhB;AACD,2FAA2F;AAC3F,wBAAgB,QAAQ,CACtB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAwC,GAChD,QAAQ,GAAG,IAAI,CAiBjB"}
@@ -0,0 +1,440 @@
1
+ import { headerManifest } from "./headers.js";
2
+ import { KEYWORD_HELP } from "./keywords.js";
3
+ import { KEYWORDS, scan } from "./lex.js";
4
+ import { parseProgram } from "./parse.js";
5
+ import { bundledStandardLibrary } from "./std-library.js";
6
+ const keywords = new Set(KEYWORDS);
7
+ const types = new Set([
8
+ "money",
9
+ "account",
10
+ "ref",
11
+ "date",
12
+ "duration",
13
+ "text",
14
+ "integer",
15
+ "percent",
16
+ "boolean",
17
+ "enum",
18
+ "list",
19
+ "policy",
20
+ ]);
21
+ // Cache by source bytes, not library identity: callers can edit their own headers.
22
+ const headerCache = new Map();
23
+ function header(name, library) {
24
+ try {
25
+ const source = library.source(name);
26
+ if (!source)
27
+ return;
28
+ const cached = headerCache.get(name);
29
+ if (cached?.source === source)
30
+ return cached.value;
31
+ let value;
32
+ try {
33
+ value = headerManifest({ source: () => source }, [name]).headers[0];
34
+ }
35
+ catch {
36
+ /* Half-written headers have no metadata yet. */
37
+ }
38
+ if (headerCache.size >= 64)
39
+ headerCache.clear();
40
+ headerCache.set(name, { source, value });
41
+ return value;
42
+ }
43
+ catch {
44
+ return;
45
+ }
46
+ }
47
+ function instrumentHelp(object, owner) {
48
+ return {
49
+ kind: "instrument",
50
+ title: object.qualifiedName,
51
+ header: owner,
52
+ signature: object.signature,
53
+ summary: object.summary,
54
+ details: [
55
+ ...object.tunables.map((t) => ({
56
+ label: t.name,
57
+ value: `${t.type}${t.default === undefined ? "" : ` = ${t.default}`}${"minimum" in t ? `; bounds ${t.minimum} to ${t.maximum} in UDL units` : ""}`,
58
+ })),
59
+ ...(object.states.length
60
+ ? [{ label: "States", value: object.states.join(", ") }]
61
+ : []),
62
+ ...object.actions.map((a) => ({
63
+ label: a.name,
64
+ value: `${a.summary} Actor: ${a.actor}`,
65
+ })),
66
+ ],
67
+ };
68
+ }
69
+ function analyze(source, library) {
70
+ const all = scan(source).tokens.filter((t) => t.kind !== "eof");
71
+ const tokens = all.filter((t) => t.kind !== "comment");
72
+ const helps = new Map();
73
+ const classes = new Map();
74
+ const bindings = new Map();
75
+ const imports = new Map();
76
+ const headerHelp = new Map();
77
+ const whole = { start: 0, end: source.length };
78
+ const text = (span) => source.slice(span.start, span.end);
79
+ const mark = (token, kind, help) => {
80
+ if (!token || token.kind !== "name")
81
+ return;
82
+ classes.set(token.span.start, kind);
83
+ if (help)
84
+ helps.set(token.span.start, help);
85
+ };
86
+ const bind = (name, scope, declaration, help, keysOnly = false, namespace) => {
87
+ const list = bindings.get(name) ?? [];
88
+ list.push({
89
+ scope,
90
+ declaration,
91
+ help,
92
+ keysOnly,
93
+ ...(namespace ? { namespace } : {}),
94
+ });
95
+ bindings.set(name, list);
96
+ };
97
+ const atStart = new Map(tokens.map((t, i) => [t.span.start, i]));
98
+ const after = (span) => tokens[(atStart.get(span.start) ?? -2) + 1];
99
+ const declared = (name, kind, scope, span, signature, summary, namespace) => {
100
+ const help = {
101
+ kind,
102
+ title: name,
103
+ signature,
104
+ summary,
105
+ details: [{ label: "Declared at", value: `UTF-16 offset ${span.start}` }],
106
+ };
107
+ bind(name, scope, span.start, help, false, namespace);
108
+ return help;
109
+ };
110
+ // These contexts also survive missing braces and unfinished declarations.
111
+ for (let i = 0; i < tokens.length; i++) {
112
+ const token = tokens[i];
113
+ const previous = tokens[i - 1]?.text;
114
+ if (previous === "use") {
115
+ const value = header(token.text, library);
116
+ if (value)
117
+ imports.set(token.text, value);
118
+ mark(token, "header", value
119
+ ? {
120
+ kind: "header",
121
+ title: value.name,
122
+ header: value.name,
123
+ summary: value.objects
124
+ .map((o) => o.summary)
125
+ .slice(0, 2)
126
+ .join(" "),
127
+ details: value.objects.map((o) => ({
128
+ label: o.qualifiedName,
129
+ value: o.summary,
130
+ })),
131
+ }
132
+ : undefined);
133
+ const help = helps.get(token.span.start);
134
+ if (help)
135
+ headerHelp.set(token.text, help);
136
+ }
137
+ if (previous === "program" ||
138
+ previous === "object" ||
139
+ previous === "header")
140
+ mark(token, previous === "header" ? "header" : "name");
141
+ if (previous === "party" && tokens[i + 1]?.text === ":") {
142
+ mark(token, "party", declared(token.text, "party", whole, token.span, `${token.text}: ${tokens[i + 2]?.text ?? ""}`, `Declared party ${token.text}.`));
143
+ }
144
+ if (previous === "role")
145
+ mark(token, "role", declared(token.text, "role", whole, token.span, token.text, `Party role ${token.text}.`));
146
+ if (previous === "instrument" ||
147
+ previous === "action" ||
148
+ previous === "attach" ||
149
+ previous === "expose" ||
150
+ previous === "hide" ||
151
+ previous === "as")
152
+ mark(token, previous === "instrument" || previous === "attach"
153
+ ? "instrument"
154
+ : "action");
155
+ if (["owner", "actor", "operator"].includes(token.text) &&
156
+ tokens[i + 1]?.text !== ":")
157
+ mark(token, "role", {
158
+ kind: "role",
159
+ title: token.text,
160
+ summary: token.text === "owner"
161
+ ? "The party that owns this object."
162
+ : token.text === "actor"
163
+ ? "The authenticated party performing this action."
164
+ : "The party operating this product.",
165
+ });
166
+ }
167
+ const attachment = (target, scope) => {
168
+ const [owner, name] = target.split(".");
169
+ const object = imports
170
+ .get(owner ?? "")
171
+ ?.objects.find((o) => o.name === name);
172
+ if (!object)
173
+ return;
174
+ for (const parameter of object.tunables)
175
+ bind(parameter.name, scope, scope.start, {
176
+ kind: "parameter",
177
+ title: parameter.name,
178
+ header: owner,
179
+ summary: `Parameter of ${object.qualifiedName}.`,
180
+ signature: `${parameter.name}: ${parameter.type}${parameter.default === undefined ? "" : ` = ${parameter.default}`}`,
181
+ details: "minimum" in parameter
182
+ ? [
183
+ {
184
+ label: "Bounds in UDL units",
185
+ value: `${parameter.minimum} to ${parameter.maximum}`,
186
+ },
187
+ ]
188
+ : [],
189
+ }, true);
190
+ for (const action of object.actions)
191
+ bind(action.name, scope, scope.start, {
192
+ kind: "action",
193
+ title: action.name,
194
+ header: owner,
195
+ summary: action.summary,
196
+ details: [{ label: "Actor", value: action.actor }],
197
+ });
198
+ };
199
+ const ends = new Map();
200
+ const stack = [];
201
+ for (let i = 0; i < tokens.length; i++) {
202
+ if (tokens[i].text === "{")
203
+ stack.push(i);
204
+ if (tokens[i].text === "}") {
205
+ const start = stack.pop();
206
+ if (start !== undefined)
207
+ ends.set(start, tokens[i].span.end);
208
+ }
209
+ }
210
+ let parentheses = 0;
211
+ for (let i = 0; i < tokens.length; i++) {
212
+ const token = tokens[i];
213
+ if (token.text === "(")
214
+ parentheses++;
215
+ if (token.text === ")")
216
+ parentheses = Math.max(0, parentheses - 1);
217
+ if (parentheses && tokens[i + 1]?.text === ":")
218
+ mark(token, "parameter");
219
+ if (token.text === "{" &&
220
+ tokens[i - 2]?.text === "." &&
221
+ tokens[i - 4]?.text === "=") {
222
+ attachment(`${tokens[i - 3].text}.${tokens[i - 1].text}`, {
223
+ start: token.span.start,
224
+ end: ends.get(i) ?? source.length,
225
+ });
226
+ }
227
+ }
228
+ const entryHelp = (entry, kind, scope, namespace) => {
229
+ const help = declared(entry.key, kind, scope, entry.span, text(entry.span), `${kind === "parameter" ? "Parameter" : "Field"} ${entry.key} is declared here.`, namespace);
230
+ mark(tokens[atStart.get(entry.span.start) ?? -1], kind, help);
231
+ };
232
+ const walk = (expr, scope, context = "") => {
233
+ if (expr.kind === "block") {
234
+ for (const entry of expr.entries) {
235
+ if (["fields", "input", "subject"].includes(context))
236
+ entryHelp(entry, "field", scope, context === "fields" ? "self" : context);
237
+ if (entry.key.startsWith("action ")) {
238
+ const name = entry.key.slice(7);
239
+ const slots = entry.value.kind === "block" ? entry.value.entries : [];
240
+ const summary = slots.find((e) => e.key === "summary")?.value;
241
+ const actor = slots.find((e) => e.key === "actor")?.value;
242
+ const help = declared(name, "action", scope, entry.span, `action ${name}`, summary?.kind === "text"
243
+ ? summary.value
244
+ : `Action ${name} on this agreement.`);
245
+ if (actor)
246
+ help.details.push({ label: "Actor", value: text(actor.span) });
247
+ mark(after(entry.span), "action", help);
248
+ walk(entry.value, entry.value.span);
249
+ }
250
+ else if (entry.key.startsWith("attach ") &&
251
+ entry.value.kind === "block") {
252
+ const [, name, , target] = entry.key.split(" ");
253
+ const help = declared(name, "instrument", scope, entry.span, `${name} = ${target}`, `Attachment of ${target}.`);
254
+ mark(after(entry.span), "instrument", help);
255
+ walk(entry.value, entry.value.span);
256
+ }
257
+ else {
258
+ if (context === "lifecycle" &&
259
+ entry.key === "states" &&
260
+ entry.value.kind === "list") {
261
+ for (const state of entry.value.items)
262
+ if (state.kind === "name")
263
+ declared(state.value, "state", scope, state.span, state.value, `Lifecycle state ${state.value}.`);
264
+ }
265
+ walk(entry.value, context === "records" ? entry.value.span : scope, entry.key);
266
+ }
267
+ }
268
+ }
269
+ else if (expr.kind === "list")
270
+ for (const item of expr.items)
271
+ walk(item, scope, context);
272
+ else if (expr.kind === "call")
273
+ for (const arg of expr.args)
274
+ walk(arg, scope);
275
+ else if (expr.kind === "default") {
276
+ walk(expr.type, scope);
277
+ walk(expr.value, scope);
278
+ }
279
+ else if (expr.kind === "capped") {
280
+ walk(expr.rate, scope);
281
+ walk(expr.cap, scope);
282
+ }
283
+ };
284
+ // The parser owns declarations and scopes. A parse failure leaves lexical context intact.
285
+ try {
286
+ const parsed = parseProgram(source);
287
+ for (const decl of parsed.program.decls) {
288
+ if (decl.kind === "instrument") {
289
+ const summary = decl.body.entries.find((e) => e.key === "summary")?.value;
290
+ const help = declared(decl.name, "instrument", whole, decl.span, source
291
+ .slice(decl.span.start, decl.body.span.start)
292
+ .replace(/^instrument\s+/, "")
293
+ .trim(), summary?.kind === "text"
294
+ ? summary.value
295
+ : `Instrument ${decl.name} declared in this program.`);
296
+ mark(after(decl.span), "instrument", help);
297
+ for (const parameter of decl.parameters)
298
+ entryHelp(parameter, "parameter", decl.span);
299
+ walk(decl.body, decl.span);
300
+ }
301
+ else if (decl.kind === "object") {
302
+ mark(after(decl.span), "name", declared(decl.name, "name", whole, decl.span, `object ${decl.name}`, decl.title));
303
+ walk(decl.body, decl.span);
304
+ }
305
+ else if (decl.kind === "assignment") {
306
+ declared(decl.name, "instrument", whole, decl.span, `${decl.name} = ${decl.target}`, `Instance of ${decl.target}.`);
307
+ walk(decl.body, decl.span);
308
+ }
309
+ }
310
+ }
311
+ catch {
312
+ /* Arbitrary editor input must not interrupt typing. */
313
+ }
314
+ const hovers = new Map();
315
+ for (let i = 0; i < tokens.length; i++) {
316
+ const token = tokens[i];
317
+ if (token.kind !== "name")
318
+ continue;
319
+ const previous = tokens[i - 1]?.text;
320
+ const next = tokens[i + 1]?.text;
321
+ const owner = previous === "." ? tokens[i - 2]?.text : undefined;
322
+ const imported = owner ? imports.get(owner) : undefined;
323
+ const object = imported?.objects.find((o) => o.name === token.text);
324
+ if (object && owner)
325
+ mark(token, "instrument", instrumentHelp(object, owner));
326
+ else if (imports.has(token.text) && next === ".")
327
+ mark(token, "header", headerHelp.get(token.text));
328
+ else if (!helps.has(token.span.start)) {
329
+ const candidates = bindings
330
+ .get(token.text)
331
+ ?.filter((b) => token.span.start >= b.scope.start &&
332
+ token.span.end <= b.scope.end &&
333
+ (!b.keysOnly || next === ":") &&
334
+ (!b.namespace ||
335
+ b.namespace === owner ||
336
+ b.declaration === token.span.start) &&
337
+ (b.help.kind !== "field" ||
338
+ previous === "." ||
339
+ b.declaration === token.span.start));
340
+ const binding = candidates?.sort((a, b) => a.scope.end - a.scope.start - (b.scope.end - b.scope.start))[0];
341
+ const isReference = !keywords.has(token.text) ||
342
+ previous === "." ||
343
+ previous === "expose" ||
344
+ previous === "hide" ||
345
+ next === ":" ||
346
+ [":", "=", "fee", "moves", "from", "to", "(", ",", "["].includes(previous ?? "") ||
347
+ binding?.declaration === token.span.start;
348
+ if (binding && isReference)
349
+ mark(token, binding.help.kind, binding.help);
350
+ else if (types.has(token.text) &&
351
+ (previous === ":" ||
352
+ previous === "<" ||
353
+ next === "(" ||
354
+ next === "?" ||
355
+ next === "of"))
356
+ mark(token, "type");
357
+ else if (previous === "." &&
358
+ ["self", "input", "subject"].includes(owner ?? ""))
359
+ mark(token, "field");
360
+ else if (next === ":" && !keywords.has(token.text))
361
+ mark(token, "field");
362
+ }
363
+ let help = helps.get(token.span.start);
364
+ if (!help && keywords.has(token.text) && !classes.has(token.span.start)) {
365
+ const [summary, compilesTo] = KEYWORD_HELP[token.text];
366
+ help = {
367
+ kind: "keyword",
368
+ title: token.text,
369
+ summary,
370
+ ...(compilesTo
371
+ ? { details: [{ label: "Compiles to", value: compilesTo }] }
372
+ : {}),
373
+ };
374
+ }
375
+ if (help)
376
+ hovers.set(token.span.start, { ...help, span: token.span });
377
+ }
378
+ const highlights = all.map((token) => {
379
+ let kind = classes.get(token.span.start);
380
+ if (!kind) {
381
+ if (token.kind === "name")
382
+ kind = keywords.has(token.text) ? "keyword" : "name";
383
+ else if (token.kind === "punct")
384
+ kind = /^[=<>!|]/.test(token.text) ? "operator" : "punctuation";
385
+ else if (token.kind === "number")
386
+ kind = token.text.endsWith("%")
387
+ ? "percent"
388
+ : /[a-z]$/.test(token.text)
389
+ ? "duration"
390
+ : "number";
391
+ else
392
+ kind = token.kind === "eof" ? "name" : token.kind;
393
+ }
394
+ return { ...token.span, class: kind };
395
+ });
396
+ for (let i = 0; i < all.length - 1; i++) {
397
+ if (highlights[i].class === "number" &&
398
+ all[i + 1].kind === "name" &&
399
+ /^[A-Z]{3}$/.test(all[i + 1].text)) {
400
+ highlights[i].class = "money";
401
+ highlights[i + 1].class = "money";
402
+ }
403
+ }
404
+ return { highlights, hovers };
405
+ }
406
+ // One editor document is retained. Hovering never reparses the same keystroke.
407
+ let last;
408
+ function analysis(source, library) {
409
+ // Custom libraries may change without changing identity; only the bundled library is immutable.
410
+ if (library === bundledStandardLibrary &&
411
+ last?.source === source &&
412
+ last.library === library)
413
+ return last.result;
414
+ const result = analyze(source, library);
415
+ if (library === bundledStandardLibrary)
416
+ last = { source, library, result };
417
+ return result;
418
+ }
419
+ /** Total, sorted, non-overlapping UTF-16 spans, including incomplete source. */
420
+ export function highlight(source, library = bundledStandardLibrary) {
421
+ return analysis(source, library).highlights.map((span) => ({ ...span }));
422
+ }
423
+ /** Offsets use half-open UTF-16 spans. Whitespace and out-of-range offsets return null. */
424
+ export function describe(source, offset, library = bundledStandardLibrary) {
425
+ if (!Number.isInteger(offset) || offset < 0 || offset >= source.length)
426
+ return null;
427
+ const result = analysis(source, library);
428
+ const span = result.highlights.find((s) => s.start <= offset && offset < s.end);
429
+ const hover = span && result.hovers.get(span.start);
430
+ return hover
431
+ ? {
432
+ ...hover,
433
+ span: { ...hover.span },
434
+ ...(hover.details
435
+ ? { details: hover.details.map((d) => ({ ...d })) }
436
+ : {}),
437
+ }
438
+ : null;
439
+ }
440
+ //# sourceMappingURL=language.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"language.js","sourceRoot":"","sources":["../../src/language.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAc,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC;AAwChF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;AAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;IACpB,OAAO;IACP,SAAS;IACT,KAAK;IACL,MAAM;IACN,UAAU;IACV,MAAM;IACN,SAAS;IACT,SAAS;IACT,SAAS;IACT,MAAM;IACN,MAAM;IACN,QAAQ;CACT,CAAC,CAAC;AACH,mFAAmF;AACnF,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAC;AACJ,SAAS,MAAM,CAAC,IAAY,EAAE,OAAwB;IACpD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,EAAE,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC;QACnD,IAAI,KAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,KAAK,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtE,CAAC;QAAC,MAAM,CAAC;YACP,gDAAgD;QAClD,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,IAAI,EAAE;YAAE,WAAW,CAAC,KAAK,EAAE,CAAC;QAChD,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;AACH,CAAC;AACD,SAAS,cAAc,CACrB,MAAiC,EACjC,KAAa;IAEb,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,MAAM,CAAC,aAAa;QAC3B,MAAM,EAAE,KAAK;QACb,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE;YACP,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE;aACnJ,CAAC,CAAC;YACH,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;gBACtB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5B,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,KAAK,EAAE;aACxC,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC;AAYD,SAAS,OAAO,CAAC,MAAc,EAAE,OAAwB;IACvD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC3C,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAE,IAAmB,EAAE,IAAW,EAAE,EAAE;QAC1E,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAC5C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CACX,IAAY,EACZ,KAAW,EACX,WAAmB,EACnB,IAAU,EACV,QAAQ,GAAG,KAAK,EAChB,SAAkB,EAClB,EAAE;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC;YACR,KAAK;YACL,WAAW;YACX,IAAI;YACJ,QAAQ;YACR,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC,CAAC;QACH,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,IAAmB,EACnB,KAAW,EACX,IAAU,EACV,SAAiB,EACjB,OAAe,EACf,SAAkB,EACZ,EAAE;QACR,MAAM,IAAI,GAAS;YACjB,IAAI;YACJ,KAAK,EAAE,IAAI;YACX,SAAS;YACT,OAAO;YACP,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;SAC1E,CAAC;QACF,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;QACrC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1C,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,CACF,KAAK,EACL,QAAQ,EACR,KAAK;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,MAAM,EAAE,KAAK,CAAC,IAAI;oBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;yBACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;yBACrB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,IAAI,CAAC,GAAG,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACjC,KAAK,EAAE,CAAC,CAAC,aAAa;wBACtB,KAAK,EAAE,CAAC,CAAC,OAAO;qBACjB,CAAC,CAAC;iBACJ;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,IAAI;gBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,KAAK,QAAQ;YACrB,QAAQ,KAAK,QAAQ;YAErB,IAAI,CAAC,KAAK,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;YACxD,IAAI,CACF,KAAK,EACL,OAAO,EACP,QAAQ,CACN,KAAK,CAAC,IAAI,EACV,OAAO,EACP,KAAK,EACL,KAAK,CAAC,IAAI,EACV,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,EAC7C,kBAAkB,KAAK,CAAC,IAAI,GAAG,CAChC,CACF,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,KAAK,MAAM;YACrB,IAAI,CACF,KAAK,EACL,MAAM,EACN,QAAQ,CACN,KAAK,CAAC,IAAI,EACV,MAAM,EACN,KAAK,EACL,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,IAAI,EACV,cAAc,KAAK,CAAC,IAAI,GAAG,CAC5B,CACF,CAAC;QACJ,IACE,QAAQ,KAAK,YAAY;YACzB,QAAQ,KAAK,QAAQ;YACrB,QAAQ,KAAK,QAAQ;YACrB,QAAQ,KAAK,QAAQ;YACrB,QAAQ,KAAK,MAAM;YACnB,QAAQ,KAAK,IAAI;YAEjB,IAAI,CACF,KAAK,EACL,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,QAAQ;gBAChD,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,QAAQ,CACb,CAAC;QACJ,IACE,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YACnD,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;YAE3B,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE;gBAClB,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO,EACL,KAAK,CAAC,IAAI,KAAK,OAAO;oBACpB,CAAC,CAAC,kCAAkC;oBACpC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;wBACtB,CAAC,CAAC,iDAAiD;wBACnD,CAAC,CAAC,mCAAmC;aAC5C,CAAC,CAAC;IACP,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,KAAW,EAAE,EAAE;QACjD,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO;aACnB,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;YACjB,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,QAAQ;YACrC,IAAI,CACF,SAAS,CAAC,IAAI,EACd,KAAK,EACL,KAAK,CAAC,KAAK,EACX;gBACE,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,SAAS,CAAC,IAAI;gBACrB,MAAM,EAAE,KAAM;gBACd,OAAO,EAAE,gBAAgB,MAAM,CAAC,aAAa,GAAG;gBAChD,SAAS,EAAE,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,OAAO,EAAE,EAAE;gBACpH,OAAO,EACL,SAAS,IAAI,SAAS;oBACpB,CAAC,CAAC;wBACE;4BACE,KAAK,EAAE,qBAAqB;4BAC5B,KAAK,EAAE,GAAG,SAAS,CAAC,OAAO,OAAO,SAAS,CAAC,OAAO,EAAE;yBACtD;qBACF;oBACH,CAAC,CAAC,EAAE;aACT,EACD,IAAI,CACL,CAAC;QACJ,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;YACjC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;gBACpC,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,MAAM,CAAC,IAAI;gBAClB,MAAM,EAAE,KAAM;gBACd,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;aACnD,CAAC,CAAC;IACP,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG;YAAE,WAAW,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG;YAAE,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,CAAC,CAAC;QACnE,IAAI,WAAW,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;YAAE,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACzE,IACE,KAAK,CAAC,IAAI,KAAK,GAAG;YAClB,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;YAC3B,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAC3B,CAAC;YACD,UAAU,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE;gBAC1D,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;gBACvB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM;aAClC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,CAChB,KAAY,EACZ,IAAmB,EACnB,KAAW,EACX,SAAkB,EAClB,EAAE;QACF,MAAM,IAAI,GAAG,QAAQ,CACnB,KAAK,CAAC,GAAG,EACT,IAAI,EACJ,KAAK,EACL,KAAK,CAAC,IAAI,EACV,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAChB,GAAG,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,GAAG,oBAAoB,EAChF,SAAS,CACV,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,KAAW,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;oBAClD,SAAS,CACP,KAAK,EACL,OAAO,EACP,KAAK,EACL,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CACxC,CAAC;gBACJ,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,KAAK,CAAC;oBAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,EAAE,KAAK,CAAC;oBAC1D,MAAM,IAAI,GAAG,QAAQ,CACnB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,KAAK,CAAC,IAAI,EACV,UAAU,IAAI,EAAE,EAChB,OAAO,EAAE,IAAI,KAAK,MAAM;wBACtB,CAAC,CAAC,OAAO,CAAC,KAAK;wBACf,CAAC,CAAC,UAAU,IAAI,qBAAqB,CACxC,CAAC;oBACF,IAAI,KAAK;wBACP,IAAI,CAAC,OAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAClE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;oBACxC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC;qBAAM,IACL,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;oBAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAC5B,CAAC;oBACD,MAAM,CAAC,EAAE,IAAI,EAAE,AAAD,EAAG,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAChD,MAAM,IAAI,GAAG,QAAQ,CACnB,IAAK,EACL,YAAY,EACZ,KAAK,EACL,KAAK,CAAC,IAAI,EACV,GAAG,IAAI,MAAM,MAAM,EAAE,EACrB,iBAAiB,MAAM,GAAG,CAC3B,CAAC;oBACF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;oBAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,IACE,OAAO,KAAK,WAAW;wBACvB,KAAK,CAAC,GAAG,KAAK,QAAQ;wBACtB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAC3B,CAAC;wBACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK;4BACnC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gCACvB,QAAQ,CACN,KAAK,CAAC,KAAK,EACX,OAAO,EACP,KAAK,EACL,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,KAAK,EACX,mBAAmB,KAAK,CAAC,KAAK,GAAG,CAClC,CAAC;oBACR,CAAC;oBACD,IAAI,CACF,KAAK,CAAC,KAAK,EACX,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAChD,KAAK,CAAC,GAAG,CACV,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;aACvD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;aAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IACF,0FAA0F;IAC1F,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAC3B,EAAE,KAAK,CAAC;gBACT,MAAM,IAAI,GAAG,QAAQ,CACnB,IAAI,CAAC,IAAI,EACT,YAAY,EACZ,KAAK,EACL,IAAI,CAAC,IAAI,EACT,MAAM;qBACH,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;qBAC5C,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;qBAC7B,IAAI,EAAE,EACT,OAAO,EAAE,IAAI,KAAK,MAAM;oBACtB,CAAC,CAAC,OAAO,CAAC,KAAK;oBACf,CAAC,CAAC,cAAc,IAAI,CAAC,IAAI,4BAA4B,CACxD,CAAC;gBACF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC3C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU;oBACrC,SAAS,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAClC,IAAI,CACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAChB,MAAM,EACN,QAAQ,CACN,IAAI,CAAC,IAAI,EACT,MAAM,EACN,KAAK,EACL,IAAI,CAAC,IAAI,EACT,UAAU,IAAI,CAAC,IAAI,EAAE,EACrB,IAAI,CAAC,KAAK,CACX,CACF,CAAC;gBACF,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACtC,QAAQ,CACN,IAAI,CAAC,IAAI,EACT,YAAY,EACZ,KAAK,EACL,IAAI,CAAC,IAAI,EACT,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,EAC/B,eAAe,IAAI,CAAC,MAAM,GAAG,CAC9B,CAAC;gBACF,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,uDAAuD;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,MAAM,IAAI,KAAK;YACjB,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;aACtD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG;YAC9C,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;aAC/C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,QAAQ;iBACxB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAChB,EAAE,MAAM,CACN,CAAC,CAAC,EAAE,EAAE,CACJ,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK;gBACjC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG;gBAC7B,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,KAAK,GAAG,CAAC;gBAC7B,CAAC,CAAC,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,KAAK,KAAK;oBACrB,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBACrC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBACtB,QAAQ,KAAK,GAAG;oBAChB,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CACxC,CAAC;YACJ,MAAM,OAAO,GAAG,UAAU,EAAE,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CACtE,CAAC,CAAC,CAAC,CAAC;YACL,MAAM,WAAW,GACf,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACzB,QAAQ,KAAK,GAAG;gBAChB,QAAQ,KAAK,QAAQ;gBACrB,QAAQ,KAAK,MAAM;gBACnB,IAAI,KAAK,GAAG;gBACZ,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAC9D,QAAQ,IAAI,EAAE,CACf;gBACD,OAAO,EAAE,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5C,IAAI,OAAO,IAAI,WAAW;gBAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;iBACpE,IACH,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACrB,CAAC,QAAQ,KAAK,GAAG;oBACf,QAAQ,KAAK,GAAG;oBAChB,IAAI,KAAK,GAAG;oBACZ,IAAI,KAAK,GAAG;oBACZ,IAAI,KAAK,IAAI,CAAC;gBAEhB,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;iBACjB,IACH,QAAQ,KAAK,GAAG;gBAChB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;gBAElD,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;iBAClB,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,YAAY,CACxC,KAAK,CAAC,IAAiC,CACV,CAAC;YAChC,IAAI,GAAG;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,OAAO;gBACP,GAAG,CAAC,UAAU;oBACZ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE;oBAC5D,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QACD,IAAI,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAgB,EAAE;QACjD,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBACvB,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;iBAClD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAC7B,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;iBAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAC9B,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAC7B,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;wBACzB,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,QAAQ,CAAC;;gBACZ,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACzD,CAAC;QACD,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IACE,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,QAAQ;YACjC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,MAAM;YAC3B,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,EACnC,CAAC;YACD,UAAU,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,OAAO,CAAC;YAC/B,UAAU,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,KAAK,GAAG,OAAO,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AACD,+EAA+E;AAC/E,IAAI,IAES,CAAC;AACd,SAAS,QAAQ,CAAC,MAAc,EAAE,OAAwB;IACxD,gGAAgG;IAChG,IACE,OAAO,KAAK,sBAAsB;QAClC,IAAI,EAAE,MAAM,KAAK,MAAM;QACvB,IAAI,CAAC,OAAO,KAAK,OAAO;QAExB,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,IAAI,OAAO,KAAK,sBAAsB;QAAE,IAAI,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3E,OAAO,MAAM,CAAC;AAChB,CAAC;AACD,gFAAgF;AAChF,MAAM,UAAU,SAAS,CACvB,MAAc,EACd,OAAO,GAAoB,sBAAsB;IAEjD,OAAO,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC;AACD,2FAA2F;AAC3F,MAAM,UAAU,QAAQ,CACtB,MAAc,EACd,MAAc,EACd,OAAO,GAAoB,sBAAsB;IAEjD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM;QACpE,OAAO,IAAI,CAAC;IACd,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC,GAAG,CAC3C,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,KAAK;QACV,CAAC,CAAC;YACE,GAAG,KAAK;YACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE;YACvB,GAAG,CAAC,KAAK,CAAC,OAAO;gBACf,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;gBACnD,CAAC,CAAC,EAAE,CAAC;SACR;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}