notionary 0.4.0__py3-none-any.whl → 0.4.2__py3-none-any.whl

notionary/page/content/renderer/renderers/file_like_block.py

@@ -6,17 +6,21 @@ from notionary.blocks.schemas import (
     ExternalFileWithCaption,
     NotionHostedFileWithCaption,
 )
-from notionary.page.content.renderer.renderers.captioned_block import CaptionedBlockRenderer
-from notionary.page.content.syntax import SyntaxDefinition
+from notionary.page.content.renderer.renderers.captioned_block import (
+    CaptionedBlockRenderer,
+)
+from notionary.page.content.syntax.definition import EnclosedSyntaxDefinition
 
 
 class FileLikeBlockRenderer(CaptionedBlockRenderer):
     @abstractmethod
-    def _get_syntax(self) -> SyntaxDefinition:
+    def _get_syntax(self) -> EnclosedSyntaxDefinition:
         pass
 
     @abstractmethod
-    def _get_file_data(self, block: Block) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
+    def _get_file_data(
+        self, block: Block
+    ) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
         pass
 
     @override

notionary/page/content/renderer/renderers/heading.py

@@ -1,10 +1,12 @@
 from typing import override
 
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block, BlockType, HeadingData
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
-from notionary.page.content.syntax import SyntaxRegistry
+from notionary.page.content.syntax.definition import SyntaxDefinitionRegistry
 
 
 class HeadingRenderer(BlockRenderer):
@@ -13,16 +15,22 @@ class HeadingRenderer(BlockRenderer):
 
     def __init__(
         self,
-        syntax_registry: SyntaxRegistry | None = None,
+        syntax_registry: SyntaxDefinitionRegistry | None = None,
         rich_text_markdown_converter: RichTextToMarkdownConverter | None = None,
     ) -> None:
         super().__init__(syntax_registry=syntax_registry)
         self._syntax = self._syntax_registry.get_heading_syntax()
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
     @override
     def _can_handle(self, block: Block) -> bool:
-        return block.type in (BlockType.HEADING_1, BlockType.HEADING_2, BlockType.HEADING_3)
+        return block.type in (
+            BlockType.HEADING_1,
+            BlockType.HEADING_2,
+            BlockType.HEADING_3,
+        )
 
     @override
     async def _process(self, context: MarkdownRenderingContext) -> None:
@@ -35,7 +43,9 @@ class HeadingRenderer(BlockRenderer):
         heading_markdown = self._format_heading(level, title, context.indent_level)
 
         if self._is_toggleable(context.block):
-            context.markdown_result = await self._render_toggleable_heading(heading_markdown, context)
+            context.markdown_result = await self._render_toggleable_heading(
+                heading_markdown, context
+            )
         else:
             context.markdown_result = heading_markdown
 
@@ -52,7 +62,9 @@ class HeadingRenderer(BlockRenderer):
 
         return heading_markdown
 
-    async def _render_toggleable_heading(self, heading_markdown: str, context: MarkdownRenderingContext) -> str:
+    async def _render_toggleable_heading(
+        self, heading_markdown: str, context: MarkdownRenderingContext
+    ) -> str:
         original_indent = context.indent_level
         context.indent_level += 1
 
@@ -83,7 +95,9 @@ class HeadingRenderer(BlockRenderer):
         if not heading_data or not heading_data.rich_text:
             return ""
 
-        return await self._rich_text_markdown_converter.to_markdown(heading_data.rich_text)
+        return await self._rich_text_markdown_converter.to_markdown(
+            heading_data.rich_text
+        )
 
     def _get_heading_data(self, block: Block) -> HeadingData | None:
         if block.type == BlockType.HEADING_1:

notionary/page/content/renderer/renderers/image.py

@@ -1,8 +1,15 @@
 from typing import override
 
-from notionary.blocks.schemas import Block, BlockType, ExternalFileWithCaption, NotionHostedFileWithCaption
-from notionary.page.content.renderer.renderers.file_like_block import FileLikeBlockRenderer
-from notionary.page.content.syntax import SyntaxDefinition
+from notionary.blocks.schemas import (
+    Block,
+    BlockType,
+    ExternalFileWithCaption,
+    NotionHostedFileWithCaption,
+)
+from notionary.page.content.renderer.renderers.file_like_block import (
+    FileLikeBlockRenderer,
+)
+from notionary.page.content.syntax.definition import SyntaxDefinition
 
 
 class ImageRenderer(FileLikeBlockRenderer):
