@gyral/core 0.2.0 → 0.3.0

package/dist/view/normalize/rules.d.ts

@@ -0,0 +1,30 @@
+/** Messages, by rule. Each names the fix. */
+export declare const msg: {
+    eventBinding: (name: string) => string;
+    dynamicTag: () => string;
+    dynamicName: () => string;
+    inRawText: (tag: string) => string;
+    inComment: () => string;
+    inDoctype: () => string;
+    inTemplate: () => string;
+    formState: (tag: string, name: string, write: string) => string;
+    unquoted: (name: string) => string;
+    notSingle: (name: string) => string;
+    selfClosing: (tag: string) => string;
+    repaired: (what: string, write: string) => string;
+    badEndTag: () => string;
+    unterminated: (what: "comment" | "tag") => string;
+    svgOnly: (tag: string) => string;
+    serverOnly: () => string;
+    textContent: (tag: string) => string;
+    charRef: (ref: string) => string;
+};
+/**
+ * Rule 4: property bindings that would be form state (view/02-bindings.md "Live form state").
+ * Returns the spelling to use instead, or undefined when the binding is fine.
+ */
+export declare function formStateFix(tag: string, name: string): string | undefined;
+/** Rule 10: SVG element names that HTML doesn't share (lower case). */
+export declare const SVG_ONLY: Set<string>;
+/** HTML void elements: no end tag, no content. */
+export declare const VOID: Set<string>;

package/dist/view/normalize/rules.js

@@ -0,0 +1,90 @@
+// The template rules of view/09-template-rules.md that one template's strings reveal: every
+// message says what is wrong and what to write instead (core belief 7). The tokenizer
+// (rules 1, 2, 3, 5), the tree builder (3, 4, 6, 7, 10, 12, 13) and repairs.ts (7) throw them
+// through Source.fail; the browser's own parse (prepare.ts) backs rule 7 up, and
+// template-element.ts throws rule 11 when a server template reaches the browser.
+import { SERVER_ONLY } from './errors.js';
+const H = '${…}';
+/** Messages, by rule. Each names the fix. */
+export const msg = {
+    // 1
+    eventBinding: (name) => `${name}=${H} is an event binding, and Gyral has none: views never attach listeners. ` +
+        `Name the intent instead, data-intent=\${i.Name}, and parse the event in the component's ` +
+        `intent (ADR 0001).`,
+    // 2
+    dynamicTag: () => `A hole can't be (part of) a tag name: <${H}> and </${H}> are not supported. Choose ` +
+        `between whole templates instead: \${cond ? html\`<a>…</a>\` : html\`<b>…</b>\`}. ` +
+        `For a literal "<" next to a value, write &lt;.`,
+    dynamicName: () => `A hole can't be (part of) an attribute name. Write the name statically (name=${H}), ` +
+        `use ?name=${H} to add or remove it, or choose between whole templates.`,
+    // 3
+    inRawText: (tag) => `A hole can't sit inside <${tag}>: no part can live there, and values in it are an ` +
+        `injection risk. Pass data through an attribute, styles through a CSS custom property ` +
+        `(style=\${\`--x: \${v}\`}), or trusted markup through raw().`,
+    inComment: () => `A hole can't sit inside an HTML comment: no part can live there. Move the value out of ` +
+        `the comment, or drop the comment.`,
+    inDoctype: () => `A hole can't sit inside <!doctype>. Write the doctype statically: <!doctype html>.`,
+    inTemplate: () => `A hole can't sit inside a <template> element: its content is inert and no part can live ` +
+        `there. Render the content with a nested html\`…\` template in a child hole instead.`,
+    // 4
+    formState: (tag, name, write) => `.${name}=${H} on <${tag}> binds form state as a property, which never reaches the ` +
+        `server and has a second spelling. Write ${write} instead: Gyral keeps it live ` +
+        `(view/02-bindings.md, "Live form state").`,
+    // 5
+    unquoted: (name) => `${name}=… mixes static text and holes without quotes, which is ambiguous. Quote the ` +
+        `whole value: ${name}="a ${H}".`,
+    notSingle: (name) => `${name} takes exactly one value and no static text. Write ${name}=${H}, and build the ` +
+        `value in the expression.`,
+    // 6
+    selfClosing: (tag) => `<${tag} /> is not self-closing in HTML: the parser ignores the "/", so <${tag}> would ` +
+        `swallow the siblings that follow it. Write <${tag}></${tag}>.`,
+    // 7
+    repaired: (what, write) => `${what}. The HTML parser repairs this markup, so the DOM would differ from the template ` +
+        `and part paths would shift. ${write}`,
+    badEndTag: () => `"</" must start an end tag such as </p>. For a literal "</" in text, write &lt;/.`,
+    unterminated: (what) => what === 'comment'
+        ? `The template ends inside a comment or <!…> declaration. Close it with -->.`
+        : `The template ends inside a tag, so the parser would drop it. Close the tag with ">".`,
+    // 10
+    svgOnly: (tag) => `<${tag}> is an SVG element outside an <svg>: there is no svg tag, and the HTML parser ` +
+        `creates SVG elements only inside <svg>. Wrap it: <svg viewBox="…"><${tag} …></${tag}></svg>.`,
+    // 11
+    serverOnly: () => SERVER_ONLY,
+    // 12 (proposed)
+    textContent: (tag) => `A hole in <${tag}> must be its whole content. Write <${tag}>${H}</${tag}> and build the ` +
+        `text in the value: <${tag}>\${\`\${page} | Site\`}</${tag}>.`,
+    // 13 (proposed)
+    charRef: (ref) => `&${ref}; in the static text of a bound or custom-element attribute is a named character ` +
+        `reference the normalizer doesn't decode (it knows &amp; &lt; &gt; &quot; &apos; &nbsp;). ` +
+        `Write the character itself, or a numeric reference such as &#169;.`,
+};
+/**
+ * Rule 4: property bindings that would be form state (view/02-bindings.md "Live form state").
+ * Returns the spelling to use instead, or undefined when the binding is fine.
+ */
+const FORM_STATE = {
+    input: { value: `value=${H}`, checked: `?checked=${H}`, indeterminate: `?indeterminate=${H}` },
+    textarea: { value: `<textarea>${H}</textarea>` },
+    select: { value: `?selected=${H} on the chosen <option>` },
+    option: { selected: `?selected=${H}`, value: `value=${H}` },
+    details: { open: `?open=${H}` },
+    dialog: { open: `?open=${H}` },
+};
+/**
+ * Rule 4: property bindings that would be form state (view/02-bindings.md "Live form state").
+ * Returns the spelling to use instead, or undefined when the binding is fine.
+ */
+export function formStateFix(tag, name) {
+    return FORM_STATE[tag]?.[name];
+}
+/** Rule 10: SVG element names that HTML doesn't share (lower case). */
+export const SVG_ONLY = new Set(('animate animatemotion animatetransform circle clippath defs desc ellipse feblend ' +
+    'fecolormatrix fecomponenttransfer fecomposite feconvolvematrix fediffuselighting ' +
+    'fedisplacementmap fedropshadow feflood fegaussianblur feimage femerge femergenode ' +
+    'femorphology feoffset fespecularlighting fetile feturbulence filter foreignobject g line ' +
+    'lineargradient marker mask metadata mpath path pattern polygon polyline radialgradient ' +
+    'rect stop symbol text textpath tspan use').split(' '));
+/** HTML void elements: no end tag, no content. */
+export const VOID = new Set(('area base basefont bgsound br col embed frame hr img input keygen link meta param source ' +
+    'track wbr').split(' '));
+//# sourceMappingURL=rules.js.map

