@samva/markup 0.8.0 → 0.10.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (172) hide show
  1. package/AGENTS.md +107 -46
  2. package/CHANGELOG.md +345 -0
  3. package/README.md +188 -52
  4. package/dist/{brand-DcoVkh_S.d.ts → assets-BIsyMQ92.d.ts} +41 -11
  5. package/dist/{email/brand.js → brand-C0MKTwmX.js} +64 -4
  6. package/dist/{theme-css.d.ts → brand.d.ts} +12 -3
  7. package/dist/brand.js +4 -0
  8. package/dist/channel-specs-C2feJwuP.d.ts +13 -0
  9. package/dist/compiler.d.ts +88 -115
  10. package/dist/compiler.js +750 -171
  11. package/dist/components-BZCqegS8.js +1864 -0
  12. package/dist/diagnostic-model-DJtqbETd.js +38 -0
  13. package/dist/{diagnostics-OcQKQYSY.d.ts → diagnostic-model-DxthUZBT.d.ts} +3 -21
  14. package/dist/{diagnostics-BMYtBCQk.d.ts → diagnostics-B-Gym34R.d.ts} +8 -4
  15. package/dist/{email/diagnostics.js → diagnostics-CnKFefKz.js} +4 -3
  16. package/dist/diagnostics.d.ts +410 -2
  17. package/dist/diagnostics.js +402 -52
  18. package/dist/edit.d.ts +234 -0
  19. package/dist/edit.js +947 -0
  20. package/dist/email/jsx-dev-runtime.d.ts +2 -2
  21. package/dist/email/jsx-dev-runtime.js +1 -2
  22. package/dist/email/jsx-runtime.d.ts +1 -1
  23. package/dist/email/jsx-runtime.js +1 -85
  24. package/dist/{email/components.d.ts → email.d.ts} +22 -11
  25. package/dist/email.js +2 -0
  26. package/dist/fmt.d.ts +32 -0
  27. package/dist/fmt.js +174 -0
  28. package/dist/index.d.ts +2 -0
  29. package/dist/index.js +2 -0
  30. package/dist/{render-vAv_4r9v.js → ir-CLhlklKV.js} +96 -279
  31. package/dist/jsx-runtime-CBlexoeR.js +98 -0
  32. package/dist/{elements-BzjjnoCS.d.ts → jsx-runtime-ylIOnaSf.d.ts} +76 -76
  33. package/dist/profile-pWGtWZXF.js +3803 -0
  34. package/dist/render-BPonDpCl.d.ts +539 -0
  35. package/dist/render-BQmfh94k.js +257 -0
  36. package/dist/render.d.ts +35 -0
  37. package/dist/render.js +49 -0
  38. package/dist/sms.d.ts +16 -0
  39. package/dist/sms.js +12 -0
  40. package/dist/source-locations-C8wCsiAy.d.ts +23 -0
  41. package/dist/template-DMPwxMSq.d.ts +65 -0
  42. package/dist/template-zLUjcwfF.js +42 -0
  43. package/dist/{theme-css-hFqcPSar.js → theme-css-JtRCm1fb.js} +2 -2
  44. package/dist/whatsapp.d.ts +57 -0
  45. package/dist/whatsapp.js +22 -0
  46. package/generated/contract.json +1788 -0
  47. package/generated/reference.md +360 -0
  48. package/package.json +46 -239
  49. package/samva-brand.d.ts +4 -4
  50. package/skills/sml/SKILL.md +123 -0
  51. package/dist/ast-BrDtApwS.d.ts +0 -107
  52. package/dist/ast.d.ts +0 -2
  53. package/dist/ast.js +0 -124
  54. package/dist/candidate.d.ts +0 -29
  55. package/dist/candidate.js +0 -88
  56. package/dist/catalog-CKuOooB8.d.ts +0 -354
  57. package/dist/checks-D73Xizbw.js +0 -59366
  58. package/dist/checks.d.ts +0 -33
  59. package/dist/checks.js +0 -2
  60. package/dist/classes.d.ts +0 -26
  61. package/dist/classes.js +0 -184
  62. package/dist/compile-sms.d.ts +0 -28
  63. package/dist/compile-sms.js +0 -44
  64. package/dist/compile-whatsapp.d.ts +0 -56
  65. package/dist/compile-whatsapp.js +0 -186
  66. package/dist/compile.d.ts +0 -18
  67. package/dist/compile.js +0 -29
  68. package/dist/components.d.ts +0 -289
  69. package/dist/components.js +0 -106
  70. package/dist/conditionals.d.ts +0 -10
  71. package/dist/conditionals.js +0 -74
  72. package/dist/corpus-CPPfgAHN.d.ts +0 -106
  73. package/dist/css-CS2jLID6.d.ts +0 -109
  74. package/dist/email/assets.d.ts +0 -40
  75. package/dist/email/assets.js +0 -63
  76. package/dist/email/brand-footer.d.ts +0 -34
  77. package/dist/email/brand-footer.js +0 -62
  78. package/dist/email/brand.d.ts +0 -2
  79. package/dist/email/components.js +0 -240
  80. package/dist/email/diagnostics.d.ts +0 -2
  81. package/dist/email/elements.d.ts +0 -2
  82. package/dist/email/elements.js +0 -299
  83. package/dist/email/html.d.ts +0 -2
  84. package/dist/email/html.js +0 -278
  85. package/dist/email/render.d.ts +0 -50
  86. package/dist/email/render.js +0 -3
  87. package/dist/email/selection.d.ts +0 -2
  88. package/dist/email/selection.js +0 -91
  89. package/dist/email/source-edit.d.ts +0 -67
  90. package/dist/email/source-edit.js +0 -185
  91. package/dist/email/stylesheets.d.ts +0 -15
  92. package/dist/email/stylesheets.js +0 -48
  93. package/dist/email/text.d.ts +0 -7
  94. package/dist/email/text.js +0 -100
  95. package/dist/emit.d.ts +0 -51
  96. package/dist/emit.js +0 -151
  97. package/dist/html-Bl9BAdqc.d.ts +0 -42
  98. package/dist/interpolate.d.ts +0 -24
  99. package/dist/interpolate.js +0 -43
  100. package/dist/jsx-dev-runtime.d.ts +0 -11
  101. package/dist/jsx-dev-runtime.js +0 -15
  102. package/dist/jsx-runtime-I-1nCtl2.d.ts +0 -57
  103. package/dist/jsx-runtime.d.ts +0 -2
  104. package/dist/jsx-runtime.js +0 -121
  105. package/dist/lexer.d.ts +0 -60
  106. package/dist/lexer.js +0 -281
  107. package/dist/model.d.ts +0 -24
  108. package/dist/model.js +0 -77
  109. package/dist/ops-BvwqHl7V.js +0 -630
  110. package/dist/ops.d.ts +0 -114
  111. package/dist/ops.js +0 -2
  112. package/dist/parser-t29cHLVL.d.ts +0 -396
  113. package/dist/parser.d.ts +0 -2
  114. package/dist/parser.js +0 -859
  115. package/dist/predicate-BI6uRRM-.js +0 -549
  116. package/dist/predicate-M-05Nd7R.d.ts +0 -56
  117. package/dist/predicate.d.ts +0 -2
  118. package/dist/predicate.js +0 -2
  119. package/dist/printer.d.ts +0 -6
  120. package/dist/printer.js +0 -122
  121. package/dist/registry-Dcp6QEK_.d.ts +0 -73
  122. package/dist/registry.d.ts +0 -2
  123. package/dist/registry.js +0 -646
  124. package/dist/render-template.d.ts +0 -45
  125. package/dist/render-template.js +0 -76
  126. package/dist/selection-CCArx9lU.d.ts +0 -91
  127. package/dist/showcase-egkusQBf.d.ts +0 -415
  128. package/dist/sms-segments-y4FpPilJ.d.ts +0 -13
  129. package/dist/sms-segments.d.ts +0 -2
  130. package/dist/sms-segments.js +0 -46
  131. package/dist/source-locations-DrCM82Ym.d.ts +0 -67
  132. package/dist/source-locations.d.ts +0 -2
  133. package/dist/source-locations.js +0 -102
  134. package/dist/starters/category-mapping.d.ts +0 -13
  135. package/dist/starters/category-mapping.js +0 -49
  136. package/dist/starters/corpus.d.ts +0 -2
  137. package/dist/starters/corpus.js +0 -194
  138. package/dist/starters/library.d.ts +0 -18
  139. package/dist/starters/library.js +0 -692
  140. package/dist/starters/public-gallery.d.ts +0 -266
  141. package/dist/starters/public-gallery.js +0 -916
  142. package/dist/starters/public-handoff.d.ts +0 -164
  143. package/dist/starters/public-handoff.js +0 -361
  144. package/dist/starters/public-preview-artifacts.d.ts +0 -43
  145. package/dist/starters/public-preview-artifacts.js +0 -104
  146. package/dist/starters/public-preview.d.ts +0 -61
  147. package/dist/starters/public-preview.js +0 -83
  148. package/dist/starters/showcase.d.ts +0 -2
  149. package/dist/starters/showcase.js +0 -335
  150. package/dist/starters/sources.d.ts +0 -45
  151. package/dist/starters/sources.js +0 -7762
  152. package/dist/starters/theme.d.ts +0 -45
  153. package/dist/starters/theme.js +0 -77
  154. package/dist/starters.d.ts +0 -2
  155. package/dist/starters.js +0 -874
  156. package/dist/tailwind-BYq7Lo6u.js +0 -727
  157. package/dist/template-DWftqh4x.d.ts +0 -60
  158. package/dist/template.d.ts +0 -2
  159. package/dist/template.js +0 -37
  160. package/dist/theme-css.js +0 -2
  161. package/dist/tsx-source-instrumentation.d.ts +0 -30
  162. package/dist/tsx-source-instrumentation.js +0 -115
  163. package/dist/tsx-tracer.d.ts +0 -112
  164. package/dist/tsx-tracer.js +0 -985
  165. package/dist/variables-J_L3qxRa.d.ts +0 -77
  166. package/dist/variables.d.ts +0 -2
  167. package/dist/variables.js +0 -141
  168. package/dist/version-BITr58kk.js +0 -96
  169. package/generated/sml-agent-contract.json +0 -709
  170. package/generated/sml-email-agent-contract.json +0 -615
  171. package/generated/sml-email-language-reference.md +0 -94
  172. package/generated/sml-language-reference.md +0 -195
