code-towel 1.0.0__py3-none-any.whl

towel/unification/builtins.py

@@ -0,0 +1,209 @@
+# Copyright 2025 Eric Allen
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+"""
+Python builtins tracking.
+
+Tracks Python builtin functions and names that should never be treated
+as free variables or parameterized.
+"""
+
+from typing import Set
+
+# Python builtin functions and constants
+# These should never be parameterized or treated as free variables
+PYTHON_BUILTINS = {
+    # Common builtin functions
+    "abs",
+    "all",
+    "any",
+    "ascii",
+    "bin",
+    "bool",
+    "bytearray",
+    "bytes",
+    "callable",
+    "chr",
+    "classmethod",
+    "compile",
+    "complex",
+    "delattr",
+    "dict",
+    "dir",
+    "divmod",
+    "enumerate",
+    "eval",
+    "exec",
+    "filter",
+    "float",
+    "format",
+    "frozenset",
+    "getattr",
+    "globals",
+    "hasattr",
+    "hash",
+    "help",
+    "hex",
+    "id",
+    "input",
+    "int",
+    "isinstance",
+    "issubclass",
+    "iter",
+    "len",
+    "list",
+    "locals",
+    "map",
+    "max",
+    "memoryview",
+    "min",
+    "next",
+    "object",
+    "oct",
+    "open",
+    "ord",
+    "pow",
+    "print",
+    "property",
+    "range",
+    "repr",
+    "reversed",
+    "round",
+    "set",
+    "setattr",
+    "slice",
+    "sorted",
+    "staticmethod",
+    "str",
+    "sum",
+    "super",
+    "tuple",
+    "type",
+    "vars",
+    "zip",
+    # Async iteration (Python 3.10+)
+    "aiter",
+    "anext",
+    # Debugging
+    "breakpoint",
+    # Builtin constants
+    "True",
+    "False",
+    "None",
+    "Ellipsis",
+    "NotImplemented",
+    # Interactive helpers (in REPL)
+    "copyright",
+    "credits",
+    "exit",
+    "license",
+    "quit",
+    # All builtin exceptions
+    "ArithmeticError",
+    "AssertionError",
+    "AttributeError",
+    "BaseException",
+    "BaseExceptionGroup",
+    "BlockingIOError",
+    "BrokenPipeError",
+    "BufferError",
+    "BytesWarning",
+    "ChildProcessError",
+    "ConnectionAbortedError",
+    "ConnectionError",
+    "ConnectionRefusedError",
+    "ConnectionResetError",
+    "DeprecationWarning",
+    "EOFError",
+    "EncodingWarning",
+    "EnvironmentError",
+    "Exception",
+    "ExceptionGroup",
+    "FileExistsError",
+    "FileNotFoundError",
+    "FloatingPointError",
+    "FutureWarning",
+    "GeneratorExit",
+    "IOError",
+    "ImportError",
+    "ImportWarning",
+    "IndentationError",
+    "IndexError",
+    "InterruptedError",
+    "IsADirectoryError",
+    "KeyError",
+    "KeyboardInterrupt",
+    "LookupError",
+    "MemoryError",
+    "ModuleNotFoundError",
+    "NameError",
+    "NotADirectoryError",
+    "NotImplementedError",
+    "OSError",
+    "OverflowError",
+    "PendingDeprecationWarning",
+    "PermissionError",
+    "ProcessLookupError",
+    "PythonFinalizationError",
+    "RecursionError",
+    "ReferenceError",
+    "ResourceWarning",
+    "RuntimeError",
+    "RuntimeWarning",
+    "StopAsyncIteration",
+    "StopIteration",
+    "SyntaxError",
+    "SyntaxWarning",
+    "SystemError",
+    "SystemExit",
+    "TabError",
+    "TimeoutError",
+    "TypeError",
+    "UnboundLocalError",
+    "UnicodeDecodeError",
+    "UnicodeEncodeError",
+    "UnicodeError",
+    "UnicodeTranslateError",
+    "UnicodeWarning",
+    "UserWarning",
+    "ValueError",
+    "Warning",
+    "ZeroDivisionError",
+}
+
+
+def is_builtin(name: str) -> bool:
+    """
+    Check if a name is a Python builtin.
+
+    Args:
+        name: Variable/function name
+
+    Returns:
+        True if it's a builtin
+    """
+    return name in PYTHON_BUILTINS
+
+
+def filter_builtins(names: Set[str]) -> Set[str]:
+    """
+    Filter out builtin names from a set of names.
+
+    Args:
+        names: Set of names
+
+    Returns:
+        Set with builtins removed
+    """
+    return {name for name in names if not is_builtin(name)}

towel/unification/exceptions.py

@@ -0,0 +1,113 @@
+# Copyright 2025 Eric Allen
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+"""Custom exceptions for the Towel refactoring system.
+
+This module defines domain-specific exceptions that provide clearer error
+semantics than generic Python exceptions.
+"""
+
+
+class TowelError(Exception):
+    """Base exception for all Towel-related errors."""
+
+    pass
+
+
+class UnificationError(TowelError):
+    """Failed to unify two code blocks.
+
+    Raised when the unification algorithm cannot find a valid substitution
+    that makes two AST structures equivalent.
+    """
+
+    pass
+
+
+class ExtractionError(TowelError):
+    """Failed to extract a function from a code block.
+
+    Raised when function extraction fails due to invalid AST structure,
+    scope issues, or other extraction constraints.
+    """
+
+    pass
+
+
+class OrphanVariableError(ExtractionError):
+    """Code block contains orphaned variables.
+
+    Raised when attempting to extract code that would leave variables
+    in an undefined state. For example, extracting code that binds a
+    variable but leaving usage of that variable in the original scope.
+
+    Example:
+        >>> # This would raise OrphanVariableError:
+        >>> # Extract lines 1-2, leaving line 3:
+        >>> x = 10
+        >>> y = 20
+        >>> total = x + y  # Would be orphaned
+    """
+
+    pass
+
+
+class ScopeAnalysisError(TowelError):
+    """Error during scope analysis.
+
+    Raised when scope analysis encounters unexpected AST structures
+    or fails to determine variable binding relationships.
+    """
+
+    pass
+
+
+class RefactoringError(TowelError):
+    """Failed to apply a refactoring transformation.
+
+    Raised when applying a refactoring proposal fails, such as when
+    generating replacement code or writing modified files.
+    """
+
+    pass
+
+
+class ParseError(TowelError):
+    """Failed to parse Python source code.
+
+    Raised when AST parsing fails due to syntax errors or unsupported
+    Python constructs.
+    """
+
+    pass
+
+
+class ImportResolutionError(TowelError):
+    """Failed to resolve an import path.
+
+    Raised during cross-file refactoring when import paths cannot be
+    determined or when module structure is ambiguous.
+    """
+
+    pass
+
+
+class ClassHierarchyError(TowelError):
+    """Error in class hierarchy analysis.
+
+    Raised when analyzing class inheritance relationships for method
+    promotion into shared base classes.
+    """
+
+    pass