@@ -15,5 +22,7 @@ class ImageRenderer(FileLikeBlockRenderer):
         return self._syntax_registry.get_image_syntax()
 
     @override
-    def _get_file_data(self, block: Block) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
+    def _get_file_data(
+        self, block: Block
+    ) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
         return block.image

notionary/page/content/renderer/renderers/numbered_list.py

@@ -6,18 +6,23 @@ from notionary.blocks.rich_text.rich_text_markdown_converter import (
 from notionary.blocks.schemas import Block, BlockType
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
-from notionary.page.content.syntax import MarkdownGrammar, SyntaxRegistry
+from notionary.page.content.syntax.definition import (
+    MarkdownGrammar,
+    SyntaxDefinitionRegistry,
+)
 
 
 class NumberedListRenderer(BlockRenderer):
     def __init__(
         self,
-        syntax_registry: SyntaxRegistry | None = None,
+        syntax_registry: SyntaxDefinitionRegistry | None = None,
         rich_text_markdown_converter: RichTextToMarkdownConverter | None = None,
         markdown_grammar: MarkdownGrammar | None = None,
     ) -> None:
         super().__init__(syntax_registry=syntax_registry)
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
         markdown_grammar = markdown_grammar or MarkdownGrammar()
         self._numbered_list_placeholder = markdown_grammar.numbered_list_placeholder

notionary/page/content/renderer/renderers/paragraph.py

@@ -1,15 +1,21 @@
 from typing import override
 
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block, BlockType
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
 
 
 class ParagraphRenderer(BlockRenderer):
-    def __init__(self, rich_text_markdown_converter: RichTextToMarkdownConverter | None = None) -> None:
+    def __init__(
+        self, rich_text_markdown_converter: RichTextToMarkdownConverter | None = None
+    ) -> None:
         super().__init__()
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
     @override
     def _can_handle(self, block: Block) -> bool:
@@ -37,4 +43,6 @@ class ParagraphRenderer(BlockRenderer):
         if not block.paragraph or not block.paragraph.rich_text:
             return None
 
-        return await self._rich_text_markdown_converter.to_markdown(block.paragraph.rich_text)
+        return await self._rich_text_markdown_converter.to_markdown(
+            block.paragraph.rich_text
+        )

notionary/page/content/renderer/renderers/pdf.py

@@ -1,8 +1,15 @@
 from typing import override
 
-from notionary.blocks.schemas import Block, BlockType, ExternalFileWithCaption, NotionHostedFileWithCaption
-from notionary.page.content.renderer.renderers.file_like_block import FileLikeBlockRenderer
-from notionary.page.content.syntax import SyntaxDefinition
+from notionary.blocks.schemas import (
+    Block,
+    BlockType,
+    ExternalFileWithCaption,
+    NotionHostedFileWithCaption,
+)
+from notionary.page.content.renderer.renderers.file_like_block import (
+    FileLikeBlockRenderer,
+)
+from notionary.page.content.syntax.definition import EnclosedSyntaxDefinition
 
 
 class PdfRenderer(FileLikeBlockRenderer):
@@ -11,9 +18,11 @@ class PdfRenderer(FileLikeBlockRenderer):
         return block.type == BlockType.PDF
 
     @override
-    def _get_syntax(self) -> SyntaxDefinition:
+    def _get_syntax(self) -> EnclosedSyntaxDefinition:
         return self._syntax_registry.get_pdf_syntax()
 
     @override
-    def _get_file_data(self, block: Block) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
+    def _get_file_data(
+        self, block: Block
+    ) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
         return block.pdf

notionary/page/content/renderer/renderers/quote.py

@@ -1,20 +1,24 @@
 from typing import override
 
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block, BlockType
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
-from notionary.page.content.syntax import SyntaxRegistry
+from notionary.page.content.syntax.definition import SyntaxDefinitionRegistry
 
 
 class QuoteRenderer(BlockRenderer):
     def __init__(
         self,
-        syntax_registry: SyntaxRegistry | None = None,
+        syntax_registry: SyntaxDefinitionRegistry | None = None,
         rich_text_markdown_converter: RichTextToMarkdownConverter | None = None,
     ) -> None:
         super().__init__(syntax_registry=syntax_registry)
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
     @override
     def _can_handle(self, block: Block) -> bool:
@@ -30,7 +34,9 @@ class QuoteRenderer(BlockRenderer):
 
         syntax = self._syntax_registry.get_quote_syntax()
         quote_lines = markdown.split("\n")
-        quote_markdown = "\n".join(f"{syntax.start_delimiter}{line}" for line in quote_lines)
+        quote_markdown = "\n".join(
+            f"{syntax.start_delimiter}{line}" for line in quote_lines
+        )
 
         if context.indent_level > 0:
             quote_markdown = context.indent_text(quote_markdown)
@@ -46,4 +52,6 @@ class QuoteRenderer(BlockRenderer):
         if not block.quote or not block.quote.rich_text:
             return None
 
-        return await self._rich_text_markdown_converter.to_markdown(block.quote.rich_text)
+        return await self._rich_text_markdown_converter.to_markdown(
+            block.quote.rich_text
+        )

notionary/page/content/renderer/renderers/table.py

@@ -1,6 +1,8 @@
 from typing import override
 
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block, BlockType
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
@@ -9,9 +11,13 @@ from notionary.page.content.renderer.renderers.base import BlockRenderer
 class TableRenderer(BlockRenderer):
     MINIMUM_COLUMN_WIDTH = 3
 
-    def __init__(self, rich_text_markdown_converter: RichTextToMarkdownConverter | None = None) -> None:
+    def __init__(
+        self, rich_text_markdown_converter: RichTextToMarkdownConverter | None = None
+    ) -> None:
         super().__init__()
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
         self._table_syntax = self._syntax_registry.get_table_syntax()
 
     @override
@@ -71,10 +77,14 @@ class TableRenderer(BlockRenderer):
 
         return "\n".join(markdown_lines)
 
-    def _normalize_row_lengths(self, rows: list[list[str]], target_length: int) -> list[list[str]]:
+    def _normalize_row_lengths(
+        self, rows: list[list[str]], target_length: int
+    ) -> list[list[str]]:
         return [row + [""] * (target_length - len(row)) for row in rows]
 
-    def _calculate_column_widths(self, rows: list[list[str]], num_columns: int) -> list[int]:
+    def _calculate_column_widths(
+        self, rows: list[list[str]], num_columns: int
+    ) -> list[int]:
         widths = [max(len(row[i]) for row in rows) for i in range(num_columns)]
         return [max(width, self.MINIMUM_COLUMN_WIDTH) for width in widths]
 

notionary/page/content/renderer/renderers/todo.py

@@ -1,21 +1,25 @@
 from typing import override
 
 from notionary.blocks.enums import BlockType
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
-from notionary.page.content.syntax import SyntaxRegistry
+from notionary.page.content.syntax.definition import SyntaxDefinitionRegistry
 
 
 class TodoRenderer(BlockRenderer):
     def __init__(
         self,
-        syntax_registry: SyntaxRegistry | None = None,
+        syntax_registry: SyntaxDefinitionRegistry | None = None,
         rich_text_markdown_converter: RichTextToMarkdownConverter | None = None,
     ) -> None:
         super().__init__(syntax_registry=syntax_registry)
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
     @override
     def _can_handle(self, block: Block) -> bool:
@@ -29,7 +33,11 @@ class TodoRenderer(BlockRenderer):
             context.markdown_result = ""
             return
 
-        syntax = self._syntax_registry.get_todo_done_syntax() if is_checked else self._syntax_registry.get_todo_syntax()
+        syntax = (
+            self._syntax_registry.get_todo_done_syntax()
+            if is_checked
+            else self._syntax_registry.get_todo_syntax()
+        )
 
         todo_markdown = f"{syntax.start_delimiter} {content}"
 
@@ -51,6 +59,8 @@ class TodoRenderer(BlockRenderer):
 
         content = ""
         if block.to_do.rich_text:
-            content = await self._rich_text_markdown_converter.to_markdown(block.to_do.rich_text)
+            content = await self._rich_text_markdown_converter.to_markdown(
+                block.to_do.rich_text
+            )
 
         return is_checked, content

notionary/page/content/renderer/renderers/toggle.py

@@ -1,21 +1,25 @@
 from typing import override
 
 from notionary.blocks.enums import BlockType
-from notionary.blocks.rich_text.rich_text_markdown_converter import RichTextToMarkdownConverter
+from notionary.blocks.rich_text.rich_text_markdown_converter import (
+    RichTextToMarkdownConverter,
+)
 from notionary.blocks.schemas import Block
 from notionary.page.content.renderer.context import MarkdownRenderingContext
 from notionary.page.content.renderer.renderers.base import BlockRenderer
-from notionary.page.content.syntax import SyntaxRegistry
+from notionary.page.content.syntax.definition import SyntaxDefinitionRegistry
 
 
 class ToggleRenderer(BlockRenderer):
     def __init__(
         self,
-        syntax_registry: SyntaxRegistry | None = None,
+        syntax_registry: SyntaxDefinitionRegistry | None = None,
         rich_text_markdown_converter: RichTextToMarkdownConverter | None = None,
     ) -> None:
         super().__init__(syntax_registry=syntax_registry)
-        self._rich_text_markdown_converter = rich_text_markdown_converter or RichTextToMarkdownConverter()
+        self._rich_text_markdown_converter = (
+            rich_text_markdown_converter or RichTextToMarkdownConverter()
+        )
 
     @override
     def _can_handle(self, block: Block) -> bool:

notionary/page/content/renderer/renderers/video.py

@@ -1,8 +1,15 @@
 from typing import override
 
-from notionary.blocks.schemas import Block, BlockType, ExternalFileWithCaption, NotionHostedFileWithCaption
-from notionary.page.content.renderer.renderers.file_like_block import FileLikeBlockRenderer
-from notionary.page.content.syntax import SyntaxDefinition
+from notionary.blocks.schemas import (
+    Block,
+    BlockType,
+    ExternalFileWithCaption,
+    NotionHostedFileWithCaption,
+)
+from notionary.page.content.renderer.renderers.file_like_block import (
+    FileLikeBlockRenderer,
+)
+from notionary.page.content.syntax.definition import EnclosedSyntaxDefinition
 
 
 class VideoRenderer(FileLikeBlockRenderer):
@@ -11,9 +18,11 @@ class VideoRenderer(FileLikeBlockRenderer):
         return block.type == BlockType.VIDEO
 
     @override
-    def _get_syntax(self) -> SyntaxDefinition:
+    def _get_syntax(self) -> EnclosedSyntaxDefinition:
         return self._syntax_registry.get_video_syntax()
 
     @override
-    def _get_file_data(self, block: Block) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
+    def _get_file_data(
+        self, block: Block
+    ) -> ExternalFileWithCaption | NotionHostedFileWithCaption | None:
         return block.video

notionary/page/content/renderer/service.py

@@ -1,6 +1,8 @@
 from notionary.blocks.schemas import Block
 from notionary.page.content.renderer.context import MarkdownRenderingContext
-from notionary.page.content.renderer.post_processing.service import MarkdownRenderingPostProcessor
+from notionary.page.content.renderer.post_processing.service import (
+    MarkdownRenderingPostProcessor,
+)
 from notionary.page.content.renderer.renderers import BlockRenderer
 from notionary.utils.mixins.logging import LoggingMixin
 
@@ -22,7 +24,9 @@ class NotionToMarkdownConverter(LoggingMixin):
         current_block_index = 0
 
         while current_block_index < len(blocks):
-            context = self._create_rendering_context(blocks, current_block_index, indent_level)
+            context = self._create_rendering_context(
+                blocks, current_block_index, indent_level
+            )
             await self._renderer_chain.handle(context)
 
             if context.markdown_result:
@@ -45,6 +49,8 @@ class NotionToMarkdownConverter(LoggingMixin):
             convert_children_callback=self.convert,
         )
 
