wip: add variables

pta2maude/src/Parser.py

@@ -864,6 +864,23 @@ class InterpreterParser(Parser):
 
         return preamble
 
+    def _get_variables(self) -> str:
+        net = self.maude.variables(["NET"], "Network")
+        clocks = self.maude.variables(["CLOCKS"], "SetAssignment")
+        params = self.maude.variables(["PARAMS"], "SetAssignment")
+        vars = self.maude.variables(["DVARS"], "SetAssignment")
+        definition = self.maude.variables(["SSTDEF"], "SStateDef")
+
+        return f"""
+            --- -------------------------
+            {net}
+            {clocks}
+            {params}
+            {vars}
+            {definition}
+            --- -------------------------
+        """
+
     def _get_search_cmd(self) -> str:
         return ""
 
@@ -871,6 +888,7 @@ class InterpreterParser(Parser):
         load = self.maude.loadFile("Semantics")
         import_dynamics = self.maude.importModule("DYNAMICS", ImportType.EXTENDING)
         preamble = self._get_preamble(model)
+        variables = self._get_variables()
 
         rules = ""
         search_cmd = self._get_search_cmd()
@@ -883,6 +901,7 @@ class InterpreterParser(Parser):
             {preamble}
 
             {rules}
+            {variables}
         endm
 
         {search_cmd}

pta2maude/tests/examples/coffee-intrpr.maude

@@ -37,7 +37,6 @@ mod MODEL is
  var DVARS  : SetAssignment .
  var SSTDEF : SStateDef .
  --- -------------------------
-
 endm
 
 search [1] init =>* { < coffee @ done | SSTDEF >  } < tick: tickNotOk clocks: CLOCKS parameters: PARAMS dvariables: DVARS > .