securemark 0.242.0 → 0.243.2

package/markdown.d.ts

@@ -87,6 +87,7 @@ export namespace MarkdownParser {
       BlockParser.CodeBlockParser,
       BlockParser.MathBlockParser,
       BlockParser.ExtensionParser,
+      BlockParser.SidefenceParser,
       BlockParser.BlockquoteParser,
       BlockParser.ReplyParser,
       BlockParser.ParagraphParser,
@@ -227,6 +228,22 @@ export namespace MarkdownParser {
         ]> {
       }
     }
+    export interface SidefenceParser extends
+      // | abc
+      Block<'sidefence'>,
+      Parser<HTMLQuoteElement, Context, [
+        SidefenceParser.SourceParser,
+      ]> {
+    }
+    export namespace SidefenceParser {
+      export interface SourceParser extends
+        Block<'sidefence/source'>,
+        Parser<HTMLQuoteElement, Context, [
+          SourceParser,
+          AutolinkParser,
+        ]> {
+      }
+    }
     export interface TableParser extends
       // |Head|
       // |:--:|
@@ -371,8 +388,8 @@ export namespace MarkdownParser {
               Parser<never, Context, [
                 CodeBlockParser.SegmentParser,
                 MathBlockParser.SegmentParser,
-                BlockquoteParser.SegmentParser,
                 TableParser.SegmentParser,
+                BlockquoteParser.SegmentParser,
                 PlaceholderParser.SegmentParser,
                 SourceParser.ContentLineParser,
               ]>,
@@ -401,8 +418,8 @@ export namespace MarkdownParser {
             Parser<never, Context, [
               CodeBlockParser.SegmentParser,
               MathBlockParser.SegmentParser,
-              BlockquoteParser.SegmentParser,
               TableParser.SegmentParser,
+              BlockquoteParser.SegmentParser,
               PlaceholderParser.SegmentParser,
               SourceParser.ContentLineParser,
             ]>,
@@ -495,6 +512,7 @@ export namespace MarkdownParser {
             BlockParser.IndentBlockParser,
             BlockParser.CodeBlockParser,
             BlockParser.MathBlockParser,
+            BlockParser.SidefenceParser,
             BlockParser.BlockquoteParser,
             BlockParser.ParagraphParser,
           ]> {

package/package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.242.0",
+  "version": "0.243.2",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
@@ -1784,9 +1784,9 @@
       "dev": true
     },
     "cacache": {
-      "version": "16.0.6",
-      "resolved": "https://registry.npmjs.org/cacache/-/cacache-16.0.6.tgz",
-      "integrity": "sha512-9a/MLxGaw3LEGes0HaPez2RgZWDV6X0jrgChsuxfEh8xoDoYGxaGrkMe7Dlyjrb655tA/b8fX0qlUg6Ii5MBvw==",
+      "version": "16.0.7",
+      "resolved": "https://registry.npmjs.org/cacache/-/cacache-16.0.7.tgz",
+      "integrity": "sha512-a4zfQpp5vm4Ipdvbj+ZrPonikRhm6WBEd4zT1Yc1DXsmAxrPgDwWBLF/u/wTVXSFPIgOJ1U3ghSa2Xm4s3h28w==",
       "dev": true,
       "requires": {
         "@npmcli/fs": "^2.1.0",
@@ -1962,9 +1962,9 @@
       "dev": true
     },
     "caniuse-lite": {
-      "version": "1.0.30001332",
-      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001332.tgz",
-      "integrity": "sha512-10T30NYOEQtN6C11YGg411yebhvpnC6Z102+B95eAsN0oB6KUs01ivE8u+G6FMIRtIrVlYXhL+LUwQ3/hXwDWw==",
+      "version": "1.0.30001334",
+      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001334.tgz",
+      "integrity": "sha512-kbaCEBRRVSoeNs74sCuq92MJyGrMtjWVfhltoHUCW4t4pXFvGjUBrfo47weBRViHkiV3eBYyIsfl956NtHGazw==",
       "dev": true
     },
     "chalk": {
@@ -3075,9 +3075,9 @@
       "dev": true
     },
     "electron-to-chromium": {
-      "version": "1.4.123",
-      "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.123.tgz",
-      "integrity": "sha512-0pHGE53WkYoFbsgwYcVKEpWa6jbzlvkohIEA2CUoZ9b5KC+w/zlMiQHvW/4IBcOh7YoEFqRNavgTk02TBoUTUw==",
+      "version": "1.4.124",
+      "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.124.tgz",
+      "integrity": "sha512-VhaE9VUYU6d2eIb+4xf83CATD+T+3bTzvxvlADkQE+c2hisiw3sZmvEDtsW704+Zky9WZGhBuQXijDVqSriQLA==",
       "dev": true
     },
     "elliptic": {

package/package.json

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

package/src/parser/block/blockquote.ts

@@ -15,14 +15,8 @@ export const blockquote: BlockquoteParser = lazy(() => block(rewrite(segment, un
 ]))));
 
 const opener = /^(?=>>+(?:$|\s))/;
-
 const indent = block(open(opener, some(contentline, /^>(?:$|\s)/)), false);
-
-function unindent(source: string): string {
-  return source
-    .replace(/\n$/, '')
-    .replace(/^>(?:$|\s|(?=>+(?:$|\s)))/mg, '');
-}
+const unindent = (source: string) => source.replace(/(^|\n)>(?:[^\S\n]|(?=>*(?:$|\s)))|\n$/g, '$1');
 
 const source: BlockquoteParser.SourceParser = lazy(() => fmap(
   some(creator(union([

package/src/parser/block/extension/example.ts

@@ -5,7 +5,7 @@ import { parse } from '../../api/parse';
 import { mathblock } from '../mathblock';
 import { html } from 'typed-dom/dom';
 
-const opener = /^(~{3,})(?:example\/(\S+)|(?!\S))([^\n]*)(?:$|\n)/;
+const opener = /^(~{3,})(?:example\/(\S+))?(?!\S)([^\n]*)(?:$|\n)/;
 
 export const example: ExtensionParser.ExampleParser = creator(100, block(validate('~~~', fmap(
   fence(opener, 300),

package/src/parser/block/extension/fig.ts

@@ -1,12 +1,12 @@
 import { ExtensionParser } from '../../block';
-import { union, sequence, some, block, line, validate, rewrite, close, convert } from '../../../combinator';
+import { union, sequence, some, block, line, validate, verify, rewrite, close, convert } from '../../../combinator';
 import { contentline } from '../../source';
 import { figure } from './figure';
 import { segment as seg_label } from '../../inline/extension/label';
 import { segment as seg_code } from '../codeblock';
 import { segment as seg_math } from '../mathblock';
-import { segment as seg_blockquote } from '../blockquote';
 import { segment as seg_table } from './table';
+import { segment as seg_blockquote } from '../blockquote';
 import { segment as seg_placeholder } from './placeholder';
 
 import FigParser = ExtensionParser.FigParser;
@@ -17,17 +17,18 @@ export const segment: FigParser.SegmentParser = block(validate(['[$', '$'],
     union([
       seg_code,
       seg_math,
-      seg_blockquote,
       seg_table,
+      seg_blockquote,
       seg_placeholder,
       some(contentline),
     ]),
   ])));
 
-export const fig: FigParser = block(rewrite(segment, convert(
+export const fig: FigParser = block(rewrite(segment, verify(convert(
   source => {
     const fence = (/^[^\n]*\n!?>+\s/.test(source) && source.match(/^~{3,}(?=[^\S\n]*$)/mg) || [])
       .reduce((max, fence) => fence > max ? fence : max, '~~') + '~';
     return `${fence}figure ${source}\n\n${fence}`;
   },
-  union([figure]))));
+  union([figure])),
+  ([el]) => el.tagName === 'FIGURE')));

package/src/parser/block/extension/figure.test.ts

@@ -7,25 +7,24 @@ describe('Unit: parser/block/extension/figure', () => {
     const parser = (source: string) => some(figure)(source, {});
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser('~~~figure\n!https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure $group-name]\n!https://host\n~~~')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure>'], '']);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name\n!https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\nhttps://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\\\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n\\\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\na\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n\n\n\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n !https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n\n!https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n~~~\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n~~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~~figure [$group-name]\n!https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]a\nhttps://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]a\n!https://host\n~~~')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure>'], '']);
-      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name] a\nhttps://host\n~~~')), undefined);
+      assert.deepStrictEqual(inspect(parser('~~~figure\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure $group-name]\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure $group-name]\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\nhttps://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\nhttps://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\\\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\\\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n\\\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\n\\\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\na\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\na\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n\n\n\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\n\n\n\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n !https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n !https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n~~~\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\n~~~\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]\n!https://host\n~~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]\n!https://host\n~~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~~figure [$group-name]\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~~figure [$group-name]\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]a\nhttps://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]a\nhttps://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]a\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name]a\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure [$group-name] a\nhttps://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure [$group-name] a\nhttps://host\n~~~</pre>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$group-name] a\n!https://host\n~~~')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure>'], '']);
-      assert.deepStrictEqual(inspect(parser('~~~figure a[$group-name]\n!https://host\n~~~')), undefined);
-      assert.deepStrictEqual(inspect(parser('~~~figure a [$group-name]\n!https://host\n~~~')), undefined);
+      assert.deepStrictEqual(inspect(parser('~~~figure a[$group-name]\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure a[$group-name]\n!https://host\n~~~</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure a [$group-name]\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure a [$group-name]\n!https://host\n~~~</pre>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~ [$group-name]\n!https://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser('~~~ $group-name\n!https://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser(' ~~~figure [$group-name]\n!https://host\n~~~')), undefined);
@@ -33,7 +32,8 @@ describe('Unit: parser/block/extension/figure', () => {
       assert.deepStrictEqual(inspect(parser('~~~figure [$fig-name]\n> \n\n~~~')), [['<figure data-type="quote" data-label="fig-name" data-group="fig" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><blockquote></blockquote></div></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$figure-name]\n> \n\n~~~')), [['<figure data-type="quote" data-label="figure-name" data-group="figure" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><blockquote></blockquote></div></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$table-name]\n> \n\n~~~')), [['<figure data-type="quote" data-label="table-name" data-group="table" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><blockquote></blockquote></div></figure>'], '']);
-      assert(!parser('~~~figure [$group-name]\n```\n0' + '\n'.repeat(301) + '```\n~~~'));
+      assert.deepStrictEqual(inspect(parser(`~~~figure [$group-name]\n0${'\n'.repeat(301)}~~~`), '>'), [['<pre class="invalid" translate="no">'], '']);
+      assert.deepStrictEqual(inspect(parser(`~~~figure [$group-name]\n~~~\n0${'\n'.repeat(301)}~~~\n~~~`), '>'), [['<pre class="invalid" translate="no">'], '\n~~~\n~~~']);
     });
 
     it('valid', () => {
@@ -67,8 +67,8 @@ describe('Unit: parser/block/extension/figure', () => {
       assert.deepStrictEqual(inspect(parser('~~~figure [$-0.0]\n$$\n\n$$\n~~~')), [['<figure data-type="math" data-label="$-0.0" data-group="$" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><div class="math" translate="no">$$\n\n$$</div></div></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$-name]\n!https://host\n~~~')), [['<figure data-type="media" data-label="$-name" data-group="$" class="invalid"><figcaption><span class="figindex"></span></figcaption><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$-name]\n$$\n\n$$\n\ncaption\n~~~')), [['<figure data-type="math" data-label="$-name" data-group="$" class="invalid"><figcaption><span class="figindex"></span>caption</figcaption><div><div class="math" translate="no">$$\n\n$$</div></div></figure>'], '']);
-      assert(parser('~~~figure [$group-name]\n```\n0' + '\n'.repeat(300) + '```\n~~~'));
-      assert(parser('~~~figure [$group-name]\n' + '>\n'.repeat(500) + '\n~~~'));
+      assert.deepStrictEqual(inspect(parser(`~~~figure [$group-name]\n${'>\n'.repeat(500)}\n~~~`), '>'), [['<figure data-type="quote" data-label="group-name" data-group="group">'], '']);
+      assert.deepStrictEqual(inspect(parser(`~~~figure [$group-name]\n~~~\n0${'\n'.repeat(300)}~~~\n~~~`), '>'), [['<figure data-type="example" data-label="group-name" data-group="group">'], '']);
     });
 
   });

package/src/parser/block/extension/figure.ts

@@ -1,8 +1,8 @@
 import { undefined } from 'spica/global';
 import { ExtensionParser } from '../../block';
-import { union, inits, sequence, some, block, line, rewrite, context, close, match, convert, trim, fmap } from '../../../combinator';
+import { union, inits, sequence, some, block, line, fence, rewrite, context, close, match, convert, trim, fallback, fmap } from '../../../combinator';
 import { str, contentline, emptyline } from '../../source';
-import { label } from '../../inline/extension/label';
+import { label, segment as seg_label } from '../../inline/extension/label';
 import { ulist } from '../ulist';
 import { olist } from '../olist';
 import { table as styled_table } from '../table';
@@ -23,36 +23,35 @@ import { unshift } from 'spica/array';
 import FigureParser = ExtensionParser.FigureParser;
 
 export const segment: FigureParser.SegmentParser = block(match(
-  /^(~{3,})(?:figure[^\S\n]+)?(?=\[?\$[A-Za-z-][^\n]*\n)/,
+  /^(~{3,})(?:figure[^\S\n]|(?=\[?\$))/,
   memoize(
-  ([, fence], closer = new RegExp(String.raw`^${fence}[^\S\n]*(?:$|\n)`)) =>
-    close(
-      sequence([
-        contentline,
-        inits([
-          // All parsers which can include closing terms.
-          union([
-            seg_code,
-            seg_math,
-            seg_blockquote,
-            seg_table,
-            seg_placeholder,
-            some(contentline, closer),
-          ]),
+  ([, fence], closer = new RegExp(String.raw`^${fence}[^\S\n]*(?:$|\n)`)) => close(
+    sequence([
+      contentline,
+      inits([
+        // All parsers which can include closing terms.
+        union([
+          seg_code,
+          seg_math,
+          seg_table,
+          seg_blockquote,
+          seg_placeholder,
+          some(contentline, closer),
+        ]),
+        emptyline,
+        union([
           emptyline,
-          union([
-            emptyline,
-            some(contentline, closer),
-          ]),
+          some(contentline, closer),
         ]),
       ]),
-      closer),
+    ]),
+    closer),
   ([, fence]) => fence.length, [])));
 
-export const figure: FigureParser = block(rewrite(segment, fmap(
-  convert(source => source.slice(source.search(/[[$]/), source.trimEnd().lastIndexOf('\n')),
+export const figure: FigureParser = block(fallback(rewrite(segment, fmap(
+  convert(source => source.slice(source.match(/^~+(?:figure[^\S\n]+)?/)![0].length, source.trimEnd().lastIndexOf('\n')),
   sequence([
-    line(sequence([label, str(/^.*\n/)])),
+    line(sequence([label, str(/^(?=\s).*\n/)])),
     inits([
       block(union([
         ulist,
@@ -83,7 +82,33 @@ export const figure: FigureParser = block(rewrite(segment, fmap(
           defrag(caption))),
         html('div', [content]),
       ])
-  ])));
+  ])),
+  fmap(
+    fence(/^(~{3,})(?:figure|\[?\$\S*)(?!\S)[^\n]*(?:$|\n)/, 300),
+    ([body, closer, opener, delim]: string[], _, context) => [
+      html('pre', {
+        class: 'invalid',
+        translate: 'no',
+        'data-invalid-syntax': 'figure',
+        ...
+        !closer && {
+          'data-invalid-type': 'fence',
+          'data-invalid-message': `Missing the closing delimiter "${delim}"`,
+        } ||
+        !seg_label(opener.match(/^~+(?:figure[^\S\n]+)?(\[?\$\S+)/)?.[1] ?? '', context) && {
+          'data-invalid-type': 'label',
+          'data-invalid-message': 'Invalid label',
+        } ||
+        /^~+(?:figure[^\S\n]+)?(\[?\$\S+)[^\S\n]+\S/.test(opener) && {
+          'data-invalid-type': 'argument',
+          'data-invalid-message': 'Invalid argument',
+        } ||
+        {
+          'data-invalid-type': 'content',
+          'data-invalid-message': 'Invalid content',
+        },
+      }, `${opener}${body}${closer}`),
+    ])));
 
 function attributes(label: string, param: string, content: HTMLElement, caption: readonly HTMLElement[]): Record<string, string | undefined> {
   const group = label.split('-', 1)[0];
@@ -113,14 +138,14 @@ function attributes(label: string, param: string, content: HTMLElement, caption:
       assert(false);
   }
   const invalid =
-    /^[^-]+-(?:[0-9]+\.)*0$/.test(label) && {
-      'data-invalid-type': 'label',
-      'data-invalid-message': 'The last part of the fixed label numbers must not be 0',
-    } ||
     param.trimStart() !== '' && {
       'data-invalid-type': 'argument',
       'data-invalid-message': 'Invalid argument',
     } ||
+    /^[^-]+-(?:[0-9]+\.)*0$/.test(label) && {
+      'data-invalid-type': 'label',
+      'data-invalid-message': 'The last part of the fixed label numbers must not be 0',
+    } ||
     group === '$' && (type !== 'math' || caption.length > 0) && {
       'data-invalid-type': 'label',
       'data-invalid-message': '"$" label group must be used to math formulas with no caption',

package/src/parser/block/extension/message.ts

@@ -10,6 +10,7 @@ import { table } from '../table';
 import { indentblock } from '../indentblock';
 import { codeblock } from '../codeblock';
 import { mathblock } from '../mathblock';
+import { sidefence } from '../sidefence';
 import { blockquote } from '../blockquote';
 import { paragraph } from '../paragraph';
 import { html } from 'typed-dom/dom';
@@ -69,6 +70,7 @@ const content: MessageParser.ContentParser = union([
   indentblock,
   codeblock,
   mathblock,
+  sidefence,
   blockquote,
   paragraph,
 ]);

package/src/parser/block/extension/placeholder.ts

@@ -18,6 +18,6 @@ export const placeholder: ExtensionParser.PlaceholderParser = block(validate('~~
       translate: 'no',
       'data-invalid-syntax': 'extension',
       'data-invalid-type': !closer ? 'fence' : 'syntax',
-      'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid syntax',
-    }, `${opener}${body}${closer}`)
+      'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid extension name',
+    }, `${opener}${body}${closer}`),
   ])));

package/src/parser/block/sidefence.test.ts

@@ -0,0 +1,66 @@
+import { sidefence } from './sidefence';
+import { some } from '../../combinator';
+import { inspect } from '../../debug.test';
+
+describe('Unit: parser/block/sidefence', () => {
+  describe('sidefence', () => {
+    const parser = (source: string) => some(sidefence)(source, {});
+
+    it('invalid', () => {
+      assert.deepStrictEqual(inspect(parser('')), undefined);
+      assert.deepStrictEqual(inspect(parser('\n')), undefined);
+      assert.deepStrictEqual(inspect(parser('|')), undefined);
+      assert.deepStrictEqual(inspect(parser('|a')), undefined);
+      assert.deepStrictEqual(inspect(parser('|\n')), undefined);
+      assert.deepStrictEqual(inspect(parser(' | ')), undefined);
+      assert.deepStrictEqual(inspect(parser('||')), undefined);
+    });
+
+    it('basic', () => {
+      assert.deepStrictEqual(inspect(parser('| ')), [['<blockquote class="invalid"></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| \\')), [['<blockquote class="invalid"><pre>\\</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| \\\n')), [['<blockquote class="invalid"><pre>\\</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a')), [['<blockquote class="invalid"><pre>a</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n')), [['<blockquote class="invalid"><pre>a</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\nb')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n b ')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n|')), [['<blockquote class="invalid"><pre>a<br></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n>>1')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n| b ')), [['<blockquote class="invalid"><pre>a<br>b </pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|\n')), [['<blockquote class="invalid"><pre>a<br></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|\nb')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n|\n b ')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n|\n|')), [['<blockquote class="invalid"><pre>a<br><br></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|\n>>1')), undefined);
+      assert.deepStrictEqual(inspect(parser('| a\n|\n| b ')), [['<blockquote class="invalid"><pre>a<br><br>b </pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\\\nb')), undefined);
+      assert.deepStrictEqual(inspect(parser('|  a ')), [['<blockquote class="invalid"><pre> a </pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| \na')), undefined);
+      assert.deepStrictEqual(inspect(parser('|\na')), undefined);
+      assert.deepStrictEqual(inspect(parser('|\n a')), undefined);
+      assert.deepStrictEqual(inspect(parser('|\n|')), [['<blockquote class="invalid"><pre><br></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|\n| a')), [['<blockquote class="invalid"><pre><br>a</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| http://host')), [['<blockquote class="invalid"><pre><a href="http://host" target="_blank">http://host</a></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| !http://host')), [['<blockquote class="invalid"><pre>!<a href="http://host" target="_blank">http://host</a></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| #a')), [['<blockquote class="invalid"><pre><a href="/hashtags/a" class="hashtag">#a</a></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| @a#b')), [['<blockquote class="invalid"><pre><a href="/@a?ch=b" class="channel">@a#b</a></pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| >>1\n| | b')), [['<blockquote class="invalid"><pre><a href="?at=1" class="anchor">&gt;&gt;1</a><br>| b</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| >>1\n| | b\n| c')), [['<blockquote class="invalid"><pre><a href="?at=1" class="anchor">&gt;&gt;1</a><br>| b<br>c</pre></blockquote>'], '']);
+    });
+
+    it('nest', () => {
+      assert.deepStrictEqual(inspect(parser('| a\n||')), [['<blockquote class="invalid"><pre>a</pre><blockquote></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|| b\n| c')), [['<blockquote class="invalid"><pre>a</pre><blockquote><pre>b</pre></blockquote><pre>c</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|| b\n|| c')), [['<blockquote class="invalid"><pre>a</pre><blockquote><pre>b<br>c</pre></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('| a\n|| b\n||| c')), [['<blockquote class="invalid"><pre>a</pre><blockquote><pre>b</pre><blockquote><pre>c</pre></blockquote></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|| a')), [['<blockquote class="invalid"><blockquote><pre>a</pre></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|| a\n|')), [['<blockquote class="invalid"><blockquote><pre>a</pre></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|| a\n| b')), [['<blockquote class="invalid"><blockquote><pre>a</pre></blockquote><pre>b</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|| a\n||| b\n| c')), [['<blockquote class="invalid"><blockquote><pre>a</pre><blockquote><pre>b</pre></blockquote></blockquote><pre>c</pre></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('|| a\n| b\n||| c')), [['<blockquote class="invalid"><blockquote><pre>a</pre></blockquote><pre>b</pre><blockquote><blockquote><pre>c</pre></blockquote></blockquote></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('||| a\n|| b\n| c')), [['<blockquote class="invalid"><blockquote><blockquote><pre>a</pre></blockquote><pre>b</pre></blockquote><pre>c</pre></blockquote>'], '']);
+    });
+
+  });
+
+});

package/src/parser/block/sidefence.ts

@@ -0,0 +1,31 @@
+import { SidefenceParser } from '../block';
+import { union, some, block, focus, rewrite, creator, convert, lazy, fmap } from '../../combinator';
+import { autolink } from '../autolink';
+import { contentline } from '../source';
+import { html, define, defrag } from 'typed-dom/dom';
+
+export const sidefence: SidefenceParser = lazy(() => block(fmap(focus(
+  /^(?=\|+(?:[^\S\n]|\n\|))(?:\|+(?:[^\S\n][^\n]*)?(?:$|\n))+$/,
+  union([source])),
+  ([el]) => [
+    define(el, {
+      class: 'invalid',
+      'data-invalid-syntax': 'sidefence',
+      'data-invalid-type': 'syntax',
+      'data-invalid-message': 'Reserved syntax',
+    }),
+  ])));
+
+const opener = /^(?=\|\|+(?:$|\s))/;
+const unindent = (source: string) => source.replace(/(^|\n)\|(?:[^\S\n]|(?=\|*(?:$|\s)))|\n$/g, '$1');
+
+const source: SidefenceParser.SourceParser = lazy(() => fmap(
+  some(creator(union([
+    focus(
+      /^(?:\|\|+(?:[^\S\n][^\n]*)?(?:$|\n))+/,
+      convert(unindent, source)),
+    rewrite(
+      some(contentline, opener),
+      convert(unindent, fmap(some(autolink), ns => [html('pre', defrag(ns))]))),
+  ]))),
+  ns => [html('blockquote', ns)]));

package/src/parser/block/table.ts

@@ -29,9 +29,9 @@ const row = <P extends CellParser | AlignParser>(parser: P, optional: boolean):
   rewrite(contentline, source => [[
     html('tr', {
       class: 'invalid',
-      'data-invalid-syntax': 'tablerow',
+      'data-invalid-syntax': 'table-row',
       'data-invalid-type': 'syntax',
-      'data-invalid-message': 'Invalid table row',
+      'data-invalid-message': 'Missing the start symbol of the table row',
     }, [html('td', source.replace('\n', ''))])
   ], ''])));
 

package/src/parser/block.ts

@@ -13,6 +13,7 @@ import { indentblock } from './block/indentblock';
 import { codeblock } from './block/codeblock';
 import { mathblock } from './block/mathblock';
 import { extension } from './block/extension';
+import { sidefence } from './block/sidefence';
 import { blockquote } from './block/blockquote';
 import { reply } from './block/reply';
 import { paragraph } from './block/paragraph';
@@ -31,6 +32,7 @@ export import IndentBlockParser = BlockParser.IndentBlockParser;
 export import CodeBlockParser = BlockParser.CodeBlockParser;
 export import MathBlockParser = BlockParser.MathBlockParser;
 export import ExtensionParser = BlockParser.ExtensionParser;
+export import SidefenceParser = BlockParser.SidefenceParser;
 export import BlockquoteParser = BlockParser.BlockquoteParser;
 export import ReplyParser = BlockParser.ReplyParser;
 export import ParagraphParser = BlockParser.ParagraphParser;
@@ -50,6 +52,7 @@ export const block: BlockParser = creator(error(
     codeblock,
     mathblock,
     extension,
+    sidefence,
     blockquote,
     reply,
     paragraph

package/src/parser/inline/extension/placeholder.ts

@@ -14,12 +14,12 @@ export const placeholder: ExtensionParser.PlaceholderParser = lazy(() => creator
   str(/^\[[:^]/),
   startTight(some(union([inline]), ']')),
   str(']'), false,
-  ([, bs], rest) => [[
+  ([as, bs], rest) => [[
     html('span', {
       class: 'invalid',
       'data-invalid-syntax': 'extension',
       'data-invalid-type': 'syntax',
-      'data-invalid-message': 'Invalid symbol',
+      'data-invalid-message': `Reserved start symbol "${as[0][1]}" cannot be used in "[]"`,
     }, defrag(bs)),
   ], rest],
   ([as, bs], rest) => [unshift(as, bs), rest]))));

package/src/parser/inline/html.test.ts

@@ -93,22 +93,29 @@ describe('Unit: parser/inline/html', () => {
       assert.deepStrictEqual(inspect(parser('<small __proto__>a</small>')), undefined);
       assert.deepStrictEqual(inspect(parser('<small constructor>a</small>')), [['<span class="invalid">&lt;small constructor&gt;a&lt;/small&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<small toString>a</small>')), undefined);
+      assert.deepStrictEqual(inspect(parser('<small X>a</small>')), undefined);
+      assert.deepStrictEqual(inspect(parser('<small x>a</small>')), [['<span class="invalid">&lt;small x&gt;a&lt;/small&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo>a</bdo>')), [['<span class="invalid">&lt;bdo&gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo >a</bdo>')), [['<span class="invalid">&lt;bdo &gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo __proto__>a</bdo>')), undefined);
       assert.deepStrictEqual(inspect(parser('<bdo constructor>a</bdo>')), [['<span class="invalid">&lt;bdo constructor&gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo toString>a</bdo>')), undefined);
+      assert.deepStrictEqual(inspect(parser('<bdo X>a</bdo>')), undefined);
+      assert.deepStrictEqual(inspect(parser('<bdo x>a</bdo>')), [['<span class="invalid">&lt;bdo x&gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo dir>a</bdo>')), [['<span class="invalid">&lt;bdo dir&gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo dir=>a</bdo>')), undefined);
       assert.deepStrictEqual(inspect(parser('<bdo dir=rtl>a</bdo>')), undefined);
       assert.deepStrictEqual(inspect(parser('<bdo dir=">a</bdo>')), undefined);
       assert.deepStrictEqual(inspect(parser('<bdo dir="">a</bdo>')), [['<span class="invalid">&lt;bdo dir=""&gt;a&lt;/bdo&gt;</span>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo dir="rtl" dir="rtl">a</bdo>')), [['<span class="invalid">&lt;bdo dir="rtl" dir="rtl"&gt;a&lt;/bdo&gt;</span>'], '']);
+      assert.deepStrictEqual(inspect(parser('<bdo diR="rtl">a</bdo>')), undefined);
       assert.deepStrictEqual(inspect(parser('<bdo dir="rtl">a</bdo>')), [['<bdo dir="rtl">a</bdo>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo dir="rtl" >a</bdo>')), [['<bdo dir="rtl">a</bdo>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo dir="rtl"  >a</bdo>')), [['<bdo dir="rtl">a</bdo>'], '']);
       assert.deepStrictEqual(inspect(parser('<bdo  dir="rtl">a</bdo>')), [['<bdo dir="rtl">a</bdo>'], '']);
       assert.deepStrictEqual(inspect(parser('<wbr constructor>')), [['<wbr class="invalid">'], '']);
+      assert.deepStrictEqual(inspect(parser('<wbr X>')), undefined);
+      assert.deepStrictEqual(inspect(parser('<wbr x>')), [['<wbr class="invalid">'], '']);
     });
 
   });