-    def _join_rendered_blocks(self, rendered_parts: list[str], indent_level: int) -> str:
+    def _join_rendered_blocks(
+        self, rendered_parts: list[str], indent_level: int
+    ) -> str:
         separator = "\n\n" if indent_level == 0 else "\n"
         return separator.join(rendered_parts)

notionary/page/content/service.py

@@ -30,13 +30,17 @@ class PageContentService(LoggingMixin):
 
     @time_execution_async()
     async def clear(self) -> None:
-        children_response = await self._block_client.get_block_children(block_id=self._page_id)
+        children_response = await self._block_client.get_block_children(
+            block_id=self._page_id
+        )
 
         if not children_response or not children_response.results:
             self.logger.debug("No blocks to delete for page: %s", self._page_id)
             return
 
-        await asyncio.gather(*[self._delete_single_block(block) for block in children_response.results])
+        await asyncio.gather(
+            *[self._delete_single_block(block) for block in children_response.results]
+        )
 
     @async_retry(max_retries=10, initial_delay=0.2, backoff_factor=1.5)
     async def _delete_single_block(self, block: Block) -> None:
@@ -44,16 +48,22 @@ class PageContentService(LoggingMixin):
         await self._block_client.delete_block(block.id)
 
     @time_execution_async()
-    async def append_markdown(self, content: str | Callable[[MarkdownBuilder], MarkdownBuilder]) -> None:
+    async def append_markdown(
+        self, content: str | Callable[[MarkdownBuilder], MarkdownBuilder]
+    ) -> None:
         markdown = self._extract_markdown(content)
         if not markdown:
-            self.logger.debug("No markdown content to append for page: %s", self._page_id)
+            self.logger.debug(
+                "No markdown content to append for page: %s", self._page_id
+            )
             return
 
         blocks = await self._markdown_converter.convert(markdown)
         await self._append_blocks(blocks)
 
-    def _extract_markdown(self, content: str | Callable[[MarkdownBuilder], MarkdownBuilder]) -> str:
+    def _extract_markdown(
+        self, content: str | Callable[[MarkdownBuilder], MarkdownBuilder]
+    ) -> str:
         if isinstance(content, str):
             return content
 
@@ -62,7 +72,11 @@ class PageContentService(LoggingMixin):
             content(builder)
             return builder.build()
 
-        raise ValueError("content must be either a string or a callable that takes a MarkdownBuilder")
+        raise ValueError(
+            "content must be either a string or a callable that takes a MarkdownBuilder"
+        )
 
     async def _append_blocks(self, blocks: list[Block]) -> None:
-        await self._block_client.append_block_children(block_id=self._page_id, children=blocks)
+        await self._block_client.append_block_children(
+            block_id=self._page_id, children=blocks
+        )

notionary/page/content/syntax/definition/__init__.py

@@ -0,0 +1,11 @@
+from .grammar import MarkdownGrammar
+from .models import EnclosedSyntaxDefinition, SimpleSyntaxDefinition, SyntaxDefinition
+from .registry import SyntaxDefinitionRegistry
+
+__all__ = [
+    "EnclosedSyntaxDefinition",
+    "MarkdownGrammar",
+    "SimpleSyntaxDefinition",
+    "SyntaxDefinition",
+    "SyntaxDefinitionRegistry",
+]