package/dist/view/normalize/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../src/view/normalize/rules.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,sFAAsF;AACtF,8FAA8F;AAC9F,iFAAiF;AACjF,iFAAiF;AAEjF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,CAAC,GAAG,MAAM,CAAC;AAEjB,6CAA6C;AAC7C,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,IAAI;IACJ,YAAY,EAAE,CAAC,IAAY,EAAU,EAAE,CACrC,GAAG,IAAI,IAAI,CAAC,0EAA0E;QACtF,0FAA0F;QAC1F,oBAAoB;IACtB,IAAI;IACJ,UAAU,EAAE,GAAW,EAAE,CACvB,0CAA0C,CAAC,WAAW,CAAC,8BAA8B;QACrF,mFAAmF;QACnF,gDAAgD;IAClD,WAAW,EAAE,GAAW,EAAE,CACxB,gFAAgF,CAAC,KAAK;QACtF,aAAa,CAAC,0DAA0D;IAC1E,IAAI;IACJ,SAAS,EAAE,CAAC,GAAW,EAAU,EAAE,CACjC,4BAA4B,GAAG,qDAAqD;QACpF,uFAAuF;QACvF,8DAA8D;IAChE,SAAS,EAAE,GAAW,EAAE,CACtB,yFAAyF;QACzF,mCAAmC;IACrC,SAAS,EAAE,GAAW,EAAE,CACtB,oFAAoF;IACtF,UAAU,EAAE,GAAW,EAAE,CACvB,0FAA0F;QAC1F,qFAAqF;IACvF,IAAI;IACJ,SAAS,EAAE,CAAC,GAAW,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAC9D,IAAI,IAAI,IAAI,CAAC,QAAQ,GAAG,4DAA4D;QACpF,2CAA2C,KAAK,gCAAgC;QAChF,2CAA2C;IAC7C,IAAI;IACJ,QAAQ,EAAE,CAAC,IAAY,EAAU,EAAE,CACjC,GAAG,IAAI,+EAA+E;QACtF,gBAAgB,IAAI,OAAO,CAAC,IAAI;IAClC,SAAS,EAAE,CAAC,IAAY,EAAU,EAAE,CAClC,GAAG,IAAI,sDAAsD,IAAI,IAAI,CAAC,kBAAkB;QACxF,0BAA0B;IAC5B,IAAI;IACJ,WAAW,EAAE,CAAC,GAAW,EAAU,EAAE,CACnC,IAAI,GAAG,oEAAoE,GAAG,UAAU;QACxF,+CAA+C,GAAG,MAAM,GAAG,IAAI;IACjE,IAAI;IACJ,QAAQ,EAAE,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAChD,GAAG,IAAI,mFAAmF;QAC1F,+BAA+B,KAAK,EAAE;IACxC,SAAS,EAAE,GAAW,EAAE,CACtB,mFAAmF;IACrF,YAAY,EAAE,CAAC,IAAuB,EAAU,EAAE,CAChD,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,4EAA4E;QAC9E,CAAC,CAAC,sFAAsF;IAC5F,KAAK;IACL,OAAO,EAAE,CAAC,GAAW,EAAU,EAAE,CAC/B,IAAI,GAAG,iFAAiF;QACxF,sEAAsE,GAAG,QAAQ,GAAG,UAAU;IAChG,KAAK;IACL,UAAU,EAAE,GAAW,EAAE,CAAC,WAAW;IACrC,gBAAgB;IAChB,WAAW,EAAE,CAAC,GAAW,EAAU,EAAE,CACnC,cAAc,GAAG,uCAAuC,GAAG,IAAI,CAAC,KAAK,GAAG,kBAAkB;QAC1F,uBAAuB,GAAG,6BAA6B,GAAG,IAAI;IAChE,gBAAgB;IAChB,OAAO,EAAE,CAAC,GAAW,EAAU,EAAE,CAC/B,IAAI,GAAG,mFAAmF;QAC1F,2FAA2F;QAC3F,oEAAoE;CACvE,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,GAAuD;IACrE,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,aAAa,EAAE,kBAAkB,CAAC,EAAE,EAAE;IAC9F,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,aAAa,EAAE;IAChD,MAAM,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,yBAAyB,EAAE;IAC1D,MAAM,EAAE,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE;IAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE;IAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE;CAC/B,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,IAAY;IACpD,OAAO,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAC7B,CACE,mFAAmF;IACnF,mFAAmF;IACnF,oFAAoF;IACpF,2FAA2F;IAC3F,yFAAyF;IACzF,0CAA0C,CAC3C,CAAC,KAAK,CAAC,GAAG,CAAC,CACb,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CACzB,CACE,2FAA2F;IAC3F,WAAW,CACZ,CAAC,KAAK,CAAC,GAAG,CAAC,CACb,CAAC","sourcesContent":["// The template rules of view/09-template-rules.md that one template's strings reveal: every\n// message says what is wrong and what to write instead (core belief 7). The tokenizer\n// (rules 1, 2, 3, 5), the tree builder (3, 4, 6, 7, 10, 12, 13) and repairs.ts (7) throw them\n// through Source.fail; the browser's own parse (prepare.ts) backs rule 7 up, and\n// template-element.ts throws rule 11 when a server template reaches the browser.\n\nimport { SERVER_ONLY } from './errors.js';\n\nconst H = '${…}';\n\n/** Messages, by rule. Each names the fix. */\nexport const msg = {\n  // 1\n  eventBinding: (name: string): string =>\n    `${name}=${H} is an event binding, and Gyral has none: views never attach listeners. ` +\n    `Name the intent instead, data-intent=\\${i.Name}, and parse the event in the component's ` +\n    `intent (ADR 0001).`,\n  // 2\n  dynamicTag: (): string =>\n    `A hole can't be (part of) a tag name: <${H}> and </${H}> are not supported. Choose ` +\n    `between whole templates instead: \\${cond ? html\\`<a>…</a>\\` : html\\`<b>…</b>\\`}. ` +\n    `For a literal \"<\" next to a value, write &lt;.`,\n  dynamicName: (): string =>\n    `A hole can't be (part of) an attribute name. Write the name statically (name=${H}), ` +\n    `use ?name=${H} to add or remove it, or choose between whole templates.`,\n  // 3\n  inRawText: (tag: string): string =>\n    `A hole can't sit inside <${tag}>: no part can live there, and values in it are an ` +\n    `injection risk. Pass data through an attribute, styles through a CSS custom property ` +\n    `(style=\\${\\`--x: \\${v}\\`}), or trusted markup through raw().`,\n  inComment: (): string =>\n    `A hole can't sit inside an HTML comment: no part can live there. Move the value out of ` +\n    `the comment, or drop the comment.`,\n  inDoctype: (): string =>\n    `A hole can't sit inside <!doctype>. Write the doctype statically: <!doctype html>.`,\n  inTemplate: (): string =>\n    `A hole can't sit inside a <template> element: its content is inert and no part can live ` +\n    `there. Render the content with a nested html\\`…\\` template in a child hole instead.`,\n  // 4\n  formState: (tag: string, name: string, write: string): string =>\n    `.${name}=${H} on <${tag}> binds form state as a property, which never reaches the ` +\n    `server and has a second spelling. Write ${write} instead: Gyral keeps it live ` +\n    `(view/02-bindings.md, \"Live form state\").`,\n  // 5\n  unquoted: (name: string): string =>\n    `${name}=… mixes static text and holes without quotes, which is ambiguous. Quote the ` +\n    `whole value: ${name}=\"a ${H}\".`,\n  notSingle: (name: string): string =>\n    `${name} takes exactly one value and no static text. Write ${name}=${H}, and build the ` +\n    `value in the expression.`,\n  // 6\n  selfClosing: (tag: string): string =>\n    `<${tag} /> is not self-closing in HTML: the parser ignores the \"/\", so <${tag}> would ` +\n    `swallow the siblings that follow it. Write <${tag}></${tag}>.`,\n  // 7\n  repaired: (what: string, write: string): string =>\n    `${what}. The HTML parser repairs this markup, so the DOM would differ from the template ` +\n    `and part paths would shift. ${write}`,\n  badEndTag: (): string =>\n    `\"</\" must start an end tag such as </p>. For a literal \"</\" in text, write &lt;/.`,\n  unterminated: (what: 'comment' | 'tag'): string =>\n    what === 'comment'\n      ? `The template ends inside a comment or <!…> declaration. Close it with -->.`\n      : `The template ends inside a tag, so the parser would drop it. Close the tag with \">\".`,\n  // 10\n  svgOnly: (tag: string): string =>\n    `<${tag}> is an SVG element outside an <svg>: there is no svg tag, and the HTML parser ` +\n    `creates SVG elements only inside <svg>. Wrap it: <svg viewBox=\"…\"><${tag} …></${tag}></svg>.`,\n  // 11\n  serverOnly: (): string => SERVER_ONLY,\n  // 12 (proposed)\n  textContent: (tag: string): string =>\n    `A hole in <${tag}> must be its whole content. Write <${tag}>${H}</${tag}> and build the ` +\n    `text in the value: <${tag}>\\${\\`\\${page} | Site\\`}</${tag}>.`,\n  // 13 (proposed)\n  charRef: (ref: string): string =>\n    `&${ref}; in the static text of a bound or custom-element attribute is a named character ` +\n    `reference the normalizer doesn't decode (it knows &amp; &lt; &gt; &quot; &apos; &nbsp;). ` +\n    `Write the character itself, or a numeric reference such as &#169;.`,\n};\n\n/**\n * Rule 4: property bindings that would be form state (view/02-bindings.md \"Live form state\").\n * Returns the spelling to use instead, or undefined when the binding is fine.\n */\nconst FORM_STATE: Record<string, Record<string, string> | undefined> = {\n  input: { value: `value=${H}`, checked: `?checked=${H}`, indeterminate: `?indeterminate=${H}` },\n  textarea: { value: `<textarea>${H}</textarea>` },\n  select: { value: `?selected=${H} on the chosen <option>` },\n  option: { selected: `?selected=${H}`, value: `value=${H}` },\n  details: { open: `?open=${H}` },\n  dialog: { open: `?open=${H}` },\n};\n\n/**\n * Rule 4: property bindings that would be form state (view/02-bindings.md \"Live form state\").\n * Returns the spelling to use instead, or undefined when the binding is fine.\n */\nexport function formStateFix(tag: string, name: string): string | undefined {\n  return FORM_STATE[tag]?.[name];\n}\n\n/** Rule 10: SVG element names that HTML doesn't share (lower case). */\nexport const SVG_ONLY = new Set(\n  (\n    'animate animatemotion animatetransform circle clippath defs desc ellipse feblend ' +\n    'fecolormatrix fecomponenttransfer fecomposite feconvolvematrix fediffuselighting ' +\n    'fedisplacementmap fedropshadow feflood fegaussianblur feimage femerge femergenode ' +\n    'femorphology feoffset fespecularlighting fetile feturbulence filter foreignobject g line ' +\n    'lineargradient marker mask metadata mpath path pattern polygon polyline radialgradient ' +\n    'rect stop symbol text textpath tspan use'\n  ).split(' '),\n);\n\n/** HTML void elements: no end tag, no content. */\nexport const VOID = new Set(\n  (\n    'area base basefont bgsound br col embed frame hr img input keygen link meta param source ' +\n    'track wbr'\n  ).split(' '),\n);\n"]}

package/dist/view/normalize/shape.d.ts

@@ -0,0 +1,5 @@
+import type { Shape, TemplateObject } from './types.js';
+/** The first place where `got` differs from `want`, as a message; undefined if none. */
+export declare function shapeMismatch(want: Shape, got: Shape, path?: readonly number[]): string | undefined;
+/** Rule 7's error for a parse that differs from the template's shape (`problem`). */
+export declare function repairError(template: TemplateObject, parser: string, problem: string): Error;

package/dist/view/normalize/shape.js

@@ -0,0 +1,38 @@
+// Rule 7 by comparison (view/09-template-rules.md "How rule 7 is checked"): the DOM an HTML
+// parser built from a template's HTML, as a Shape, against the shape the normalizer computed
+// the part paths for. Any difference means the parser repaired the markup. The runtime
+// preparer feeds it the browser's own parse (prepare.ts); the Vite template compiler feeds it
+// parse5's (src/compiler/parse5-check.ts). No DOM here: it runs in Node and in the browser.
+import { TemplateError } from './errors.js';
+const describe = (node) => node === undefined
+    ? 'nothing'
+    : typeof node === 'string'
+        ? node === '#text'
+            ? 'text'
+            : 'a comment'
+        : `<${node[0]}>`;
+const same = (want, got) => typeof want === 'string' ? want === got : typeof got !== 'string' && want[0] === got[0];
+/** The first place where `got` differs from `want`, as a message; undefined if none. */
+export function shapeMismatch(want, got, path = []) {
+    for (let k = 0; k < Math.max(want.length, got.length); k++) {
+        const w = want[k];
+        const g = got[k];
+        if (w === undefined || g === undefined || !same(w, g)) {
+            return `at path [${[...path, k].join(', ')}]: expected ${describe(w)}, found ${describe(g)}`;
+        }
+        if (typeof w !== 'string' && typeof g !== 'string') {
+            const inner = shapeMismatch(w[1], g[1], [...path, k]);
+            if (inner !== undefined)
+                return inner;
+        }
+    }
+    return undefined;
+}
+/** Rule 7's error for a parse that differs from the template's shape (`problem`). */
+export function repairError(template, parser, problem) {
+    return new TemplateError(7, `${parser} built a different DOM for this template ${problem}. It repaired the markup ` +
+        `(for example <tr> directly in <table>, a block element inside <p>, or <a> inside ` +
+        `<a>), so part paths would point at the wrong nodes. Write the valid structure ` +
+        `(<tbody>, closing </p> first, …).\n  template: ${template.html.slice(0, 120)}`, template.loc);
+}
+//# sourceMappingURL=shape.js.map

