Merge branch 'bindings' into 'main'

Draft: decompiler: Implement support for bindings

See merge request jwestman/blueprint-compiler!162

blueprintcompiler/decompiler.py

@@ -42,6 +42,19 @@ _NAMESPACES = [
 ]
 
 
+@dataclass
+class TextFragment:
+    text: str
+    newline_after: bool = True
+    indent: bool = True
+
+
+@dataclass
+class BlockInfo:
+    terminator: T.Optional[TextFragment] = None
+    separator: T.Optional[TextFragment] = None
+
+
 class LineType(Enum):
     NONE = 1
     STMT = 2
@@ -54,7 +67,7 @@ class DecompileCtx:
         self._result: str = ""
         self.gir = GirContext()
         self._indent: int = 0
-        self._blocks_need_end: T.List[str] = []
+        self._blocks: T.List[BlockInfo] = []
         self._last_line_type: LineType = LineType.NONE
         self.template_class: T.Optional[str] = None
 
@@ -86,16 +99,25 @@ class DecompileCtx:
         return None
 
     def start_block(self) -> None:
-        self._blocks_need_end.append("")
+        self._blocks.append(BlockInfo())
 
     def end_block(self) -> None:
-        if close := self._blocks_need_end.pop():
-            self.print(close)
+        block = self._blocks.pop()
+        if terminator := block.terminator:
+            self.print(terminator.text, terminator.newline_after, terminator.indent)
 
-    def end_block_with(self, text: str) -> None:
-        self._blocks_need_end[-1] = text
+    def separate_block_elements(self) -> None:
+        block = self._blocks[-1]
+        if separator := block.separator:
+            self.print(separator.text, separator.newline_after, separator.indent)
 
-    def print(self, line: str, newline: bool = True) -> None:
+    def end_block_with(self, text: str, newline_after: bool = True, indent: bool = True) -> None:
+        self._blocks[-1].terminator = TextFragment(text, newline_after, indent)
+
+    def separate_block_elements_with(self, text: str, newline_after: bool = False, indent: bool = False) -> None:
+        self._blocks[-1].separator = TextFragment(text, newline_after, indent)
+
+    def print(self, line: str, newline: bool = True, indent: bool = True) -> None:
         if line == "}" or line == "]":
             self._indent -= 1
 
@@ -117,13 +139,13 @@ class DecompileCtx:
                 self._result += "\n"
             self._last_line_type = line_type
 
-        self._result += ("  " * self._indent) + line
+        self._result += ("  " * self._indent * indent) + line
         if newline:
             self._result += "\n"
 
         if line.endswith("{") or line.endswith("["):
-            if len(self._blocks_need_end):
-                self._blocks_need_end[-1] = _CLOSING[line[-1]]
+            if len(self._blocks):
+                self._blocks[-1].terminator = TextFragment(_CLOSING[line[-1]])
             self._indent += 1
 
     def print_attribute(self, name: str, value: str, type: GirType) -> None:
@@ -193,7 +215,11 @@ def _decompile_element(
         ctx.start_block()
         gir = decompiler(ctx, gir, **args)
 
+        first = True
         for child in xml.children:
+            if not first:
+                ctx.separate_block_elements()
+                first = False
             _decompile_element(ctx, gir, child)
 
         ctx.end_block()
@@ -331,6 +357,45 @@ def decompile_property(
     return gir
 
 
+@decompiler("binding")
+def decompile_binding(ctx: DecompileCtx, gir, name):
+    name = name.replace("_", "-")
+    ctx.print(f"{name}: bind ", newline=False)
+    ctx.end_block_with(";")
+    return gir
+
+
+@decompiler("lookup", cdata=True)
+def decompile_lookup(ctx: DecompileCtx, gir, name, cdata, type=None):
+    name = name.replace("_", "-")
+
+    if cdata is not None:
+        ctx.print(cdata, newline=False)
+
+    cast = f" as <{type}>" if type is not None else ""
+    ctx.end_block_with(f"{cast}.{name}", newline_after=False, indent=False)
+
+    return gir
+
+
+@decompiler("constant", cdata=True)
+def decompile_constant(ctx: DecompileCtx, gir, cdata, type=None):
+    cast = f" as <{type}>" if type is not None else ""
+    ctx.print(f"{cdata}{cast}", newline=False, indent=False)
+
+    return gir
+
+
+@decompiler("closure")
+def decompile_closure(ctx: DecompileCtx, gir, function, type):
+    ctx.print(f"{function}(", newline=False)
+    ctx.separate_block_elements_with(f", ")
+    cast = f" as <{type}>"
+    ctx.end_block_with(f"){cast}", newline_after=False, indent=False)
+
+    return gir
+
+
 @decompiler("attribute", cdata=True)
 def decompile_attribute(
     ctx, gir, name, cdata, translatable="false", comments=None, context=None