securemark 0.297.5 → 0.297.6

package/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.297.6
+
+- Refactoring.
+
 ## 0.297.5
 
 - Fix annotation parser.

package/dist/index.js

@@ -1,4 +1,4 @@
-/*! securemark v0.297.5 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED License */
+/*! securemark v0.297.6 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED License */
 (function webpackUniversalModuleDefinition(root, factory) {
 	if(typeof exports === 'object' && typeof module === 'object')
 		module.exports = factory(require("Prism"), require("DOMPurify"));
@@ -6111,7 +6111,7 @@ const parser_1 = __webpack_require__(605);
 class Context extends parser_1.Context {
   constructor(options = {}) {
     super(options);
-    this.recursion = new RecursionCounter(5);
+    this.recursion = new RecursionCounter('annotation', 2);
     const {
       segment,
       buffer,
@@ -6134,7 +6134,8 @@ class Context extends parser_1.Context {
 }
 exports.Context = Context;
 class RecursionCounter {
-  constructor(limit) {
+  constructor(syntax, limit) {
+    this.syntax = syntax;
     this.limit = limit;
     this.stack = [];
     this.index = 0;
@@ -6144,7 +6145,8 @@ class RecursionCounter {
       stack
     } = this;
     for (; this.index > 0 && stack[this.index - 1] <= depth; --this.index);
-    if (this.index === this.limit) throw new Error('Too much recursion');
+    // 内側から数えるので無効化処理できずエラーを投げるしかない。
+    if (this.index === this.limit) throw new Error(`Too much ${this.syntax} recursion`);
     stack[this.index] = depth;
     ++this.index;
   }
@@ -6377,17 +6379,26 @@ const dom_1 = __webpack_require__(394);
 // 動的計画法を適用するか再帰数を制限する必要がある。
 // 動的計画法においては再帰的記録により指数空間計算量にならないよう下位の記録を消しながら記録しなければならない。
 // トリムも再帰的に行わないよう前後のトリムサイズの記録を要する。
-// しかし理論的には再帰数の制限はないがポップアップテキストの記録やハッシュの計算を行う言語仕様から指数計算量を
+// しかし理論的には無制限の再帰が可能だがホバーテキストの記録やハッシュの計算を行う言語仕様から指数計算量を
 // 避けられないためAnnotation構文に限り再帰数の制限が必要となる。
-// シグネチャやハッシュは分割計算可能にすれば解決するがポップアップテキストは記録せず動的に再計算して
+// シグネチャやハッシュは分割計算可能にすれば解決するがホバーテキストは記録せず動的に再計算して
 // 表示しなければ指数空間計算量を避けられない。
-// 注釈は本来再帰的に行うものではないため再帰数を制限して機能を優先するのが合理的となる。
+// 注釈を除外すると重複排除により参照元が消滅し欠番が生じるため少なくとも直接注釈は残す必要があるが間接注釈は
+// 除外できる。しかしこれを効率的に行うことは難しいため最大再帰数を1回に制限することで間接注釈を行えない
+// ようにするのが合理的だろう。
+// 原理的には逆順処理により圧縮後正順で再附番すればすべて解決するはずだがテキストとシグネチャとハッシュも
+// 修正する必要があるためほぼ完全な二重処理が必要になり三重以上の注釈という不適切な使用のために
+// 常に非常に非効率な処理を行い常時低速化するより三重以上の注釈を禁止して効率性を維持するのが妥当である。
+const MAX_DEPTH = 20;
 exports.annotation = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(128 /* State.annotation */, (0, combinator_1.surround)((0, combinator_1.open)('((', visibility_1.beforeNonblank), (0, combinator_1.precedence)(1, (0, combinator_1.recursions)([4 /* Recursion.annotation */, 3 /* Recursion.inline */, 5 /* Recursion.bracket */, 5 /* Recursion.bracket */], (0, combinator_1.some)((0, combinator_1.union)([inline_1.inline]), ')', [[')', 1]]))), '))', false, [], ([, ns], context) => {
   const {
-    linebreak
+    linebreak,
+    recursion,
+    resources
   } = context;
+  const depth = MAX_DEPTH - (resources?.recursions[4 /* Recursion.annotation */] ?? resources?.recursions.at(-1) ?? MAX_DEPTH);
   if (linebreak === 0) {
-    context.recursion.add(20 - (context.resources?.recursions[4 /* Recursion.annotation */] ?? context.resources?.recursions.at(-1) ?? 20));
+    recursion.add(depth);
     return new parser_1.List([new parser_1.Node((0, dom_1.html)('sup', {
       class: 'annotation'
     }, [(0, dom_1.html)('span', (0, dom_1.defrag)((0, util_1.unwrap)((0, visibility_1.trimBlankNodeEnd)(ns))))]))]);
@@ -6404,8 +6415,11 @@ exports.annotation = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(1
     source,
     position,
     range,
-    linebreak
+    linebreak,
+    recursion,
+    resources
   } = context;
+  const depth = MAX_DEPTH - (resources?.recursions[4 /* Recursion.annotation */] ?? resources?.recursions.at(-1) ?? MAX_DEPTH);
   if (linebreak === 0 && bs.length === 1 && source[position] === ')' && typeof bs.head?.value === 'object') {
     const {
       className
@@ -6426,7 +6440,7 @@ exports.annotation = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(1
         lastChild.nodeValue = lastChild.nodeValue.slice(0, -1);
       }
       context.position += 1;
-      context.recursion.add(20 - (context.resources?.recursions[4 /* Recursion.annotation */] ?? context.resources?.recursions.at(-1) ?? 20));
+      recursion.add(depth);
       return new parser_1.List([new parser_1.Node((0, dom_1.html)('span', {
         class: 'bracket'
       }, ['(', (0, dom_1.html)('sup', {
@@ -6435,7 +6449,7 @@ exports.annotation = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(1
     }
     if (className === 'annotation' && deepunwrap(bs)) {
       context.position += 1;
-      context.recursion.add(20 - (context.resources?.recursions[4 /* Recursion.annotation */] ?? context.resources?.recursions.at(-1) ?? 20));
+      recursion.add(depth);
       return new parser_1.List([new parser_1.Node((0, dom_1.html)('span', {
         class: 'bracket'
       }, ['(', (0, dom_1.html)('sup', {
@@ -8498,13 +8512,14 @@ function build(syntax, list, query, marker, splitter = '') {
           info.queue.push(ref);
           break;
       }
-      yield ref.appendChild((0, dom_1.html)('a', {
+      ref.appendChild((0, dom_1.html)('a', {
         href: refId && defId && `#${defId}`
       }, marker(defIndex, abbr)));
       def.lastElementChild.appendChild((0, dom_1.html)('a', {
         href: refId && `#${refId}`,
         title: abbr && text || undefined
       }, `^${++refIndex}`));
+      yield;
     }
     if (note || defs.size > 0) {
       const splitter = splitters[iSplitters++];
@@ -9467,7 +9482,6 @@ function render(source, opts = {}) {
 }
 exports.render = render;
 function render_(base, source, opts) {
-  if (source.classList.contains('invalid')) return;
   try {
     switch (true) {
       case !!opts.code && !source.firstElementChild && source.matches('pre.code'):

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.297.5",
+  "version": "0.297.6",
   "description": "Secure markdown renderer working on browsers for user input data.",
   "private": false,
   "homepage": "https://github.com/falsandtru/securemark",

package/src/parser/api/parse.test.ts

@@ -324,40 +324,40 @@ describe('Unit: parser/api/parse', () => {
           `<pre class="error" translate="no">${'['.repeat(21)}0</pre>`,
         ]);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}0${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}0${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(6)}0${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(3)}0${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}!${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}!${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(6)}!${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(3)}!${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
       assert.deepStrictEqual(
-        [...parse(`(${'(('.repeat(5)}0${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`(${'(('.repeat(2)}0${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`(${'(('.repeat(6)}0${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`(${'(('.repeat(3)}0${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
       assert.deepStrictEqual(
-        [...parse(`(${'(('.repeat(5)}!${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`(${'(('.repeat(2)}!${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`(${'(('.repeat(6)}!${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`(${'(('.repeat(3)}!${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}0${'))'.repeat(5)}${'(('.repeat(5)}0${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}0${'))'.repeat(2)}${'(('.repeat(2)}0${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}0${'))'.repeat(5)}${'(('.repeat(6)}0${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}0${'))'.repeat(2)}${'(('.repeat(3)}0${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}0${'))'.repeat(5)}${'(('.repeat(9)}0${'))'.repeat(5)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}0${'))'.repeat(2)}${'(('.repeat(9)}0${'))'.repeat(2)}`).children].map(el => el.tagName),
         ['P', 'OL']);
       assert.deepStrictEqual(
-        [...parse(`${'(('.repeat(5)}0${'))'.repeat(5)}${'(('.repeat(9)}0${'))'.repeat(6)}`).children].map(el => el.tagName),
+        [...parse(`${'(('.repeat(2)}0${'))'.repeat(2)}${'(('.repeat(9)}0${'))'.repeat(3)}`).children].map(el => el.tagName),
         ['H1', 'PRE']);
     });
 

package/src/parser/context.ts

@@ -28,7 +28,7 @@ export class Context extends Ctx {
   public override segment: Segment;
   public buffer: List<Node<(string | HTMLElement)>>;
   public sequential: boolean;
-  public recursion = new RecursionCounter(5);
+  public recursion = new RecursionCounter('annotation', 2);
   public readonly header: boolean;
   public readonly host?: URL;
   public readonly url?: URL;
@@ -42,14 +42,18 @@ export class Context extends Ctx {
 export type Options = Partial<Context>;
 
 class RecursionCounter {
-  constructor(private readonly limit: number) {
+  constructor(
+    private readonly syntax: string,
+    private readonly limit: number,
+  ) {
   }
   private readonly stack: number[] = [];
   private index = 0;
   public add(depth: number): void {
     const { stack } = this
     for (; this.index > 0 && stack[this.index - 1] <= depth; --this.index);
-    if (this.index === this.limit) throw new Error('Too much recursion');
+    // 内側から数えるので無効化処理できずエラーを投げるしかない。
+    if (this.index === this.limit) throw new Error(`Too much ${this.syntax} recursion`);
     stack[this.index] = depth;
     ++this.index;
   }

package/src/parser/inline/annotation.ts

@@ -12,11 +12,17 @@ import { html, defrag } from 'typed-dom/dom';
 // 動的計画法を適用するか再帰数を制限する必要がある。
 // 動的計画法においては再帰的記録により指数空間計算量にならないよう下位の記録を消しながら記録しなければならない。
 // トリムも再帰的に行わないよう前後のトリムサイズの記録を要する。
-// しかし理論的には再帰数の制限はないがポップアップテキストの記録やハッシュの計算を行う言語仕様から指数計算量を
+// しかし理論的には無制限の再帰が可能だがホバーテキストの記録やハッシュの計算を行う言語仕様から指数計算量を
 // 避けられないためAnnotation構文に限り再帰数の制限が必要となる。
-// シグネチャやハッシュは分割計算可能にすれば解決するがポップアップテキストは記録せず動的に再計算して
+// シグネチャやハッシュは分割計算可能にすれば解決するがホバーテキストは記録せず動的に再計算して
 // 表示しなければ指数空間計算量を避けられない。
-// 注釈は本来再帰的に行うものではないため再帰数を制限して機能を優先するのが合理的となる。
+// 注釈を除外すると重複排除により参照元が消滅し欠番が生じるため少なくとも直接注釈は残す必要があるが間接注釈は
+// 除外できる。しかしこれを効率的に行うことは難しいため最大再帰数を1回に制限することで間接注釈を行えない
+// ようにするのが合理的だろう。
+// 原理的には逆順処理により圧縮後正順で再附番すればすべて解決するはずだがテキストとシグネチャとハッシュも
+// 修正する必要があるためほぼ完全な二重処理が必要になり三重以上の注釈という不適切な使用のために
+// 常に非常に非効率な処理を行い常時低速化するより三重以上の注釈を禁止して効率性を維持するのが妥当である。
+const MAX_DEPTH = 20;
 export const annotation: AnnotationParser = lazy(() => constraint(State.annotation, surround(
   open('((', beforeNonblank),
   precedence(1, recursions([Recursion.annotation, Recursion.inline, Recursion.bracket, Recursion.bracket],
@@ -24,9 +30,10 @@ export const annotation: AnnotationParser = lazy(() => constraint(State.annotati
   '))',
   false, [],
   ([, ns], context) => {
-    const { linebreak } = context;
+    const { linebreak, recursion, resources } = context;
+    const depth = MAX_DEPTH - (resources?.recursions[Recursion.annotation] ?? resources?.recursions.at(-1) ?? MAX_DEPTH);
     if (linebreak === 0) {
-      context.recursion.add(20 - (context.resources?.recursions[Recursion.annotation] ?? context.resources?.recursions.at(-1) ?? 20));
+      recursion.add(depth);
       return new List([new Node(html('sup', { class: 'annotation' }, [html('span', defrag(unwrap(trimBlankNodeEnd(ns))))]))]);
     }
     ns.unshift(new Node('('));
@@ -34,7 +41,8 @@ export const annotation: AnnotationParser = lazy(() => constraint(State.annotati
     return new List([new Node(html('span', { class: 'bracket' }, ['(', html('span', { class: 'bracket' }, defrag(unwrap(ns))), ')']))]);
   },
   ([, bs = new List()], context) => {
-    const { source, position, range, linebreak } = context;
+    const { source, position, range, linebreak, recursion, resources } = context;
+    const depth = MAX_DEPTH - (resources?.recursions[Recursion.annotation] ?? resources?.recursions.at(-1) ?? MAX_DEPTH);
     if (linebreak === 0 && bs.length === 1 && source[position] === ')' && typeof bs.head?.value === 'object') {
       const { className } = bs.head.value;
       if (className === 'paren' || className === 'bracket') {
@@ -54,12 +62,12 @@ export const annotation: AnnotationParser = lazy(() => constraint(State.annotati
           lastChild!.nodeValue = lastChild!.nodeValue!.slice(0, -1);
         }
         context.position += 1;
-        context.recursion.add(20 - (context.resources?.recursions[Recursion.annotation] ?? context.resources?.recursions.at(-1) ?? 20));
+        recursion.add(depth);
         return new List([new Node(html('span', { class: 'bracket' }, ['(', html('sup', { class: 'annotation' }, [html('span', bs.head.value.childNodes)])]))]);
       }
       if (className === 'annotation' && deepunwrap(bs)) {
         context.position += 1;
-        context.recursion.add(20 - (context.resources?.recursions[Recursion.annotation] ?? context.resources?.recursions.at(-1) ?? 20));
+        recursion.add(depth);
         return new List([new Node(html('span', { class: 'bracket' }, ['(', html('sup', { class: 'annotation' }, [html('span', [bs.head.value])])]))]);
       }
     }

package/src/parser/processor/note.test.ts

@@ -222,72 +222,50 @@ describe('Unit: parser/processor/note', () => {
     });
 
     it('nest', () => {
-      const target = parse('((a((b((c))))))((a))((b))((c))');
+      const target = parse('((a((b))))((a))((b))');
       for (let i = 0; i < 3; ++i) {
         [...note(target)];
         assert.deepStrictEqual(
           [...target.children].map(el => el.outerHTML),
           [
             html('p', [
-              html('sup', { class: 'annotation', id: 'annotation::ref:a((b((c)))):1', title: 'a((b((c))))' }, [
-                html('a', { href: '#annotation::def:a((b((c)))):1' }, '*1')
+              html('sup', { class: 'annotation', id: 'annotation::ref:a((b)):1', title: 'a((b))' }, [
+                html('a', { href: '#annotation::def:a((b)):1' }, '*1')
               ]),
               html('sup', { class: 'annotation', id: 'annotation::ref:a:1', title: 'a' }, [
-                html('a', { href: '#annotation::def:a:1' }, '*4')
+                html('a', { href: '#annotation::def:a:1' }, '*3')
               ]),
-              html('sup', { class: 'annotation', id: 'annotation::ref:b:1', title: 'b' }, [
-                html('a', { href: '#annotation::def:b:1' }, '*5')
-              ]),
-              html('sup', { class: 'annotation', id: 'annotation::ref:c:2', title: 'c' }, [
-                html('a', { href: '#annotation::def:c:1' }, '*3')
+              html('sup', { class: 'annotation', id: 'annotation::ref:b:2', title: 'b' }, [
+                html('a', { href: '#annotation::def:b:1' }, '*2')
               ]),
             ]).outerHTML,
             html('ol', { class: 'annotations' }, [
-              html('li', { id: 'annotation::def:a((b((c)))):1', 'data-marker': '*1' }, [
+              html('li', { id: 'annotation::def:a((b)):1', 'data-marker': '*1' }, [
                 html('span', [
                   'a',
-                  html('sup', { class: 'annotation', id: 'annotation::ref:b((c)):1', title: 'b((c))' }, [
-                    html('a', { href: '#annotation::def:b((c)):1' }, '*2')
+                  html('sup', { class: 'annotation', id: 'annotation::ref:b:1', title: 'b' }, [
+                    html('a', { href: '#annotation::def:b:1' }, '*2')
                   ]),
                 ]),
                 html('sup', [
-                  html('a', { href: '#annotation::ref:a((b((c)))):1' }, '^1'),
+                  html('a', { href: '#annotation::ref:a((b)):1' }, '^1'),
                 ])
               ]),
-              html('li', { id: 'annotation::def:b((c)):1', 'data-marker': '*2' }, [
+              html('li', { id: 'annotation::def:b:1', 'data-marker': '*2' }, [
                 html('span', [
                   'b',
-                  html('sup', { class: 'annotation', id: 'annotation::ref:c:1', title: 'c' }, [
-                    html('a', { href: '#annotation::def:c:1' }, '*3')
-                  ]),
-                ]),
-                html('sup', [
-                  html('a', { href: '#annotation::ref:b((c)):1' }, '^2'),
-                ])
-              ]),
-              html('li', { id: 'annotation::def:c:1', 'data-marker': '*3' }, [
-                html('span', [
-                  'c',
                 ]),
                 html('sup', [
-                  html('a', { href: '#annotation::ref:c:1' }, '^3'),
-                  html('a', { href: '#annotation::ref:c:2' }, '^6'),
+                  html('a', { href: '#annotation::ref:b:1' }, '^2'),
+                  html('a', { href: '#annotation::ref:b:2' }, '^4'),
                 ])
               ]),
-              html('li', { id: 'annotation::def:a:1', 'data-marker': '*4' }, [
+              html('li', { id: 'annotation::def:a:1', 'data-marker': '*3' }, [
                 html('span', [
                   'a',
                 ]),
                 html('sup', [
-                  html('a', { href: '#annotation::ref:a:1' }, '^4'),
-                ])
-              ]),
-              html('li', { id: 'annotation::def:b:1', 'data-marker': '*5' }, [
-                html('span', [
-                  'b',
-                ]),
-                html('sup', [
-                  html('a', { href: '#annotation::ref:b:1' }, '^5'),
+                  html('a', { href: '#annotation::ref:a:1' }, '^3'),
                 ])
               ]),
             ]).outerHTML,

package/src/parser/processor/note.ts

@@ -187,7 +187,7 @@ function build(
           info.queue.push(ref);
           break;
       }
-      yield ref.appendChild(html('a', { href: refId && defId && `#${defId}` }, marker(defIndex, abbr)));
+      ref.appendChild(html('a', { href: refId && defId && `#${defId}` }, marker(defIndex, abbr)));
       assert(ref.title || ref.matches('.invalid'));
       def.lastElementChild!.appendChild(
         html('a',
@@ -196,6 +196,7 @@ function build(
             title: abbr && text || undefined,
           },
           `^${++refIndex}`));
+      yield;
     }
     if (note || defs.size > 0) {
       const splitter = splitters[iSplitters++];

package/src/renderer/render.ts

@@ -19,7 +19,6 @@ export function render(source: HTMLElement, opts: RenderingOptions = {}): void {
 }
 
 function render_(base: string, source: HTMLElement, opts: RenderingOptions): void {
-  if (source.classList.contains('invalid')) return;
   try {
     switch (true) {
       case !!opts.code