Added global method to transpilers

MiguelMarcelino · May 8, 2022 · 1ef2764 · 1ef2764
1 parent 5a946ac
commit 1ef2764
Show file tree

Hide file tree

Showing 8 changed files with 24 additions and 0 deletions.
diff --git a/pycpp/transpiler.py b/pycpp/transpiler.py
@@ -141,6 +141,9 @@ def usings(self):
         uses = "\n".join(f"#include {mod}{lint_exception}" for mod in usings)
         return uses
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def headers(self, meta: InferMeta):
         lint_exception = (
             "  // NOLINT(build/include_order)" if not self._no_prologue else ""

diff --git a/pydart/transpiler.py b/pydart/transpiler.py
@@ -66,6 +66,9 @@ def usings(self):
         uses = "\n".join(f"import '{mod}';" for mod in usings)
         return f"// @dart=2.9\n{uses}" if uses else ""
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def visit_FunctionDef(self, node) -> str:
         body = "\n".join([self.visit(n) for n in node.body])
         typenames, args = self.visit(node.args)

diff --git a/pygo/transpiler.py b/pygo/transpiler.py
@@ -154,6 +154,9 @@ def usings(self):
             buf += ")\n"
         return buf + "\n\n"
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def _combine_value_index(self, value_type, index_type) -> str:
         return f"{value_type}{index_type}"
 

diff --git a/pykt/transpiler.py b/pykt/transpiler.py
@@ -105,6 +105,9 @@ def usings(self):
         uses = "\n".join(f"import {mod}" for mod in usings)
         return uses
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def visit_FunctionDef(self, node) -> str:
         body = "\n".join([self.visit(n) for n in node.body])
         typenames, args = self.visit_arguments(node.args)

diff --git a/pynim/transpiler.py b/pynim/transpiler.py
@@ -70,6 +70,9 @@ def usings(self):
         uses = "\n".join(f"import {mod}" for mod in usings)
         return uses
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def _combine_value_index(self, value_type, index_type) -> str:
         return f"{value_type}[{index_type}]"
 

diff --git a/pyrs/transpiler.py b/pyrs/transpiler.py
@@ -161,6 +161,9 @@ def usings(self):
         )
         return f"{cargo_toml}\n{lint_ignores}\n\n{externs}\n{uses}\n"
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def features(self):
         if self._features:
             features = ", ".join(sorted(list(set(self._features))))

diff --git a/pysmt/transpiler.py b/pysmt/transpiler.py
@@ -51,6 +51,9 @@ def usings(self):
         uses = "\n".join(f"import {mod}" for mod in usings)
         return uses
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def _combine_value_index(self, value_type, index_type) -> str:
         return f"(_ {value_type} {index_type})"
 

diff --git a/pyv/transpiler.py b/pyv/transpiler.py
@@ -166,6 +166,9 @@ def usings(self):
         # but V expects the module statement to be at the top.
         return f"module main\n{uses}"
 
+    def globals(self):
+        return "\n".join(self._globals)
+
     def _combine_value_index(self, value_type: str, index_type: str) -> str:
         return f"{value_type}{index_type}"