varphi-devkit 1.1.4__tar.gz → 1.2.0__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/PKG-INFO +3 -3
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/README.md +2 -2
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/pyproject.toml +1 -1
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/model.py +2 -2
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/LICENSE +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/__init__.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/compilation.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/Varphi.g4 +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/__init__.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/antlr/VarphiLexer.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/antlr/VarphiListener.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/antlr/VarphiParser.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/antlr/__init__.py +0 -0
- {varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/error_listener.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.3
|
|
2
2
|
Name: varphi-devkit
|
|
3
|
-
Version: 1.
|
|
3
|
+
Version: 1.2.0
|
|
4
4
|
Summary: A Python framework for creating compilers that target the Varphi language
|
|
5
5
|
License: BSD-3-Clause
|
|
6
6
|
Keywords: compiler,turing-machine,dsl,antlr,parser
|
|
@@ -73,7 +73,7 @@ The framework is built around these key components:
|
|
|
73
73
|
- **`VarphiHeadDirection`**: Enum for head movement (`LEFT="L"`, `RIGHT="R"`)
|
|
74
74
|
- **`VarphiLine`**: Dataclass representing a transition rule with fields:
|
|
75
75
|
- `if_state`: Current state
|
|
76
|
-
- `
|
|
76
|
+
- `if_character`: Current tape character
|
|
77
77
|
- `then_state`: Next state
|
|
78
78
|
- `then_character`: Character to write
|
|
79
79
|
- `then_direction`: Direction to move
|
|
@@ -166,7 +166,7 @@ Abstract base class for implementing custom Varphi compilers.
|
|
|
166
166
|
|
|
167
167
|
Represents a single transition rule with attributes:
|
|
168
168
|
- `if_state: str` - Current state
|
|
169
|
-
- `
|
|
169
|
+
- `if_character: VarphiTapeCharacter` - Current tape character
|
|
170
170
|
- `then_state: str` - Next state
|
|
171
171
|
- `then_character: VarphiTapeCharacter` - Character to write
|
|
172
172
|
- `then_direction: VarphiHeadDirection` - Head movement direction
|
|
@@ -52,7 +52,7 @@ The framework is built around these key components:
|
|
|
52
52
|
- **`VarphiHeadDirection`**: Enum for head movement (`LEFT="L"`, `RIGHT="R"`)
|
|
53
53
|
- **`VarphiLine`**: Dataclass representing a transition rule with fields:
|
|
54
54
|
- `if_state`: Current state
|
|
55
|
-
- `
|
|
55
|
+
- `if_character`: Current tape character
|
|
56
56
|
- `then_state`: Next state
|
|
57
57
|
- `then_character`: Character to write
|
|
58
58
|
- `then_direction`: Direction to move
|
|
@@ -145,7 +145,7 @@ Abstract base class for implementing custom Varphi compilers.
|
|
|
145
145
|
|
|
146
146
|
Represents a single transition rule with attributes:
|
|
147
147
|
- `if_state: str` - Current state
|
|
148
|
-
- `
|
|
148
|
+
- `if_character: VarphiTapeCharacter` - Current tape character
|
|
149
149
|
- `then_state: str` - Next state
|
|
150
150
|
- `then_character: VarphiTapeCharacter` - Character to write
|
|
151
151
|
- `then_direction: VarphiHeadDirection` - Head movement direction
|
|
@@ -41,13 +41,13 @@ class VarphiLine:
|
|
|
41
41
|
|
|
42
42
|
Attributes:
|
|
43
43
|
if_state: current state
|
|
44
|
-
|
|
44
|
+
if_character: current tape character
|
|
45
45
|
then_state: next state
|
|
46
46
|
then_character: character to write
|
|
47
47
|
then_direction: direction to move the head
|
|
48
48
|
"""
|
|
49
49
|
if_state: str
|
|
50
|
-
|
|
50
|
+
if_character: VarphiTapeCharacter
|
|
51
51
|
then_state: str
|
|
52
52
|
then_character: VarphiTapeCharacter
|
|
53
53
|
then_direction: VarphiHeadDirection
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{varphi_devkit-1.1.4 → varphi_devkit-1.2.0}/src/varphi_devkit/syntax/antlr/VarphiListener.py
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|