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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: varphi-devkit
-Version: 1.3.0
+Version: 1.5.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.5.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "varphi-devkit"
-version = "1.3.0"
+version = "1.5.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.5.0}/src/varphi_devkit/compilation.py

@@ -21,7 +21,6 @@ Functions:
     compile: Parses a Varphi program and compiles it using the provided compiler.
 """
 
-import logging
 from abc import ABC, abstractmethod
 
 from antlr4 import InputStream, CommonTokenStream, ParseTreeWalker
@@ -33,10 +32,6 @@ from .syntax.error_listener import VarphiSyntaxErrorListener
 from .model import VarphiTapeCharacter, VarphiHeadDirection, VarphiLine
 
 
-
-logger = logging.getLogger(__name__)
-
-
 class VarphiCompiler(VarphiListener, ABC):
     """Abstract base class for compiling Varphi programs into target languages.
     
@@ -77,19 +72,18 @@ class VarphiCompiler(VarphiListener, ABC):
         Args:
             ctx: The ANTLR parser context for the line rule
         """
-        logging.debug("Entering line %s", ctx.start.line)
         if_state = str(ctx.STATE(0).getText())
-        logging.debug("If state: %s", if_state)
         tape_character = VarphiTapeCharacter(ctx.TAPE_CHARACTER(0).getText())
-        logging.debug("Tape character: %s", tape_character)
         then_state = str(ctx.STATE(1).getText())
-        logging.debug("Then state: %s", then_state)
         then_character = VarphiTapeCharacter(ctx.TAPE_CHARACTER(1).getText())
-        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)
-        logging.debug("Delegating to handleLine() helper method")
+        line_number_in_source = ctx.start.line
+        line = VarphiLine(if_state,
+                          tape_character,
+                          then_state,
+                          then_character,
+                          then_direction,
+                          line_number_in_source)
         self.handle_line(line)
 
 

{varphi_devkit-1.3.0 → varphi_devkit-1.5.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