package/dist/view/normalize/shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../../src/view/normalize/shape.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,6FAA6F;AAC7F,uFAAuF;AACvF,8FAA8F;AAC9F,4FAA4F;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAG5C,MAAM,QAAQ,GAAG,CAAC,IAA2B,EAAU,EAAE,CACvD,IAAI,KAAK,SAAS;IAChB,CAAC,CAAC,SAAS;IACX,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ;QACxB,CAAC,CAAC,IAAI,KAAK,OAAO;YAChB,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,WAAW;QACf,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AAEvB,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,GAAc,EAAW,EAAE,CACxD,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AAE1F,wFAAwF;AACxF,MAAM,UAAU,aAAa,CAC3B,IAAW,EACX,GAAU,EACV,OAA0B,EAAE;IAE5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,YAAY,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,QAAQ,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,QAAwB,EAAE,MAAc,EAAE,OAAe;IACnF,OAAO,IAAI,aAAa,CACtB,CAAC,EACD,GAAG,MAAM,4CAA4C,OAAO,2BAA2B;QACrF,mFAAmF;QACnF,gFAAgF;QAChF,kDAAkD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EACjF,QAAQ,CAAC,GAAG,CACb,CAAC;AACJ,CAAC","sourcesContent":["// Rule 7 by comparison (view/09-template-rules.md \"How rule 7 is checked\"): the DOM an HTML\n// parser built from a template's HTML, as a Shape, against the shape the normalizer computed\n// the part paths for. Any difference means the parser repaired the markup. The runtime\n// preparer feeds it the browser's own parse (prepare.ts); the Vite template compiler feeds it\n// parse5's (src/compiler/parse5-check.ts). No DOM here: it runs in Node and in the browser.\nimport { TemplateError } from './errors.js';\nimport type { Shape, ShapeNode, TemplateObject } from './types.js';\n\nconst describe = (node: ShapeNode | undefined): string =>\n  node === undefined\n    ? 'nothing'\n    : typeof node === 'string'\n      ? node === '#text'\n        ? 'text'\n        : 'a comment'\n      : `<${node[0]}>`;\n\nconst same = (want: ShapeNode, got: ShapeNode): boolean =>\n  typeof want === 'string' ? want === got : typeof got !== 'string' && want[0] === got[0];\n\n/** The first place where `got` differs from `want`, as a message; undefined if none. */\nexport function shapeMismatch(\n  want: Shape,\n  got: Shape,\n  path: readonly number[] = [],\n): string | undefined {\n  for (let k = 0; k < Math.max(want.length, got.length); k++) {\n    const w = want[k];\n    const g = got[k];\n    if (w === undefined || g === undefined || !same(w, g)) {\n      return `at path [${[...path, k].join(', ')}]: expected ${describe(w)}, found ${describe(g)}`;\n    }\n    if (typeof w !== 'string' && typeof g !== 'string') {\n      const inner = shapeMismatch(w[1], g[1], [...path, k]);\n      if (inner !== undefined) return inner;\n    }\n  }\n  return undefined;\n}\n\n/** Rule 7's error for a parse that differs from the template's shape (`problem`). */\nexport function repairError(template: TemplateObject, parser: string, problem: string): Error {\n  return new TemplateError(\n    7,\n    `${parser} built a different DOM for this template ${problem}. It repaired the markup ` +\n      `(for example <tr> directly in <table>, a block element inside <p>, or <a> inside ` +\n      `<a>), so part paths would point at the wrong nodes. Write the valid structure ` +\n      `(<tbody>, closing </p> first, …).\\n  template: ${template.html.slice(0, 120)}`,\n    template.loc,\n  );\n}\n"]}

package/dist/view/normalize/source.d.ts

@@ -0,0 +1,13 @@
+export declare class Source {
+    readonly strings: readonly string[];
+    readonly loc: string | undefined;
+    /** Index of the string being read, and the offset in it. */
+    i: number;
+    pos: number;
+    constructor(strings: readonly string[], loc: string | undefined);
+    get last(): boolean;
+    /** The markup around the current position, with holes shown as `${…}`. */
+    near(): string;
+    /** Throws rule `rule`'s error, quoting the markup at the current position. */
+    fail(rule: number, message: string): never;
+}

package/dist/view/normalize/source.js

@@ -0,0 +1,34 @@
+// The strings being normalized and the tokenizer's position in them, so every rule violation
+// (view/09-template-rules.md) can quote the markup it is about.
+import { TemplateError } from './errors.js';
+const HOLE = '${…}';
+export class Source {
+    constructor(strings, loc) {
+        this.strings = strings;
+        this.loc = loc;
+        /** Index of the string being read, and the offset in it. */
+        this.i = 0;
+        this.pos = 0;
+    }
+    get last() {
+        return this.i === this.strings.length - 1;
+    }
+    /** The markup around the current position, with holes shown as `${…}`. */
+    near() {
+        const s = this.strings[this.i] ?? '';
+        let before = s.slice(Math.max(0, this.pos - 40), this.pos);
+        if (this.pos < 40 && this.i > 0) {
+            before = (this.strings[this.i - 1] ?? '').slice(this.pos - 40) + HOLE + before;
+        }
+        let after = s.slice(this.pos, this.pos + 20);
+        if (this.pos + 20 > s.length && !this.last) {
+            after += HOLE + (this.strings[this.i + 1] ?? '').slice(0, 20 - after.length);
+        }
+        return `${before}${after}`.replace(/\s+/g, ' ').trim();
+    }
+    /** Throws rule `rule`'s error, quoting the markup at the current position. */
+    fail(rule, message) {
+        throw new TemplateError(rule, message, this.loc, this.near());
+    }
+}
+//# sourceMappingURL=source.js.map

package/dist/view/normalize/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/view/normalize/source.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,gEAAgE;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,OAAO,MAAM;IAKjB,YACW,OAA0B,EAC1B,GAAuB;QADvB,YAAO,GAAP,OAAO,CAAmB;QAC1B,QAAG,GAAH,GAAG,CAAoB;QANlC,4DAA4D;QAC5D,MAAC,GAAG,CAAC,CAAC;QACN,QAAG,GAAG,CAAC,CAAC;IAKL,CAAC;IAEJ,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,0EAA0E;IAC1E,IAAI;QACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,GAAG,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC;QACjF,CAAC;QACD,IAAI,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3C,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,CAAC;IAED,8EAA8E;IAC9E,IAAI,CAAC,IAAY,EAAE,OAAe;QAChC,MAAM,IAAI,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;CACF","sourcesContent":["// The strings being normalized and the tokenizer's position in them, so every rule violation\n// (view/09-template-rules.md) can quote the markup it is about.\nimport { TemplateError } from './errors.js';\n\nconst HOLE = '${…}';\n\nexport class Source {\n  /** Index of the string being read, and the offset in it. */\n  i = 0;\n  pos = 0;\n\n  constructor(\n    readonly strings: readonly string[],\n    readonly loc: string | undefined,\n  ) {}\n\n  get last(): boolean {\n    return this.i === this.strings.length - 1;\n  }\n\n  /** The markup around the current position, with holes shown as `${…}`. */\n  near(): string {\n    const s = this.strings[this.i] ?? '';\n    let before = s.slice(Math.max(0, this.pos - 40), this.pos);\n    if (this.pos < 40 && this.i > 0) {\n      before = (this.strings[this.i - 1] ?? '').slice(this.pos - 40) + HOLE + before;\n    }\n    let after = s.slice(this.pos, this.pos + 20);\n    if (this.pos + 20 > s.length && !this.last) {\n      after += HOLE + (this.strings[this.i + 1] ?? '').slice(0, 20 - after.length);\n    }\n    return `${before}${after}`.replace(/\\s+/g, ' ').trim();\n  }\n\n  /** Throws rule `rule`'s error, quoting the markup at the current position. */\n  fail(rule: number, message: string): never {\n    throw new TemplateError(rule, message, this.loc, this.near());\n  }\n}\n"]}

package/dist/view/normalize/tag-states.d.ts

@@ -0,0 +1,23 @@
+import type { Source } from './source.js';
+import { type Sink, type StartTag, type State } from './tokens.js';
+export declare abstract class TagStates {
+    protected readonly src: Source;
+    protected readonly sink: Sink;
+    protected state: State;
+    protected buf: string;
+    protected rawEnd: string;
+    protected tag: StartTag;
+    private attrName;
+    private pieces;
+    constructor(src: Source, sink: Sink);
+    protected tagChar(c: string): void;
+    private startName;
+    private endValueless;
+    private pushStatic;
+    private endQuoted;
+    /** A bound attribute named `attrName`; `strings` for a multi-attribute. */
+    private pushBound;
+    private emitTag;
+    /** A hole in a start tag (after string `src.i`). */
+    protected holeInTag(): void;
+}

