DeCarabas/lrparsers
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Comments

Browse source 
Not really.
This commit is contained in:
John Doty 2024-09-13 23:16:46 -07:00
parent eea05ecd30
commit 39ae937ddc
1 changed files with 17 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

23
parser/wadler.py
View file

@ -5,8 +5,10 @@ import typing
from . import parser from . import parser
from . import runtime from . import runtime
# TODO: I think I want a *force break*, i.e., a document which forces things
# to not fit on one line. ############################################################################
# Documents
############################################################################
@dataclasses.dataclass(frozen=True) @dataclasses.dataclass(frozen=True)
@ -77,13 +79,24 @@ class Lazy:
Document = None | Text | Literal | NewLine | ForceBreak | Cons | Indent | Group | Marker | Lazy Document = None | Text | Literal | NewLine | ForceBreak | Cons | Indent | Group | Marker | Lazy
############################################################################
# Layouts
############################################################################
class DocumentLayout: class DocumentLayout:
"""A structure that is trivially convertable to a string; the result of
layout out a document."""
segments: list[str | tuple[int, int]] segments: list[str | tuple[int, int]]
def __init__(self, segments): def __init__(self, segments):
self.segments = segments self.segments = segments
def apply_to_source(self, original: str) -> str: def apply_to_source(self, original: str) -> str:
"""Convert this layout to a string by copying chunks of the source
text into the right place.
"""
result = "" result = ""
for segment in self.segments: for segment in self.segments:
if isinstance(segment, str): if isinstance(segment, str):
@ -98,8 +111,8 @@ class DocumentLayout:
def layout_document(doc: Document, width: int) -> DocumentLayout: def layout_document(doc: Document, width: int) -> DocumentLayout:
"""Lay out a document to fit within the given width. """Lay out a document to fit within the given width.
The result of this function is a layout which can trivially be converted The result of this function is a DocumentLayout which can trivially be
into a string given the original document. converted into a string given the original document.
""" """
@dataclasses.dataclass @dataclasses.dataclass
@ -252,8 +265,6 @@ def resolve_document(doc: Document) -> Document:
def child_to_name(child: runtime.Tree | runtime.TokenValue) -> str: def child_to_name(child: runtime.Tree | runtime.TokenValue) -> str:
# TODO: RECONSIDER THE EXISTENCE OF THIS FUNCTION
# The naming condition is important but
if isinstance(child, runtime.Tree): if isinstance(child, runtime.Tree):
return f"tree_{child.name}" return f"tree_{child.name}"
else: else: