simasm 0.1.0__py3-none-any.whl

simasm/__init__.py

@@ -0,0 +1,45 @@
+"""
+SimASM - Abstract State Machine Framework for Discrete Event Simulation
+
+A Python package for modeling, simulating, and verifying discrete event
+systems using Abstract State Machines as the common semantic foundation.
+
+Usage in Jupyter/Colab:
+    import simasm  # Auto-registers %%simasm magic
+
+    %%simasm model --name mm1_queue
+    domain Event
+    ...
+
+    %%simasm experiment
+    experiment Test:
+        model := "mm1_queue"
+        ...
+    endexperiment
+
+    %%simasm verify
+    verification Check:
+        ...
+    endverification
+"""
+
+__version__ = "0.1.0"
+__author__ = "Steve"
+
+
+# Auto-register Jupyter magics when imported in IPython/Jupyter
+def _register_jupyter_magics():
+    """Auto-register magics if running in IPython/Jupyter."""
+    try:
+        from IPython import get_ipython
+        ipython = get_ipython()
+        if ipython is not None:
+            from simasm.jupyter.magic import SimASMMagics
+            ipython.register_magics(SimASMMagics)
+    except ImportError:
+        pass  # IPython not installed
+    except Exception:
+        pass  # Not in IPython environment or other error
+
+
+_register_jupyter_magics()

simasm/config/__init__.py

@@ -0,0 +1,7 @@
+"""
+SimASM configuration module.
+"""
+
+from .file_config import FileConfig
+
+__all__ = ['FileConfig']

simasm/config/file_config.py

@@ -0,0 +1,59 @@
+"""
+config/file_config.py
+
+Centralized file path configuration for SimASM.
+"""
+
+import os
+
+# Project root is one level up from config/
+PROJECT_ROOT = os.path.dirname(os.path.abspath(os.path.join(__file__, '../')))
+
+
+class FileConfig:
+    """
+    Central configuration for all file paths in SimASM.
+    
+    Usage:
+        from simasm.config.file_config import FileConfig
+        
+        log_file = os.path.join(FileConfig.log_path, 'run.log')
+    """
+    
+    # Root path
+    root_path = PROJECT_ROOT
+    
+    # Main package paths
+    config_path = os.path.join(PROJECT_ROOT, 'config')
+    core_path = os.path.join(PROJECT_ROOT, 'core')
+    experimenter_path = os.path.join(PROJECT_ROOT, 'experimenter')
+    jupyter_path = os.path.join(PROJECT_ROOT, 'jupyter')
+    log_path = os.path.join(PROJECT_ROOT, 'log')
+    parser_path = os.path.join(PROJECT_ROOT, 'parser')
+    runtime_path = os.path.join(PROJECT_ROOT, 'runtime')
+    verification_path = os.path.join(PROJECT_ROOT, 'verification')
+    
+    # I/O paths
+    input_path = os.path.join(PROJECT_ROOT, 'input')
+    output_path = os.path.join(PROJECT_ROOT, 'output')
+    
+    # Test paths (outside main package)
+    test_path = os.path.join(os.path.dirname(PROJECT_ROOT), 'test')
+    test_input_path = os.path.join(test_path, 'input')
+    test_output_path = os.path.join(test_path, 'output')
+    test_log_path = os.path.join(test_path, 'log')
+    
+    @classmethod
+    def ensure_directories(cls) -> None:
+        """Create all directories if they don't exist."""
+        directories = [
+            cls.log_path,
+            cls.input_path,
+            cls.output_path,
+            cls.test_path,
+            cls.test_input_path,
+            cls.test_output_path,
+            cls.test_log_path,
+        ]
+        for directory in directories:
+            os.makedirs(directory, exist_ok=True)

simasm/core/__init__.py

@@ -0,0 +1,51 @@
+"""
+SimASM core module.
+
+Contains fundamental ASM constructs:
+- types: Domain and type hierarchy
+- state: ASM state representation
+- update: Update and UpdateSet
+- terms: Term/expression evaluation
+- rules: Rule evaluation
+"""
+
+from .types import Domain, TypeRegistry, BUILTIN_TYPES
+from .state import UNDEF, Undefined, ASMObject, Location, ASMState
+from .update import Update, UpdateConflictError, UpdateSet
+from .terms import (
+    Environment,
+    Term, LiteralTerm, VariableTerm, LocationTerm,
+    BinaryOpTerm, UnaryOpTerm, ListTerm, TupleTerm, NewTerm,
+    LibCallTerm, RndCallTerm, ConditionalTerm,
+    TermEvaluator, TermEvaluationError,
+)
+from .rules import (
+    Stmt, SkipStmt, UpdateStmt, SeqStmt, IfStmt,
+    WhileStmt, ForallStmt, LetStmt, RuleCallStmt, PrintStmt,
+    ChooseStmt, ParStmt, LibCallStmt, RndCallStmt,
+    RuleDefinition, RuleRegistry,
+    RuleEvaluator, RuleEvaluatorConfig,
+    RuleEvaluationError, InfiniteLoopError, MaxRecursionError,
+)
+
+__all__ = [
+    # types
+    'Domain', 'TypeRegistry', 'BUILTIN_TYPES',
+    # state
+    'UNDEF', 'Undefined', 'ASMObject', 'Location', 'ASMState',
+    # update
+    'Update', 'UpdateConflictError', 'UpdateSet',
+    # terms
+    'Environment',
+    'Term', 'LiteralTerm', 'VariableTerm', 'LocationTerm',
+    'BinaryOpTerm', 'UnaryOpTerm', 'ListTerm', 'TupleTerm', 'NewTerm',
+    'LibCallTerm', 'RndCallTerm', 'ConditionalTerm',
+    'TermEvaluator', 'TermEvaluationError',
+    # rules
+    'Stmt', 'SkipStmt', 'UpdateStmt', 'SeqStmt', 'IfStmt',
+    'WhileStmt', 'ForallStmt', 'LetStmt', 'RuleCallStmt', 'PrintStmt',
+    'ChooseStmt', 'ParStmt', 'LibCallStmt', 'RndCallStmt',
+    'RuleDefinition', 'RuleRegistry',
+    'RuleEvaluator', 'RuleEvaluatorConfig',
+    'RuleEvaluationError', 'InfiniteLoopError', 'MaxRecursionError',
+]