mirascript 0.0.6__py3-none-any.whl

mirascript/main.py

@@ -0,0 +1,26 @@
+from .mirascript import Config, compile as _compile
+from .emit import emit
+from .diagnostics import decode_diagnostics, Diagnostic
+
+DefaultConfig = Config(input_mode="script")
+
+
+def compile(
+    script: str, config: Config = DefaultConfig
+) :
+    """
+    编译 MiraScript 代码，生成 Python 函数
+
+    Args:
+        script (str): 要编译的 MiraScript 代码
+        config (Config): 编译配置
+
+    Returns:
+        (Script | None): 编译后的 Python 函数
+        list[Diagnostic]: 编译过程中产生的诊断信息
+    """
+    bytecode, diagnostics = _compile(script, config)
+    decoded_diagnostics = decode_diagnostics(diagnostics)
+    func = emit(bytecode) if bytecode else None
+    return func, decoded_diagnostics
+

mirascript/subtle.py

@@ -0,0 +1,5 @@
+from .helpers import constants
+from .vm.types.context import VmSharedContext, DefaultVmContext
+from .vm import operations
+from .helpers.serialize import serialize, serialize_string, serialize_prop_name
+from .vm.lib._loader import lib

mirascript/vm/VmWrapper.py

@@ -0,0 +1,50 @@
+from abc import ABC, abstractmethod
+
+
+class VmWrapper(ABC):
+    
+    
+    _VM_WRAPPER_SYMBOL='mirascript.vm.wrapper'
+    
+    
+    
+    def __init__(self):
+        pass
+    
+    @abstractmethod
+    def has(self,key):
+        pass
+    @abstractmethod
+    def get(self,key):
+        pass
+    @abstractmethod
+    def keys(self):
+        pass
+    @abstractmethod
+    def same(self,other):
+        pass
+    
+    @property
+    @abstractmethod
+    def type(self):
+        return None
+    
+    @property
+    @abstractmethod
+    def describe(self):
+        return None
+    
+    
+    ## Convert the object to JSON
+    def toJSON(self):
+        return None
+    
+    ## 转为字符串
+    def toString(self):
+        pass
+    
+def isVmWrapper(v):
+    if v is None or not isinstance(v,object):
+        return False
+   
+    return hasattr(v,VmWrapper._VM_WRAPPER_SYMBOL)

mirascript/vm/__init__.py

@@ -0,0 +1,15 @@
+# from .lib._loader import * 
+
+from .error import *
+from .types import *
+from .helpers import config_checkpoint
+from .lib._loader import lib
+_all__ = [
+    'VmError', 'VmExtern', 'VmFunction', 'VmModule',
+    'VmValue', 'VmConst', 'VmArray', 'VmRecord',
+    'is_vm_primitive', 'is_vm_const', 'is_vm_array', 'is_vm_record',
+     'is_vm_extern', 'is_vm_module',
+    'Type_', 'ToNumber_',
+    'config_checkpoint',
+    'VM_ARRAY_MAX_LENGTH',
+]

mirascript/vm/env.py

@@ -0,0 +1,13 @@
+from . import operations,helpers
+
+# print(dir(operations))
+
+vm_globals={k:getattr(operations,k) for k in dir(operations) if not k.startswith("_")}
+
+for k in dir(helpers):
+    if not k.startswith("_"):
+        vm_globals[k]=getattr(helpers,k)
+        
+for k in dir(helpers):
+    if not k.startswith("_"):
+        vm_globals[k]=getattr(helpers,k)

mirascript/vm/error.py

@@ -0,0 +1,19 @@
+
+
+## VM 预期的错误
+
+class VmError(Exception):
+    
+    def __init__(self, message,recovered):
+        super().__init__(message)
+        self.message = message
+        self.recovered = recovered
+    
+    
+    @staticmethod
+    def from_(prefix,error,recovered):
+        if prefix and not prefix.endswith(":"):
+            prefix += ":"
+        vmError = VmError(f"{prefix}{str(error)}",recovered)
+      
+        return vmError

mirascript/vm/helpers.py

@@ -0,0 +1,124 @@
+import time
+import math
+
+from mirascript.vm.types.const import VM_ARRAY_MAX_LENGTH
+from .operations import ToNumber_,AssertInit_
+from .types.checker import  is_vm_const
+from .types.context import DefaultVmContext
+
+
+def Vargs(varags):
+    """将非常量元素置为 None，返回新列表"""
+    # 这里假设 is_vm_const 已在其他地方实现
+    args = list(varags)
+    for i in range(len(args)):
+        el = args[i]
+        if not is_vm_const(el):
+            args[i] = None
+    return args
+
+def Element(value):
+    # 假设 $AssertInit 已在其他地方实现
+    AssertInit_(value)
+    if not is_vm_const(value):
+        return None
+    return value
+
+def ElementOpt(key, value):
+    AssertInit_(value)
+    if value is None or not is_vm_const(value):
+        return {}
+    return {key: value}
+
+
+
+def Upvalue(value):
+    AssertInit_(value)
+    return value
+
+def assert_array_length(start, end):
+    if end - start > VM_ARRAY_MAX_LENGTH:
+        raise RuntimeError(f"Array length exceeds maximum limit of {VM_ARRAY_MAX_LENGTH}")
+
+def is_empty_range(start, end):
+    return not math.isfinite(start) or not math.isfinite(end) or start > end
+
+def ArrayRange(start, end):
+    s = ToNumber_(start)
+    e = ToNumber_(end)
+    if is_empty_range(s, e):
+        return []
+    assert_array_length(s, e)
+    arr = []
+    i =s
+    while i <= e:
+        arr.append(i)
+        i += 1
+    return arr
+
+def ArrayRangeExclusive(start, end):
+    s = ToNumber_(start)
+    e = ToNumber_(end)
+    if is_empty_range(s, e):
+        return []
+    assert_array_length(s, e)
+    arr = []
+    i = s
+    while i < e:
+        arr.append(i)
+        i += 1
+    return arr
+
+
+
+
+
+MAX_DEPTH = 128
+cp_depth = 0
+cp = float('nan')
+cp_timeout = 100  # 默认超时时间，单位毫秒
+
+def Cp():
+    """检查点"""
+    pass
+    global cp
+    current_time = int(time.time() * 1000)
+    if not cp or (isinstance(cp, float) and cp != cp):  # NaN 检查
+        cp = current_time
+    elif current_time - cp > cp_timeout:
+        raise RuntimeError(f'Execution timeout, exceeded {cp_timeout} ms , last checkpoint at {cp} ms , current time {current_time} ms')
+
+def CpEnter():
+    """进入检查点"""
+    global cp_depth, cp
+    cp_depth += 1
+    if cp_depth <= 1:
+        cp = int(time.time() * 1000)
+        cp_depth = 1
+    elif cp_depth > MAX_DEPTH:
+        raise RuntimeError('Maximum call depth exceeded')
+    else:
+        Cp()
+
+def CpExit():
+    """退出检查点"""
+    global cp_depth, cp
+    cp_depth -= 1
+    if cp_depth < 1:
+        cp = float('nan')
+        cp_depth = 0
+    else:
+        Cp()
+
+def config_checkpoint(timeout=100):
+    """设置检查点超时时间"""
+    global cp_timeout
+    if not isinstance(timeout, (int, float)) or timeout is None or timeout <= 0 or (isinstance(timeout, float) and timeout != timeout):
+        raise ValueError('Invalid timeout value')
+    cp_timeout = timeout
+ 
+       
+        
+        
+def GlobalFallback():
+    return DefaultVmContext