package/dist/view/normalize/tag-states.js

@@ -0,0 +1,192 @@
+// The start-tag states of the template tokenizer (WHATWG HTML: before/after attribute name,
+// attribute name, before attribute value, attribute value in double/single/no quotes, after
+// attribute value, self-closing start tag), and what a hole means in each: an attribute,
+// multi-attribute, boolean, property or hook (view/02-bindings.md), or rule 1, 2 or 5
+// (view/09-template-rules.md). tokenizer.ts adds the data, comment and raw text states.
+import { msg } from './rules.js';
+import { isWs, S } from './tokens.js';
+export class TagStates {
+    constructor(src, sink) {
+        this.src = src;
+        this.sink = sink;
+        this.state = S.Data;
+        this.buf = '';
+        this.rawEnd = '';
+        this.tag = { name: '', raw: '', attrs: [], selfClosing: false };
+        this.attrName = '';
+        this.pieces = [];
+    }
+    tagChar(c) {
+        this.src.pos += 1;
+        switch (this.state) {
+            case S.BeforeName:
+                if (isWs(c))
+                    return;
+                if (c === '/')
+                    this.state = S.SelfClosing;
+                else if (c === '>')
+                    this.emitTag();
+                else
+                    this.startName(c);
+                return;
+            case S.Name:
+                if (isWs(c))
+                    this.state = S.AfterName;
+                else if (c === '=')
+                    this.state = S.BeforeValue;
+                else if (c === '/' || c === '>')
+                    this.endValueless(c);
+                else
+                    this.attrName += c;
+                return;
+            case S.AfterName:
+                if (isWs(c))
+                    return;
+                if (c === '=')
+                    this.state = S.BeforeValue;
+                else if (c === '/' || c === '>')
+                    this.endValueless(c);
+                else {
+                    this.pushStatic(null);
+                    this.startName(c);
+                }
+                return;
+            case S.BeforeValue:
+                if (isWs(c))
+                    return;
+                this.buf = '';
+                this.pieces = [];
+                if (c === '"')
+                    this.state = S.ValueDq;
+                else if (c === "'")
+                    this.state = S.ValueSq;
+                else if (c === '>') {
+                    this.pushStatic('""');
+                    this.emitTag();
+                }
+                else {
+                    this.buf = c;
+                    this.state = S.ValueUnq;
+                }
+                return;
+            case S.ValueDq:
+            case S.ValueSq:
+                if (c === (this.state === S.ValueDq ? '"' : "'"))
+                    this.endQuoted(c);
+                else
+                    this.buf += c;
+                return;
+            case S.ValueUnq:
+                if (isWs(c) || c === '>') {
+                    this.pushStatic(this.buf);
+                    this.state = S.BeforeName;
+                    if (c === '>')
+                        this.emitTag();
+                }
+                else
+                    this.buf += c;
+                return;
+            default:
+                // AfterValueQ and SelfClosing: `>` ends the tag, anything else starts a new attribute.
+                if (c === '>') {
+                    this.tag.selfClosing = this.state === S.SelfClosing;
+                    this.emitTag();
+                }
+                else if (c === '/')
+                    this.state = S.SelfClosing;
+                else if (!isWs(c))
+                    this.startName(c);
+                else
+                    this.state = S.BeforeName;
+        }
+    }
+    startName(c) {
+        this.attrName = c;
+        this.state = S.Name;
+    }
+    endValueless(c) {
+        this.pushStatic(null);
+        if (c === '>')
+            this.emitTag();
+        else
+            this.state = S.SelfClosing;
+    }
+    pushStatic(value) {
+        this.tag.attrs.push({ kind: 'static', name: this.attrName, value });
+    }
+    endQuoted(quote) {
+        this.state = S.AfterValueQ;
+        if (this.pieces.length === 0) {
+            this.pushStatic(quote + this.buf + quote);
+            return;
+        }
+        this.pieces.push(this.buf);
+        const single = this.pieces.length === 2 && this.pieces[0] === '' && this.pieces[1] === '';
+        this.pushBound(single ? undefined : this.pieces);
+    }
+    /** A bound attribute named `attrName`; `strings` for a multi-attribute. */
+    pushBound(strings) {
+        const name = this.attrName;
+        const prefix = name.charAt(0);
+        if (prefix === '@')
+            this.src.fail(1, msg.eventBinding(name));
+        if (prefix === '?' || prefix === '.') {
+            if (strings !== undefined)
+                this.src.fail(5, msg.notSingle(name));
+            const kind = prefix === '?' ? 'bool' : 'prop';
+            this.tag.attrs.push({ kind, name: name.slice(1) });
+            return;
+        }
+        this.tag.attrs.push(strings === undefined ? { kind: 'attr', name } : { kind: 'attr', name, strings });
+    }
+    emitTag() {
+        const mode = this.sink.start(this.tag);
+        this.rawEnd = this.tag.name;
+        this.state = mode === 'data' ? S.Data : mode === 'rawtext' ? S.RawText : S.RcData;
+    }
+    /** A hole in a start tag (after string `src.i`). */
+    holeInTag() {
+        const { src } = this;
+        const next = src.strings[src.i + 1] ?? '';
+        const c = next.charAt(0);
+        const event = this.attrName.startsWith('@');
+        switch (this.state) {
+            case S.Name:
+                if (event)
+                    src.fail(1, msg.eventBinding(this.attrName));
+                src.fail(2, msg.dynamicName());
+                break;
+            case S.BeforeValue: {
+                // The template ending here is rule 7 (unterminated tag), reported by the tokenizer.
+                const atEnd = c === '' && src.i + 1 === src.strings.length - 1;
+                const ends = isWs(c) || c === '>' || next.startsWith('/>') || atEnd;
+                if (!event && !ends)
+                    src.fail(5, msg.unquoted(this.attrName));
+                this.pushBound(undefined);
+                this.state = S.BeforeName;
+                break;
+            }
+            case S.ValueUnq:
+                if (event)
+                    src.fail(1, msg.eventBinding(this.attrName));
+                src.fail(5, msg.unquoted(this.attrName));
+                break;
+            case S.ValueDq:
+            case S.ValueSq:
+                if (event)
+                    src.fail(1, msg.eventBinding(this.attrName));
+                this.pieces.push(this.buf);
+                this.buf = '';
+                break;
+            default:
+                // Before an attribute name: an element hook.
+                if (this.state === S.AfterName)
+                    this.pushStatic(null);
+                if (c !== '' && !isWs(c) && c !== '>' && c !== '/')
+                    src.fail(2, msg.dynamicName());
+                this.tag.attrs.push({ kind: 'hook', name: '' });
+                this.state = S.BeforeName;
+        }
+    }
+}
+//# sourceMappingURL=tag-states.js.map

