ampliphi 0.1.0__tar.gz

ampliphi-0.1.0/PKG-INFO

@@ -0,0 +1,19 @@
+Metadata-Version: 2.3
+Name: ampliphi
+Version: 0.1.0
+Summary: A compiler for Ampliphi with target Varphi.
+Author: Hassan El-Sheikha, Kevin Thevara, Youssef Abouzied
+Author-email: Hassan El-Sheikha <hassan.elsheikha@utoronto.ca>, Kevin Thevara <kevin.thevara@mail.utoronto.ca>, Youssef Abouzied <youssef.abouzied@mail.utoronto.ca>
+Requires-Dist: questionary>=2.1.1
+Requires-Dist: rich>=14.3.2
+Requires-Dist: typer>=0.21.1
+Requires-Dist: varphi-python>=2.0.6
+Requires-Python: >=3.13
+Description-Content-Type: text/markdown
+
+# Ampliphi
+
+Ampliphi is a high-level programming language that compiles down to Varphi.
+
+For more information, documentation, and details about the language, please visit our website:
+[varphi-lang.com/ampliphi](https://varphi-lang.com/ampliphi)

ampliphi-0.1.0/README.md

@@ -0,0 +1,6 @@
+# Ampliphi
+
+Ampliphi is a high-level programming language that compiles down to Varphi.
+
+For more information, documentation, and details about the language, please visit our website:
+[varphi-lang.com/ampliphi](https://varphi-lang.com/ampliphi)

ampliphi-0.1.0/pyproject.toml

@@ -0,0 +1,29 @@
+[project]
+name = "ampliphi"
+version = "0.1.0"
+description = "A compiler for Ampliphi with target Varphi."
+readme = "README.md"
+authors = [
+    { name = "Hassan El-Sheikha", email = "hassan.elsheikha@utoronto.ca" },
+    { name = "Kevin Thevara", email = "kevin.thevara@mail.utoronto.ca" },
+    { name = "Youssef Abouzied", email = "youssef.abouzied@mail.utoronto.ca" }
+]
+requires-python = ">=3.13"
+dependencies = [
+    "questionary>=2.1.1",
+    "rich>=14.3.2",
+    "typer>=0.21.1",
+    "varphi-python>=2.0.6",
+]
+
+[project.scripts]
+ampliphi = "ampliphi.main:main"
+
+[build-system]
+requires = ["uv_build>=0.9.18,<0.10.0"]
+build-backend = "uv_build"
+
+[dependency-groups]
+dev = [
+    "pytest>=9.0.2",
+]

ampliphi-0.1.0/src/ampliphi/__init__.py

@@ -0,0 +1,2 @@
+def main() -> None:
+    print("Hello from ampliphi!")

ampliphi-0.1.0/src/ampliphi/ast_nodes.py

@@ -0,0 +1,101 @@
+from abc import ABC
+from enum import Enum
+from dataclasses import dataclass
+from typing import Sequence
+
+class BinaryOperationType(str, Enum):
+    ADD = "+"
+    SUB = "-"
+    GT = ">"
+    LT = "<"
+    EQ = "=="
+    AND = "&&"
+    OR = "||"
+
+class UnaryOperationType(str, Enum):
+    NOT = "!"
+
+class VariableType(str, Enum):
+    INT = "int"
+    BOOL = "bool"
+
+@dataclass(frozen=True, slots=True)
+class ASTNode(ABC):
+    """Base class for all AST nodes."""
+    lineno: int
+    colno: int
+
+class ExpressionASTNode(ASTNode):
+    pass
+
+class StatementASTNode(ASTNode):
+    pass
+
+@dataclass(frozen=True, slots=True)
+class IdentifierNode(ExpressionASTNode):
+    contents: str
+
+@dataclass(frozen=True, slots=True)
+class BooleanLiteralNode(ExpressionASTNode):
+    value: bool
+
+@dataclass(frozen=True, slots=True)
+class IntegerLiteralNode(ExpressionASTNode):
+    value: int
+
+@dataclass(frozen=True, slots=True)
+class BinaryOperationNode(ExpressionASTNode):
+    left: ExpressionASTNode
+    op: BinaryOperationType 
+    right: ExpressionASTNode
+
+@dataclass(frozen=True, slots=True)
+class UnaryOperationNode(ExpressionASTNode):
+    op: UnaryOperationType
+    operand: ExpressionASTNode
+
+@dataclass(frozen=True, slots=True)
+class VariableDeclarationNode(ASTNode):
+    variable_type: VariableType
+    identifier: IdentifierNode
+
+@dataclass(frozen=True, slots=True)
+class ArrayDeclarationNode(ASTNode):
+    element_type: VariableType
+    size: int
+    identifier: IdentifierNode
+
+@dataclass(frozen=True, slots=True)
+class ArrayAccessNode(ExpressionASTNode):
+    array_name: IdentifierNode
+    index: ExpressionASTNode
+
+@dataclass(frozen=True, slots=True)
+class AssignmentStatementNode(StatementASTNode):
+    target: IdentifierNode | ArrayAccessNode
+    expression: ExpressionASTNode 
+
+@dataclass(frozen=True, slots=True)
+class InvokeStatementNode(StatementASTNode):
+    procedure_name: IdentifierNode
+
+@dataclass(frozen=True, slots=True)
+class IfStatementNode(StatementASTNode):
+    condition: IdentifierNode
+    then_block: Sequence[StatementASTNode]
+    else_block: Sequence[StatementASTNode]
+
+@dataclass(frozen=True, slots=True)
+class WhileStatementNode(StatementASTNode):
+    condition: IdentifierNode
+    body: Sequence[StatementASTNode]
+
+@dataclass(frozen=True, slots=True)
+class ProcedureNode(ASTNode):
+    name: IdentifierNode
+    statements: Sequence[StatementASTNode]
+
+@dataclass(frozen=True, slots=True)
+class ProgramNode(ASTNode):
+    declarations: Sequence[VariableDeclarationNode | ArrayDeclarationNode]
+    procedures: Sequence[ProcedureNode]