notionary/page/content/syntax/definition/models.py

@@ -0,0 +1,57 @@
+import re
+from dataclasses import dataclass
+from enum import StrEnum
+
+
+class SyntaxDefinitionRegistryKey(StrEnum):
+    AUDIO = "audio"
+    BOOKMARK = "bookmark"
+    IMAGE = "image"
+    VIDEO = "video"
+    FILE = "file"
+    PDF = "pdf"
+
+    BULLETED_LIST = "bulleted_list"
+    NUMBERED_LIST = "numbered_list"
+    TO_DO = "todo"
+    TO_DO_DONE = "todo_done"
+
+    TOGGLE = "toggle"
+    TOGGLEABLE_HEADING = "toggleable_heading"
+    CALLOUT = "callout"
+    QUOTE = "quote"
+    CODE = "code"
+
+    COLUMN_LIST = "column_list"
+    COLUMN = "column"
+
+    HEADING = "heading"
+
+    DIVIDER = "divider"
+    BREADCRUMB = "breadcrumb"
+    TABLE_OF_CONTENTS = "table_of_contents"
+    EQUATION = "equation"
+    EMBED = "embed"
+    TABLE = "table"
+    TABLE_ROW = "table_row"
+
+    CAPTION = "caption"
+    SPACE = "space"
+    PARAGRAPH = "paragraph"
+
+
+@dataclass(frozen=True)
+class SimpleSyntaxDefinition:
+    start_delimiter: str
+    regex_pattern: re.Pattern
+
+
+@dataclass(frozen=True)
+class EnclosedSyntaxDefinition:
+    start_delimiter: str
+    end_delimiter: str
+    regex_pattern: re.Pattern
+    end_regex_pattern: re.Pattern
+
+
+type SyntaxDefinition = SimpleSyntaxDefinition | EnclosedSyntaxDefinition