package/dist/view/normalize/tag-states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag-states.js","sourceRoot":"","sources":["../../../src/view/normalize/tag-states.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,4FAA4F;AAC5F,yFAAyF;AACzF,sFAAsF;AACtF,wFAAwF;AACxF,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAwC,MAAM,aAAa,CAAC;AAE5E,MAAM,OAAgB,SAAS;IAQ7B,YACqB,GAAW,EACX,IAAU;QADV,QAAG,GAAH,GAAG,CAAQ;QACX,SAAI,GAAJ,IAAI,CAAM;QATrB,UAAK,GAAU,CAAC,CAAC,IAAI,CAAC;QACtB,QAAG,GAAG,EAAE,CAAC;QACT,WAAM,GAAG,EAAE,CAAC;QACZ,QAAG,GAAa,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACvE,aAAQ,GAAG,EAAE,CAAC;QACd,WAAM,GAAa,EAAE,CAAC;IAK3B,CAAC;IAEM,OAAO,CAAC,CAAS;QACzB,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAClB,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;YACnB,KAAK,CAAC,CAAC,UAAU;gBACf,IAAI,IAAI,CAAC,CAAC,CAAC;oBAAE,OAAO;gBACpB,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;qBACrC,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,OAAO,EAAE,CAAC;;oBAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACvB,OAAO;YACT,KAAK,CAAC,CAAC,IAAI;gBACT,IAAI,IAAI,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC;qBACjC,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;qBAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;;oBACjD,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACxB,OAAO;YACT,KAAK,CAAC,CAAC,SAAS;gBACd,IAAI,IAAI,CAAC,CAAC,CAAC;oBAAE,OAAO;gBACpB,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;qBACrC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;qBACjD,CAAC;oBACJ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;oBACtB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACpB,CAAC;gBACD,OAAO;YACT,KAAK,CAAC,CAAC,WAAW;gBAChB,IAAI,IAAI,CAAC,CAAC,CAAC;oBAAE,OAAO;gBACpB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;gBACjB,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC;qBACjC,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC;qBACtC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;oBACnB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;oBACtB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBACb,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC;gBAC1B,CAAC;gBACD,OAAO;YACT,KAAK,CAAC,CAAC,OAAO,CAAC;YACf,KAAK,CAAC,CAAC,OAAO;gBACZ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;;oBAC/D,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;gBACnB,OAAO;YACT,KAAK,CAAC,CAAC,QAAQ;gBACb,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;oBACzB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC1B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;oBAC1B,IAAI,CAAC,KAAK,GAAG;wBAAE,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChC,CAAC;;oBAAM,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;gBACrB,OAAO;YACT;gBACE,uFAAuF;gBACvF,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;oBACd,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,WAAW,CAAC;oBACpD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,CAAC;qBAAM,IAAI,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;qBAC5C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;;oBAChC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;QACnC,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,CAAS;QACzB,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;IACtB,CAAC;IAEO,YAAY,CAAC,CAAS;QAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG;YAAE,IAAI,CAAC,OAAO,EAAE,CAAC;;YACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;IAClC,CAAC;IAEO,UAAU,CAAC,KAAoB;QACrC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IAEO,SAAS,CAAC,KAAa;QAC7B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;YAC1C,OAAO;QACT,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1F,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,2EAA2E;IACnE,SAAS,CAAC,OAAsC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,GAAG;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACrC,IAAI,OAAO,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAC9C,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CACjB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CACjF,CAAC;IACJ,CAAC;IAEO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACpF,CAAC;IAED,oDAAoD;IAC1C,SAAS;QACjB,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5C,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;YACnB,KAAK,CAAC,CAAC,IAAI;gBACT,IAAI,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBACnB,oFAAoF;gBACpF,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;gBACpE,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;gBAC1B,MAAM;YACR,CAAC;YACD,KAAK,CAAC,CAAC,QAAQ;gBACb,IAAI,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACzC,MAAM;YACR,KAAK,CAAC,CAAC,OAAO,CAAC;YACf,KAAK,CAAC,CAAC,OAAO;gBACZ,IAAI,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACxD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;gBACd,MAAM;YACR;gBACE,6CAA6C;gBAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,SAAS;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;gBACnF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAChD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;CACF","sourcesContent":["// The start-tag states of the template tokenizer (WHATWG HTML: before/after attribute name,\n// attribute name, before attribute value, attribute value in double/single/no quotes, after\n// attribute value, self-closing start tag), and what a hole means in each: an attribute,\n// multi-attribute, boolean, property or hook (view/02-bindings.md), or rule 1, 2 or 5\n// (view/09-template-rules.md). tokenizer.ts adds the data, comment and raw text states.\nimport { msg } from './rules.js';\nimport type { Source } from './source.js';\nimport { isWs, S, type Sink, type StartTag, type State } from './tokens.js';\n\nexport abstract class TagStates {\n  protected state: State = S.Data;\n  protected buf = '';\n  protected rawEnd = '';\n  protected tag: StartTag = { name: '', raw: '', attrs: [], selfClosing: false };\n  private attrName = '';\n  private pieces: string[] = [];\n\n  constructor(\n    protected readonly src: Source,\n    protected readonly sink: Sink,\n  ) {}\n\n  protected tagChar(c: string): void {\n    this.src.pos += 1;\n    switch (this.state) {\n      case S.BeforeName:\n        if (isWs(c)) return;\n        if (c === '/') this.state = S.SelfClosing;\n        else if (c === '>') this.emitTag();\n        else this.startName(c);\n        return;\n      case S.Name:\n        if (isWs(c)) this.state = S.AfterName;\n        else if (c === '=') this.state = S.BeforeValue;\n        else if (c === '/' || c === '>') this.endValueless(c);\n        else this.attrName += c;\n        return;\n      case S.AfterName:\n        if (isWs(c)) return;\n        if (c === '=') this.state = S.BeforeValue;\n        else if (c === '/' || c === '>') this.endValueless(c);\n        else {\n          this.pushStatic(null);\n          this.startName(c);\n        }\n        return;\n      case S.BeforeValue:\n        if (isWs(c)) return;\n        this.buf = '';\n        this.pieces = [];\n        if (c === '\"') this.state = S.ValueDq;\n        else if (c === \"'\") this.state = S.ValueSq;\n        else if (c === '>') {\n          this.pushStatic('\"\"');\n          this.emitTag();\n        } else {\n          this.buf = c;\n          this.state = S.ValueUnq;\n        }\n        return;\n      case S.ValueDq:\n      case S.ValueSq:\n        if (c === (this.state === S.ValueDq ? '\"' : \"'\")) this.endQuoted(c);\n        else this.buf += c;\n        return;\n      case S.ValueUnq:\n        if (isWs(c) || c === '>') {\n          this.pushStatic(this.buf);\n          this.state = S.BeforeName;\n          if (c === '>') this.emitTag();\n        } else this.buf += c;\n        return;\n      default:\n        // AfterValueQ and SelfClosing: `>` ends the tag, anything else starts a new attribute.\n        if (c === '>') {\n          this.tag.selfClosing = this.state === S.SelfClosing;\n          this.emitTag();\n        } else if (c === '/') this.state = S.SelfClosing;\n        else if (!isWs(c)) this.startName(c);\n        else this.state = S.BeforeName;\n    }\n  }\n\n  private startName(c: string): void {\n    this.attrName = c;\n    this.state = S.Name;\n  }\n\n  private endValueless(c: string): void {\n    this.pushStatic(null);\n    if (c === '>') this.emitTag();\n    else this.state = S.SelfClosing;\n  }\n\n  private pushStatic(value: string | null): void {\n    this.tag.attrs.push({ kind: 'static', name: this.attrName, value });\n  }\n\n  private endQuoted(quote: string): void {\n    this.state = S.AfterValueQ;\n    if (this.pieces.length === 0) {\n      this.pushStatic(quote + this.buf + quote);\n      return;\n    }\n    this.pieces.push(this.buf);\n    const single = this.pieces.length === 2 && this.pieces[0] === '' && this.pieces[1] === '';\n    this.pushBound(single ? undefined : this.pieces);\n  }\n\n  /** A bound attribute named `attrName`; `strings` for a multi-attribute. */\n  private pushBound(strings: readonly string[] | undefined): void {\n    const name = this.attrName;\n    const prefix = name.charAt(0);\n    if (prefix === '@') this.src.fail(1, msg.eventBinding(name));\n    if (prefix === '?' || prefix === '.') {\n      if (strings !== undefined) this.src.fail(5, msg.notSingle(name));\n      const kind = prefix === '?' ? 'bool' : 'prop';\n      this.tag.attrs.push({ kind, name: name.slice(1) });\n      return;\n    }\n    this.tag.attrs.push(\n      strings === undefined ? { kind: 'attr', name } : { kind: 'attr', name, strings },\n    );\n  }\n\n  private emitTag(): void {\n    const mode = this.sink.start(this.tag);\n    this.rawEnd = this.tag.name;\n    this.state = mode === 'data' ? S.Data : mode === 'rawtext' ? S.RawText : S.RcData;\n  }\n\n  /** A hole in a start tag (after string `src.i`). */\n  protected holeInTag(): void {\n    const { src } = this;\n    const next = src.strings[src.i + 1] ?? '';\n    const c = next.charAt(0);\n    const event = this.attrName.startsWith('@');\n    switch (this.state) {\n      case S.Name:\n        if (event) src.fail(1, msg.eventBinding(this.attrName));\n        src.fail(2, msg.dynamicName());\n        break;\n      case S.BeforeValue: {\n        // The template ending here is rule 7 (unterminated tag), reported by the tokenizer.\n        const atEnd = c === '' && src.i + 1 === src.strings.length - 1;\n        const ends = isWs(c) || c === '>' || next.startsWith('/>') || atEnd;\n        if (!event && !ends) src.fail(5, msg.unquoted(this.attrName));\n        this.pushBound(undefined);\n        this.state = S.BeforeName;\n        break;\n      }\n      case S.ValueUnq:\n        if (event) src.fail(1, msg.eventBinding(this.attrName));\n        src.fail(5, msg.unquoted(this.attrName));\n        break;\n      case S.ValueDq:\n      case S.ValueSq:\n        if (event) src.fail(1, msg.eventBinding(this.attrName));\n        this.pieces.push(this.buf);\n        this.buf = '';\n        break;\n      default:\n        // Before an attribute name: an element hook.\n        if (this.state === S.AfterName) this.pushStatic(null);\n        if (c !== '' && !isWs(c) && c !== '>' && c !== '/') src.fail(2, msg.dynamicName());\n        this.tag.attrs.push({ kind: 'hook', name: '' });\n        this.state = S.BeforeName;\n    }\n  }\n}\n"]}

package/dist/view/normalize/tokenizer.d.ts

@@ -0,0 +1,5 @@
+import type { Source } from './source.js';
+import { type Sink } from './tokens.js';
+export type { AttrToken, ContentMode, Sink, StartTag } from './tokens.js';
+/** Tokenizes `src.strings`, sending tokens and holes to `sink`. */
+export declare function tokenize(src: Source, sink: Sink): void;