varphi-devkit 1.3.0__tar.gz → 1.4.0__tar.gz

{varphi_devkit-1.3.0 → varphi_devkit-1.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: varphi-devkit
-Version: 1.3.0
+Version: 1.4.0
 Summary: A Python framework for creating compilers that target the Varphi language
 License: BSD-3-Clause
 Keywords: compiler,turing-machine,dsl,antlr,parser

{varphi_devkit-1.3.0 → varphi_devkit-1.4.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "varphi-devkit"
-version = "1.3.0"
+version = "1.4.0"
 description = "A Python framework for creating compilers that target the Varphi language"
 authors = [
     {name = "Hassan El-Sheikha",email = "hmelsheikha@gmail.com"}

{varphi_devkit-1.3.0 → varphi_devkit-1.4.0}/src/varphi_devkit/compilation.py

@@ -88,7 +88,13 @@ class VarphiCompiler(VarphiListener, ABC):
         logging.debug("Then character: %s", then_character)
         then_direction = VarphiHeadDirection(ctx.HEAD_DIRECTION().getText())
         logging.debug("Then direction: %s", then_direction)
-        line = VarphiLine(if_state, tape_character, then_state, then_character, then_direction)
+        line_number_in_source = ctx.start.line
+        line = VarphiLine(if_state,
+                          tape_character,
+                          then_state,
+                          then_character,
+                          then_direction,
+                          line_number_in_source)
         logging.debug("Delegating to handleLine() helper method")
         self.handle_line(line)
 

{varphi_devkit-1.3.0 → varphi_devkit-1.4.0}/src/varphi_devkit/model.py

@@ -45,9 +45,11 @@ class VarphiLine:
         then_state: next state
         then_character: character to write
         then_direction: direction to move the head
+        line_number_in_source: the corresponding line number in the original source Varphi program
     """
     if_state: str
     if_character: VarphiTapeCharacter
     then_state: str
     then_character: VarphiTapeCharacter
     then_direction: VarphiHeadDirection
+    line_number_in_source: int