@@ -1,549 +0,0 @@
1
- import { Result } from "better-result";
2
- //#region src/limits.ts
3
- /** Hard ceilings shared by SML documents and standalone predicate parsing. */
4
- const SML_PARSER_LIMITS = {
5
- maxCharacters: 5e5,
6
- maxUtf8Bytes: 1048576,
7
- maxDepth: 64,
8
- maxNodes: 25e3
9
- };
10
- //#endregion
11
- //#region src/predicate.ts
12
- /** Standalone predicates inherit the same source, nesting, and node ceilings as SML. */
13
- const PREDICATE_PARSER_LIMITS = SML_PARSER_LIMITS;
14
- const CHAR_TAB = 9;
15
- const CHAR_LINE_FEED = 10;
16
- const CHAR_CARRIAGE_RETURN = 13;
17
- const CHAR_SPACE = 32;
18
- const CHAR_BANG = 33;
19
- const CHAR_SINGLE_QUOTE = 39;
20
- const CHAR_OPEN_PAREN = 40;
21
- const CHAR_CLOSE_PAREN = 41;
22
- const CHAR_MINUS = 45;
23
- const CHAR_DOT = 46;
24
- const CHAR_LESS_THAN = 60;
25
- const CHAR_EQUALS = 61;
26
- const CHAR_GREATER_THAN = 62;
27
- const CHAR_UNDERSCORE = 95;
28
- const CHAR_0 = 48;
29
- const CHAR_9 = 57;
30
- const CHAR_UPPER_A = 65;
31
- const CHAR_UPPER_Z = 90;
32
- const CHAR_LOWER_A = 97;
33
- const CHAR_LOWER_Z = 122;
34
- const isWhitespace = (code) => code === CHAR_SPACE || code === CHAR_TAB || code === CHAR_LINE_FEED || code === CHAR_CARRIAGE_RETURN;
35
- const isDigit = (code) => code >= CHAR_0 && code <= CHAR_9;
36
- const isLetter = (code) => code >= CHAR_UPPER_A && code <= CHAR_UPPER_Z || code >= CHAR_LOWER_A && code <= CHAR_LOWER_Z;
37
- const isNameStart = (code) => isLetter(code) || code === CHAR_UNDERSCORE;
38
- const isNameChar = (code) => isNameStart(code) || isDigit(code);
39
- const KEYWORDS = [
40
- "and",
41
- "or",
42
- "not"
43
- ];
44
- const isKeyword = (text) => KEYWORDS.includes(text);
45
- const tokenize = (source, baseOffset) => {
46
- const tokens = [];
47
- let index = 0;
48
- const length = source.length;
49
- const failAt = (code, message, start, end) => Result.err({ diagnostic: {
50
- code,
51
- message,
52
- span: {
53
- start: baseOffset + start,
54
- end: baseOffset + end
55
- }
56
- } });
57
- while (index < length) {
58
- const code = source.charCodeAt(index);
59
- if (isWhitespace(code)) {
60
- index++;
61
- continue;
62
- }
63
- const start = index;
64
- if (code === CHAR_OPEN_PAREN) {
65
- index++;
66
- tokens.push({
67
- kind: "lparen",
68
- text: "(",
69
- span: {
70
- start: baseOffset + start,
71
- end: baseOffset + index
72
- }
73
- });
74
- continue;
75
- }
76
- if (code === CHAR_CLOSE_PAREN) {
77
- index++;
78
- tokens.push({
79
- kind: "rparen",
80
- text: ")",
81
- span: {
82
- start: baseOffset + start,
83
- end: baseOffset + index
84
- }
85
- });
86
- continue;
87
- }
88
- if (code === CHAR_EQUALS || code === CHAR_BANG) {
89
- if (source.charCodeAt(index + 1) === CHAR_EQUALS) {
90
- index += 2;
91
- tokens.push({
92
- kind: "op",
93
- text: code === CHAR_EQUALS ? "==" : "!=",
94
- span: {
95
- start: baseOffset + start,
96
- end: baseOffset + index
97
- }
98
- });
99
- continue;
100
- }
101
- return failAt("predicate-invalid-operator", `unexpected ${String.fromCharCode(code)} — ${code === CHAR_EQUALS ? "write == to compare" : "write != to compare"}`, start, start + 1);
102
- }
103
- if (code === CHAR_GREATER_THAN || code === CHAR_LESS_THAN) {
104
- index++;
105
- if (source.charCodeAt(index) === CHAR_EQUALS) index++;
106
- tokens.push({
107
- kind: "op",
108
- text: source.slice(start, index),
109
- span: {
110
- start: baseOffset + start,
111
- end: baseOffset + index
112
- }
113
- });
114
- continue;
115
- }
116
- if (code === CHAR_SINGLE_QUOTE) {
117
- index++;
118
- const contentStart = index;
119
- while (index < length && source.charCodeAt(index) !== CHAR_SINGLE_QUOTE) index++;
120
- if (index >= length) return failAt("predicate-unterminated-string", "unterminated string — add a closing '", start, length);
121
- const value = source.slice(contentStart, index);
122
- index++;
123
- if (value.includes("--")) return failAt("predicate-string-double-dash", "string literals cannot contain -- (predicates are embedded in HTML comment markers)", start, index);
124
- tokens.push({
125
- kind: "string",
126
- text: source.slice(start, index),
127
- string: value,
128
- span: {
129
- start: baseOffset + start,
130
- end: baseOffset + index
131
- }
132
- });
133
- continue;
134
- }
135
- if (isDigit(code) || code === CHAR_MINUS && isDigit(source.charCodeAt(index + 1))) {
136
- index++;
137
- while (index < length && isDigit(source.charCodeAt(index))) index++;
138
- if (source.charCodeAt(index) === CHAR_DOT && isDigit(source.charCodeAt(index + 1))) {
139
- index++;
140
- while (index < length && isDigit(source.charCodeAt(index))) index++;
141
- }
142
- const raw = source.slice(start, index);
143
- const value = Number.parseFloat(raw);
144
- if (!Number.isFinite(value)) return failAt("predicate-number-out-of-range", "number literal is outside the finite numeric range", start, index);
145
- tokens.push({
146
- kind: "number",
147
- text: raw,
148
- number: value,
149
- span: {
150
- start: baseOffset + start,
151
- end: baseOffset + index
152
- }
153
- });
154
- continue;
155
- }
156
- if (isNameStart(code)) {
157
- index++;
158
- while (index < length && isNameChar(source.charCodeAt(index))) index++;
159
- if (source.charCodeAt(index) === CHAR_DOT) return failAt("predicate-path-not-supported", `unexpected . after "${source.slice(start, index)}" — predicates use flat variable names, not paths`, start, index + 1);
160
- tokens.push({
161
- kind: "name",
162
- text: source.slice(start, index),
163
- span: {
164
- start: baseOffset + start,
165
- end: baseOffset + index
166
- }
167
- });
168
- continue;
169
- }
170
- if (code === CHAR_DOT) return failAt("predicate-path-not-supported", "unexpected . — predicates use flat variable names, not paths", start, start + 1);
171
- return failAt("predicate-unexpected-character", `unexpected character ${JSON.stringify(String.fromCharCode(code))} in predicate`, start, start + 1);
172
- }
173
- tokens.push({
174
- kind: "eof",
175
- text: "",
176
- span: {
177
- start: baseOffset + length,
178
- end: baseOffset + length
179
- }
180
- });
181
- return Result.ok(tokens);
182
- };
183
- const COMPARISON_OPS = [
184
- "==",
185
- "!=",
186
- ">",
187
- ">=",
188
- "<",
189
- "<="
190
- ];
191
- /**
192
- * Parses a predicate. `baseOffset` is the absolute source offset of the
193
- * predicate's first character (an <If> test attribute passes valueSpan.start),
194
- * so diagnostic and node spans point into the containing document.
195
- */
196
- const parsePredicate = (source, baseOffset = 0) => {
197
- if (source.length > SML_PARSER_LIMITS.maxCharacters) return Result.err([{
198
- code: "predicate-character-limit",
199
- message: `predicate exceeds the ${SML_PARSER_LIMITS.maxCharacters} character limit`,
200
- span: {
201
- start: baseOffset,
202
- end: baseOffset + source.length
203
- }
204
- }]);
205
- if (new TextEncoder().encode(source).byteLength > SML_PARSER_LIMITS.maxUtf8Bytes) return Result.err([{
206
- code: "predicate-byte-limit",
207
- message: `predicate exceeds the ${SML_PARSER_LIMITS.maxUtf8Bytes} byte UTF-8 limit`,
208
- span: {
209
- start: baseOffset,
210
- end: baseOffset + source.length
211
- }
212
- }]);
213
- const lexed = tokenize(source, baseOffset);
214
- if (Result.isError(lexed)) return Result.err([lexed.error.diagnostic]);
215
- const tokens = lexed.value;
216
- let index = 0;
217
- let diagnostic;
218
- let nodeCount = 0;
219
- const fail = (code, message, span) => {
220
- diagnostic ??= {
221
- code,
222
- message,
223
- span
224
- };
225
- return null;
226
- };
227
- const peek = () => tokens[index];
228
- const advance = () => tokens[index++];
229
- const isKeywordToken = (token, keyword) => token.kind === "name" && token.text === keyword;
230
- const countNode = (node) => {
231
- nodeCount += 1;
232
- return nodeCount > SML_PARSER_LIMITS.maxNodes ? fail("predicate-node-limit", `predicate exceeds the ${SML_PARSER_LIMITS.maxNodes} node limit`, node.span) : node;
233
- };
234
- const parsePrimary = (depth) => {
235
- const token = advance();
236
- if (token.kind === "lparen") {
237
- if (depth >= SML_PARSER_LIMITS.maxDepth) return fail("predicate-depth-limit", `predicate nesting exceeds the maximum depth of ${SML_PARSER_LIMITS.maxDepth}`, token.span);
238
- const inner = parseOr(depth + 1);
239
- if (inner === null) return null;
240
- const close = advance();
241
- if (close.kind !== "rparen") return fail("predicate-missing-paren", "missing ) — close the group", close.span);
242
- return inner;
243
- }
244
- if (token.kind === "name") {
245
- if (isKeyword(token.text)) return fail("predicate-unexpected-token", `unexpected "${token.text}" — expected a variable name, comparison, or ( group )`, token.span);
246
- const opToken = peek();
247
- if (opToken.kind !== "op") return countNode({
248
- kind: "name",
249
- name: token.text,
250
- span: token.span
251
- });
252
- advance();
253
- const op = COMPARISON_OPS.find((candidate) => candidate === opToken.text);
254
- if (op === void 0) return fail("predicate-invalid-operator", `unknown operator ${opToken.text} — use ==, !=, >, >=, <, or <=`, opToken.span);
255
- const literalToken = advance();
256
- if (literalToken.kind === "string") return countNode({
257
- kind: "comparison",
258
- name: token.text,
259
- op,
260
- literal: {
261
- kind: "string",
262
- value: literalToken.string
263
- },
264
- span: {
265
- start: token.span.start,
266
- end: literalToken.span.end
267
- }
268
- });
269
- if (literalToken.kind === "number") return countNode({
270
- kind: "comparison",
271
- name: token.text,
272
- op,
273
- literal: {
274
- kind: "number",
275
- value: literalToken.number
276
- },
277
- span: {
278
- start: token.span.start,
279
- end: literalToken.span.end
280
- }
281
- });
282
- return fail("predicate-expected-literal", `expected a literal after ${op} — write ${token.text} ${op} 'value' or ${token.text} ${op} 5`, literalToken.span);
283
- }
284
- if (token.kind === "eof") return fail("predicate-unexpected-end", "unexpected end of predicate — expected a variable name, comparison, or ( group )", token.span);
285
- return fail("predicate-unexpected-token", `unexpected ${token.text} — comparisons put the variable first: name == 'value'`, token.span);
286
- };
287
- const parseUnary = (depth) => {
288
- const token = peek();
289
- if (isKeywordToken(token, "not")) {
290
- advance();
291
- const operand = parsePrimary(depth);
292
- if (operand === null) return null;
293
- return countNode({
294
- kind: "not",
295
- operand,
296
- span: {
297
- start: token.span.start,
298
- end: operand.span.end
299
- }
300
- });
301
- }
302
- return parsePrimary(depth);
303
- };
304
- const parseAnd = (depth) => {
305
- let left = parseUnary(depth);
306
- while (left !== null && isKeywordToken(peek(), "and")) {
307
- advance();
308
- const right = parseUnary(depth);
309
- if (right === null) return null;
310
- left = countNode({
311
- kind: "and",
312
- left,
313
- right,
314
- span: {
315
- start: left.span.start,
316
- end: right.span.end
317
- }
318
- });
319
- }
320
- return left;
321
- };
322
- const parseOr = (depth) => {
323
- let left = parseAnd(depth);
324
- while (left !== null && isKeywordToken(peek(), "or")) {
325
- advance();
326
- const right = parseAnd(depth);
327
- if (right === null) return null;
328
- left = countNode({
329
- kind: "or",
330
- left,
331
- right,
332
- span: {
333
- start: left.span.start,
334
- end: right.span.end
335
- }
336
- });
337
- }
338
- return left;
339
- };
340
- if (source.trim().length === 0) return Result.err([{
341
- code: "predicate-empty",
342
- message: "empty predicate — write e.g. plan == 'pro'",
343
- span: {
344
- start: baseOffset,
345
- end: baseOffset + source.length
346
- }
347
- }]);
348
- const ast = parseOr(0);
349
- if (ast !== null && diagnostic === void 0) {
350
- const trailing = peek();
351
- if (trailing.kind !== "eof") fail("predicate-trailing-input", `unexpected ${JSON.stringify(trailing.text)} after the predicate — join clauses with "and" or "or"`, trailing.span);
352
- }
353
- if (ast === null || diagnostic !== void 0) return Result.err([diagnostic ?? {
354
- code: "predicate-parse-failed",
355
- message: "predicate parse failed",
356
- span: {
357
- start: baseOffset,
358
- end: baseOffset + source.length
359
- }
360
- }]);
361
- return Result.ok(ast);
362
- };
363
- const toNumber = (value) => {
364
- if (typeof value === "number") return value;
365
- if (typeof value === "string" && value.trim() !== "") return Number(value);
366
- return NaN;
367
- };
368
- const compareNumbers = (op, left, right) => {
369
- switch (op) {
370
- case "==": return left === right;
371
- case "!=": return left !== right;
372
- case ">": return left > right;
373
- case ">=": return left >= right;
374
- case "<": return left < right;
375
- case "<=": return left <= right;
376
- }
377
- };
378
- const evaluateComparison = (node, variables) => {
379
- const value = variables[node.name];
380
- if (value === void 0 || value === null) return false;
381
- if (node.literal.kind === "number") {
382
- const left = toNumber(value);
383
- if (Number.isNaN(left)) return false;
384
- return compareNumbers(node.op, left, node.literal.value);
385
- }
386
- if (node.op === "==" || node.op === "!=") {
387
- if (typeof value !== "string") return false;
388
- return node.op === "==" ? value === node.literal.value : value !== node.literal.value;
389
- }
390
- const left = toNumber(value);
391
- const right = toNumber(node.literal.value);
392
- if (Number.isNaN(left) || Number.isNaN(right)) return false;
393
- return compareNumbers(node.op, left, right);
394
- };
395
- const evaluatePredicate = (ast, variables) => {
396
- const tasks = [{
397
- kind: "node",
398
- node: ast
399
- }];
400
- const values = [];
401
- while (tasks.length > 0) {
402
- const task = tasks.pop();
403
- if (task.kind === "not") {
404
- values.push(!values.pop());
405
- continue;
406
- }
407
- if (task.kind === "and" || task.kind === "or") {
408
- const left = values.pop();
409
- if (task.kind === "and" && !left || task.kind === "or" && left) values.push(left);
410
- else tasks.push({
411
- kind: "node",
412
- node: task.right
413
- });
414
- continue;
415
- }
416
- const node = task.node;
417
- switch (node.kind) {
418
- case "or":
419
- case "and":
420
- tasks.push({
421
- kind: node.kind,
422
- right: node.right
423
- }, {
424
- kind: "node",
425
- node: node.left
426
- });
427
- break;
428
- case "not":
429
- tasks.push({ kind: "not" }, {
430
- kind: "node",
431
- node: node.operand
432
- });
433
- break;
434
- case "comparison":
435
- values.push(evaluateComparison(node, variables));
436
- break;
437
- case "name": {
438
- const value = variables[node.name];
439
- values.push(value !== void 0 && value !== null && value !== "");
440
- break;
441
- }
442
- }
443
- }
444
- return values[0];
445
- };
446
- const precedence = (node) => {
447
- switch (node.kind) {
448
- case "or": return 1;
449
- case "and": return 2;
450
- case "not": return 3;
451
- case "comparison":
452
- case "name": return 4;
453
- }
454
- };
455
- const printLiteral = (literal) => {
456
- if (literal.kind === "number") {
457
- if (Number.isFinite(literal.value)) return String(literal.value);
458
- throw new TypeError(`Number ${String(literal.value)} cannot be represented in a predicate: number literals must be finite`);
459
- }
460
- if (literal.value.includes("'") || literal.value.includes("--")) throw new TypeError(`String ${JSON.stringify(literal.value)} cannot be represented in a predicate: string literals cannot contain ' or --`);
461
- return `'${literal.value}'`;
462
- };
463
- /** Canonical form: single space around operators/keywords, minimal parens. */
464
- const printPredicate = (ast) => {
465
- const frames = [{
466
- kind: "node",
467
- node: ast,
468
- minPrecedence: 0
469
- }];
470
- const output = [];
471
- while (frames.length > 0) {
472
- const frame = frames.pop();
473
- if (frame.kind === "text") {
474
- output.push(frame.value);
475
- continue;
476
- }
477
- const { node, minPrecedence } = frame;
478
- const wrapped = precedence(node) < minPrecedence;
479
- if (wrapped) frames.push({
480
- kind: "text",
481
- value: ")"
482
- });
483
- switch (node.kind) {
484
- case "or":
485
- case "and": {
486
- const operator = node.kind === "or" ? " or " : " and ";
487
- const childPrecedence = node.kind === "or" ? 1 : 2;
488
- frames.push({
489
- kind: "node",
490
- node: node.right,
491
- minPrecedence: childPrecedence
492
- }, {
493
- kind: "text",
494
- value: operator
495
- }, {
496
- kind: "node",
497
- node: node.left,
498
- minPrecedence: childPrecedence
499
- });
500
- break;
501
- }
502
- case "not":
503
- frames.push({
504
- kind: "node",
505
- node: node.operand,
506
- minPrecedence: 4
507
- }, {
508
- kind: "text",
509
- value: "not "
510
- });
511
- break;
512
- case "comparison":
513
- frames.push({
514
- kind: "text",
515
- value: `${node.name} ${node.op} ${printLiteral(node.literal)}`
516
- });
517
- break;
518
- case "name": frames.push({
519
- kind: "text",
520
- value: node.name
521
- });
522
- }
523
- if (wrapped) output.push("(");
524
- }
525
- return output.join("");
526
- };
527
- const collectPredicateVariables = (ast) => {
528
- const names = /* @__PURE__ */ new Set();
529
- const pending = [ast];
530
- while (pending.length > 0) {
531
- const node = pending.pop();
532
- switch (node.kind) {
533
- case "or":
534
- case "and":
535
- pending.push(node.right, node.left);
536
- break;
537
- case "not":
538
- pending.push(node.operand);
539
- break;
540
- case "comparison":
541
- case "name": names.add(node.name);
542
- }
543
- }
544
- return names;
545
- };
546
- //#endregion
547
- export { printPredicate as a, parsePredicate as i, collectPredicateVariables as n, SML_PARSER_LIMITS as o, evaluatePredicate as r, PREDICATE_PARSER_LIMITS as t };
548
-
549
- //# sourceMappingURL=predicate-BI6uRRM-.js.map
@@ -1,56 +0,0 @@
1
- import { a as Span, t as Diagnostic } from "./diagnostics-OcQKQYSY.js";
2
- import { Result } from "better-result";
3
- //#region src/predicate.d.ts
4
- /** Standalone predicates inherit the same source, nesting, and node ceilings as SML. */
5
- declare const PREDICATE_PARSER_LIMITS: {
6
- readonly maxCharacters: 500000;
7
- readonly maxUtf8Bytes: number;
8
- readonly maxDepth: 64;
9
- readonly maxNodes: 25000;
10
- };
11
- type ComparisonOp = "==" | "!=" | ">" | ">=" | "<" | "<=";
12
- type PredicateLiteral = {
13
- readonly kind: "string";
14
- readonly value: string;
15
- } | {
16
- readonly kind: "number";
17
- readonly value: number;
18
- };
19
- type PredicateAst = {
20
- readonly kind: "or";
21
- readonly left: PredicateAst;
22
- readonly right: PredicateAst;
23
- readonly span: Span;
24
- } | {
25
- readonly kind: "and";
26
- readonly left: PredicateAst;
27
- readonly right: PredicateAst;
28
- readonly span: Span;
29
- } | {
30
- readonly kind: "not";
31
- readonly operand: PredicateAst;
32
- readonly span: Span;
33
- } | {
34
- readonly kind: "comparison";
35
- readonly name: string;
36
- readonly op: ComparisonOp;
37
- readonly literal: PredicateLiteral;
38
- readonly span: Span;
39
- } | {
40
- readonly kind: "name";
41
- readonly name: string;
42
- readonly span: Span;
43
- };
44
- /**
45
- * Parses a predicate. `baseOffset` is the absolute source offset of the
46
- * predicate's first character (an <If> test attribute passes valueSpan.start),
47
- * so diagnostic and node spans point into the containing document.
48
- */
49
- declare const parsePredicate: (source: string, baseOffset?: number) => Result<PredicateAst, ReadonlyArray<Diagnostic>>;
50
- declare const evaluatePredicate: (ast: PredicateAst, variables: Record<string, unknown>) => boolean;
51
- /** Canonical form: single space around operators/keywords, minimal parens. */
52
- declare const printPredicate: (ast: PredicateAst) => string;
53
- declare const collectPredicateVariables: (ast: PredicateAst) => Set<string>;
54
- //#endregion
55
- export { collectPredicateVariables as a, printPredicate as c, PredicateLiteral as i, PREDICATE_PARSER_LIMITS as n, evaluatePredicate as o, PredicateAst as r, parsePredicate as s, ComparisonOp as t };
56
- //# sourceMappingURL=predicate-M-05Nd7R.d.ts.map
@@ -1,2 +0,0 @@
1
- import { a as collectPredicateVariables, c as printPredicate, i as PredicateLiteral, n as PREDICATE_PARSER_LIMITS, o as evaluatePredicate, r as PredicateAst, s as parsePredicate, t as ComparisonOp } from "./predicate-M-05Nd7R.js";
2
- export { ComparisonOp, PREDICATE_PARSER_LIMITS, PredicateAst, PredicateLiteral, collectPredicateVariables, evaluatePredicate, parsePredicate, printPredicate };
package/dist/predicate.js DELETED
@@ -1,2 +0,0 @@
1
- import { a as printPredicate, i as parsePredicate, n as collectPredicateVariables, r as evaluatePredicate, t as PREDICATE_PARSER_LIMITS } from "./predicate-BI6uRRM-.js";
2
- export { PREDICATE_PARSER_LIMITS, collectPredicateVariables, evaluatePredicate, parsePredicate, printPredicate };
package/dist/printer.d.ts DELETED
@@ -1,6 +0,0 @@
1
- import { b as SmlDocument } from "./ast-BrDtApwS.js";
2
- //#region src/printer.d.ts
3
- declare const printSml: (document: SmlDocument) => string;
4
- //#endregion
5
- export { printSml };
6
- //# sourceMappingURL=printer.d.ts.map