jaseci 1.4.2.6__py3-none-any.whl → 2.0.0__py3-none-any.whl

jaseci/jac/machine/jac_value.py

@@ -1,227 +0,0 @@
-"""
-Variable manager for Jac
-
-Representations for all jac runtime variables
-"""
-
-from jaseci.prim.element import Element
-from jaseci.prim.obj_mixins import Anchored
-from jaseci.prim.node import Node
-from jaseci.prim.edge import Edge
-from jaseci.prim.graph import Graph
-from jaseci.jac.jac_set import JacSet
-import uuid
-
-NoneType = type(None)
-
-
-class JacType:
-    STR = "JAC_TYPE.STR"
-    INT = "JAC_TYPE.INT"
-    FLOAT = "JAC_TYPE.FLOAT"
-    LIST = "JAC_TYPE.LIST"
-    DICT = "JAC_TYPE.DICT"
-    BOOL = "JAC_TYPE.BOOL"
-    NODE = "JAC_TYPE.NODE"
-    EDGE = "JAC_TYPE.EDGE"
-    TYPE = "JAC_TYPE.TYPE"
-    NULL = "JAC_TYPE.NULL"
-
-
-def jac_type_wrap(val):
-    if isinstance(val, type):
-        if val == str:
-            val = JacType.STR
-        elif val == int:
-            val = JacType.INT
-        elif val == float:
-            val = JacType.FLOAT
-        elif val == list:
-            val = JacType.LIST
-        elif val == JacSet:
-            val = JacType.LIST
-        elif val == dict:
-            val = JacType.DICT
-        elif val == bool:
-            val = JacType.BOOL
-        elif val in [Node, Graph]:
-            val = JacType.NODE
-        elif val == Edge:
-            val = JacType.EDGE
-        elif val == type:
-            val = JacType.TYPE
-        elif val == NoneType:
-            val = JacType.NULL
-    return val
-
-
-def jac_type_unwrap(val):
-    if type(val) == str and val.startswith("JAC_TYPE."):
-        if val == JacType.STR:
-            val = str
-        elif val == JacType.INT:
-            val = int
-        elif val == JacType.FLOAT:
-            val = float
-        elif val == JacType.LIST:
-            val = list
-        elif val == JacType.DICT:
-            val = dict
-        elif val == JacType.BOOL:
-            val = bool
-        elif val == JacType.NODE:
-            val = Node
-        elif val == JacType.EDGE:
-            val = Edge
-        elif val == JacType.TYPE:
-            val = type
-        elif val == JacType.NULL:
-            val = NoneType
-    return val
-
-
-def is_jac_elem(val):
-    """Test if value is jac element"""
-    return type(val) == str and val.startswith("jac:uuid:")
-
-
-def jac_elem_wrap(val, serialize_mode=False):
-    if serialize_mode:
-        if isinstance(val, Anchored):
-            val.context = jac_wrap_value(val.context)
-        val = val.serialize()
-    else:
-        val = val.jid.replace("urn", "jac")
-    return val
-
-
-def jac_elem_unwrap(val, parent):
-    val = parent._h.get_obj(parent._m_id, val.replace("jac", "urn"))
-    return val
-
-
-def jac_wrap_value(val, serialize_mode=False):
-    """converts all elements to uuids in lists etc"""
-    val = jac_type_wrap(val)
-    if isinstance(val, Element):
-        val = jac_elem_wrap(val, serialize_mode=serialize_mode)
-    elif isinstance(val, JacSet):
-        val = jac_wrap_value(list(val), serialize_mode)
-    elif isinstance(val, list):
-        for i in range(len(val)):
-            val[i] = jac_wrap_value(val[i], serialize_mode)
-    elif isinstance(val, dict):
-        for i in val.keys():
-            val[i] = jac_wrap_value(val[i], serialize_mode)
-    return val
-
-
-def jac_unwrap_value(val, parent):
-    """Reference to variables value"""
-    if is_jac_elem(val):
-        val = jac_elem_unwrap(val, parent=parent)
-    elif isinstance(val, list):
-        for i in range(len(val)):
-            val[i] = jac_unwrap_value(val[i], parent=parent)
-    elif isinstance(val, dict):
-        for i in val.keys():
-            val[i] = jac_unwrap_value(val[i], parent=parent)
-    return jac_type_unwrap(val)
-
-
-class JacValue:
-    """
-    A reference to a variable in context dict that is common for elements
-    """
-
-    def __init__(
-        self, parent, value=None, ctx=None, name=None, end=None, create_mode=False
-    ):
-        """
-        Abstraction of all Jac types, ctx and name serve as obj[key/idx]
-        end is for idx ranges for list slices
-        """
-        self.parent = parent
-        self.ctx = ctx
-        self.is_element = False
-        self.name = name
-        self.end = end
-        self.value = self.setup_value(value, create_mode=create_mode)
-
-    def setup_value(self, value, create_mode):
-        if isinstance(self.ctx, Element):
-            self.is_element = self.ctx
-            if self.parent._assign_mode:
-                self.is_element.save()
-            self.ctx = self.ctx.context
-        if value is not None:
-            return value
-        elif self.ctx is not None and self.name is not None:
-            if self.end is not None:
-                return self.ctx[self.name : self.end]
-            elif type(self.name) == int or self.name in self.ctx.keys():
-                return self.ctx[self.name]
-            elif (
-                not self.parent._assign_mode
-                and not create_mode
-                and (
-                    not self.is_element
-                    or self.name not in self.is_element.get_architype().has_vars
-                )
-            ):
-                self.parent.rt_error(
-                    f"Key {self.name} not found in object/dict.",
-                    self.parent._cur_jac_ast,
-                )
-        else:
-            return None
-
-    def write(self, jac_ast, force=False):
-        if (
-            not force
-            and self.is_element
-            and self.name not in self.ctx.keys()
-            and self.name not in self.is_element.get_architype().has_vars
-        ):
-            self.parent.rt_error(
-                f"Creating variable {self.name} in graph "
-                f"element {type(self.is_element)} is not allowed, "
-                "please define",
-                jac_ast,
-            )
-        elif self.ctx is None or self.name is None:
-            self.parent.rt_error(
-                f"No valid live variable! ctx: {self.ctx} name: {self.name}", jac_ast
-            )
-        elif self.end is not None:
-            self.ctx[self.name : self.end] = self.value
-        else:
-            self.ctx[self.name] = self.value
-
-    def check_assignable(self, jac_ast=None):
-        if self.ctx is None:
-            self.parent.rt_error("Cannot assign to this value", jac_ast)
-            return False
-        return True
-
-    def self_destruct(self, jac_ast):
-        if self.is_element and self.name in self.ctx.keys():
-            self.ctx[self.name] = None  # assumes interp has destroyed element
-        elif self.ctx is not None:
-            try:
-                del self.ctx[self.name]
-            except Exception as e:
-                self.parent.rt_error(f"{e}", jac_ast)
-        else:
-            self.parent.rt_error(
-                f"{self.value} is not destroyable, try setting to null", jac_ast
-            )
-
-    def jac_type(self):
-        """Return Jac type of value"""
-        return jac_type_wrap(type(self.value))
-
-    def __str__(self):
-        return (
-            "JacValue:" + str(self.ctx) + ":" + str(self.name) + ":" + str(self.value)
-        )

jaseci/jac/machine/machine_state.py

@@ -1,386 +0,0 @@
-"""
-Interpreter for jac code in AST form
-
-This interpreter should be inhereted from the class that manages state
-referenced through self.
-"""
-
-from copy import copy
-from jaseci.utils.utils import logger, exc_stack_as_str_list, generate_stack_as_str_list
-from jaseci.jsorc.live_actions import live_actions, load_preconfig_actions
-
-# from jaseci.actions.find_action import find_action
-from jaseci.prim.element import Element
-
-from jaseci.jac.jac_set import JacSet
-from jaseci.jac.machine.jac_scope import JacScope
-from jaseci.utils.id_list import IdList
-from jaseci.jac.ir.ast import Ast
-from jaseci.prim.edge import Edge
-from jaseci.prim.node import Node
-from jaseci.jac.machine.jac_value import JacValue
-from jaseci.jac.jsci_vm.op_codes import JsCmp
-import time
-
-
-class MachineState:
-    """Shared interpreter class across both sentinels and walkers"""
-
-    recur_detect_set = []
-    profile_stack = [None]
-
-    def __init__(self):
-        self.report = []
-        self.report_status = None
-        self.report_custom = None
-        self.report_file = None
-        self.request_context = None
-        self.runtime_errors = []
-        self.runtime_stack_trace = []
-        self.yielded_walkers_ids = IdList(self)
-        self.ignore_node_ids = IdList(self)
-        self._scope_stack = [None]
-        self._jac_scope = None
-        self._relevant_edges = []
-        self._loop_ctrl = None
-        self._stopped = None
-        self._assign_mode = False
-        self._jac_try_mode = 0  # 0 is false, +=1 for each nested try
-        self._loop_limit = 10000
-        self._cur_jac_ast = Ast("none")
-        self._write_candidate = None
-        self._mast = self.get_master()
-
-        self.inform_hook()
-
-    def inform_hook(self):
-        if hasattr(self, "_h"):
-            self._h._machine = self
-
-    def reset(self):
-        self.report = []
-        self.report_status = None
-        self.report_custom = None
-        self.report_file = None
-        self.runtime_errors = []
-        self.runtime_stack_trace = []
-        self._scope_stack = [None]
-        self._jac_scope = None
-        self._loop_ctrl = None
-        self._stopped = None
-
-    def push_scope(self, scope: JacScope):
-        self.profile_pause()
-        self._scope_stack.append(scope)
-        self._jac_scope = scope
-        MachineState.profile_stack.append(self._jac_scope)
-        self.profile_in()
-        MachineState.recur_detect_set.append(self.call_name())
-
-    def pop_scope(self):
-        MachineState.recur_detect_set.remove(self.call_name())
-        self.profile_out()
-        self._scope_stack.pop()
-        self._jac_scope = self._scope_stack[-1]
-        MachineState.profile_stack.pop()
-        self.profile_unpause()
-
-    def profile_in(self):
-        if self._mast and self._mast._profiling:
-            self._jac_scope._start_time = time.time()
-            self._jac_scope._cum_start_time = time.time()
-
-    def profile_out(self):
-        # profile_jac_scope = MachineState.profile_stack[-1]  # refactor and clean
-        if self._mast and self._mast._profiling:
-            name = self.call_name()
-            if name not in self._mast._jac_profile:
-                self._mast._jac_profile[name] = {
-                    "calls": 1,
-                    "u_calls": 0 if name in MachineState.recur_detect_set else 1,
-                    "tot_time": self._jac_scope._total_time
-                    + (time.time() - self._jac_scope._start_time),
-                    "cum_time": (
-                        0
-                        if name in MachineState.recur_detect_set
-                        else time.time() - self._jac_scope._cum_start_time
-                    ),
-                }
-            else:
-                c = self._mast._jac_profile[name]["calls"]
-                u = self._mast._jac_profile[name]["u_calls"]
-                t = self._mast._jac_profile[name]["tot_time"]
-                p = self._mast._jac_profile[name]["cum_time"]
-                self._mast._jac_profile[name]["calls"] = c + 1
-                self._mast._jac_profile[name]["u_calls"] = (
-                    u if name in MachineState.recur_detect_set else u + 1
-                )
-                self._mast._jac_profile[name][
-                    "tot_time"
-                ] += self._jac_scope._total_time + (
-                    time.time() - self._jac_scope._start_time
-                )
-
-                self._mast._jac_profile[name]["cum_time"] = (
-                    p
-                    if name in MachineState.recur_detect_set
-                    else (p + time.time() - self._jac_scope._cum_start_time)
-                )
-
-    def call_name(self):
-        return f"{self.kind}::{self.name}:{self._jac_scope.name}"
-
-    def profile_pause(self):
-        _jac_scope = MachineState.profile_stack[-1]  # refactor and clean
-        if self._mast and self._mast._profiling and _jac_scope:
-            _jac_scope._total_time += time.time() - _jac_scope._start_time
-            _jac_scope._start_time = 0
-
-    def profile_unpause(self):
-        _jac_scope = MachineState.profile_stack[-1]  # refactor and clean
-        if self._mast and self._mast._profiling and _jac_scope:
-            _jac_scope._start_time = time.time()
-
-    def here(self):
-        return self._scope_stack[-1].here() if self._scope_stack[-1] else None
-
-    def visitor(self):
-        return self._scope_stack[-1].visitor() if self._scope_stack[-1] else None
-
-    def set_cur_ast(self, jac_ast):
-        self._cur_jac_ast = jac_ast
-        return jac_ast.kid
-
-    def destroy(self):
-        """
-        Destroys self from memory and persistent storage
-        """
-        for i in self.yielded_walkers_ids.obj_list():
-            i.destroy()
-
-    # Core State Management ##################
-    def load_variable(self, name, assign_mode=None, jac_ast=None):
-        val = self._jac_scope.get_live_var(
-            name, create_mode=self._assign_mode if assign_mode is None else assign_mode
-        )
-        if val is None:
-            self.rt_error(
-                f"Variable not defined - {name}", jac_ast or self._cur_jac_ast
-            )
-        else:
-            self.push(val)
-
-    def candidate_writethrough(self):
-        if self._write_candidate:
-            self._write_candidate.save()
-            self._write_candidate = None
-
-    def perform_assignment(self, dest, src, jac_ast=None):
-        if dest.check_assignable(jac_ast):
-            dest.value = src.value
-            dest.write(jac_ast)
-        self.push(dest)
-
-    def perform_copy_fields(self, dest, src, jac_ast=None):
-        if dest.check_assignable(jac_ast):
-            if not self.rt_check_type(dest.value, [Node, Edge], jac_ast):
-                self.rt_error("Copy fields only applies to nodes and edges", jac_ast)
-            if dest.value.name != src.value.name:
-                self.rt_error(
-                    f"Node/edge arch {dest.value} don't match {src.value}!", jac_ast
-                )
-            for i in src.value.context.keys():
-                if i in dest.value.context.keys():
-                    JacValue(
-                        self, ctx=dest.value, name=i, value=src.value.context[i]
-                    ).write(jac_ast)
-        self.push(dest)
-
-    def perform_increment(self, dest, src, op, jac_ast=None):
-        if op == JsCmp.PEQ:
-            dest.value = dest.value + src.value
-        elif op == JsCmp.MEQ:
-            dest.value = dest.value - src.value
-        elif op == JsCmp.TEQ:
-            dest.value = dest.value * src.value
-        elif op == JsCmp.DEQ:
-            dest.value = dest.value / src.value
-        dest.write(jac_ast)
-        self.push(dest)
-
-    # Helper Functions ##################
-
-    def inherit_runtime_state(self, mach):
-        """Inherits runtime output state from another machine"""
-        self.report += mach.report
-        mach.report = []
-        if mach.report_status:
-            self.report_status = mach.report_status
-            mach.report_status = None
-        if mach.report_custom:
-            self.report_custom = mach.report_custom
-            mach.report_custom = None
-        if mach.report_file:
-            self.report_file = mach.report_file
-            mach.report_file = None
-        self.runtime_errors += mach.runtime_errors
-        mach.runtime_errors = []
-        mach.runtime_stack_trace = []
-        mach._loop_ctrl = None
-        mach._stopped = None
-
-    def obj_set_to_jac_set(self, obj_set):
-        """
-        Returns nodes jac_set from edge jac_set from current node
-        """
-        ret = JacSet()
-        for i in obj_set:
-            ret.add_obj(i)
-        return ret
-
-    def edge_to_node_jac_set(self, edge_set, location=None):
-        """
-        Returns nodes jac_set from edge jac_set from current node
-        """
-        ret = JacSet()
-        if not location:
-            location = self.here()
-        for i in edge_set.obj_list():
-            ret.add_obj(i.opposing_node(location))
-        return ret
-
-    def edges_filter_on_nodes(self, edge_set, node_set):
-        """
-        Returns nodes jac_set from edge jac_set from current node
-        """
-        ret = JacSet()
-        for i in edge_set.obj_list():
-            for j in node_set.obj_list():
-                if i.jid in j.smart_edge_list:
-                    ret.add_obj(i)
-                    break
-        return ret
-
-    def check_builtin_action(self, func_name, jac_ast=None):
-        """
-        Takes reference to action attr, finds the built in function
-        and returns new name used as hook by action class
-        """
-        if func_name not in live_actions.keys():
-            self.rt_warn(f"Attempting auto-load for {func_name}", jac_ast)
-            load_preconfig_actions(self._h)
-        if func_name not in live_actions.keys():
-            self.rt_warn(f"Builtin action unable to be loaded - {func_name}", jac_ast)
-            return False
-        return True
-
-    def jac_try_exception(self, e: Exception, jac_ast):
-        if isinstance(e, TryException):
-            raise e
-        else:
-            raise TryException(self.jac_exception(e, jac_ast))
-
-    def jac_exception(self, e: Exception, jac_ast):
-        return {
-            "type": type(e).__name__,
-            "mod": jac_ast.loc[2],
-            "msg": str(e),
-            "args": e.args,
-            "line": jac_ast.loc[0],
-            "col": jac_ast.loc[1],
-            "name": self.name if hasattr(self, "name") else "blank",
-            "rule": jac_ast.name,
-            "stack_trace": exc_stack_as_str_list(),
-        }
-
-    def rt_log_str(self, msg, jac_ast=None):
-        """Generates string for screen output"""
-        if jac_ast is None:
-            jac_ast = self._cur_jac_ast
-        name = self.name if hasattr(self, "name") else "blank"
-        if jac_ast:
-            msg = (
-                f"{jac_ast.loc[2]}:{name} - line {jac_ast.loc[0]}, "
-                + f"col {jac_ast.loc[1]} - rule {jac_ast.name} - {msg}"
-            )
-        else:
-            msg = f"{msg}"
-        return msg
-
-    def rt_warn(self, error, jac_ast=None):
-        """Prints runtime error to screen"""
-        error = self.rt_log_str(error, jac_ast)
-        logger.warning(str(error))
-
-    def rt_subtle_error(self, error, jac_ast=None):
-        error = self.rt_log_str(error, jac_ast)
-        logger.error(str(error))
-        self.runtime_errors.append(error)
-
-    def rt_error(self, error, jac_ast, append=False):
-        """Prints runtime error to screen"""
-
-        if isinstance(error, Exception):
-            if self._jac_try_mode:
-                self.jac_try_exception(error, jac_ast)
-            else:
-                if append:
-                    msg = self.rt_log_str(error, jac_ast)
-                    logger.error(msg)
-                    self.runtime_errors.append(msg)
-                raise error
-        else:
-            if self._jac_try_mode:
-                raise TryException(
-                    {
-                        "type": "RunTimeException",
-                        "mod": jac_ast.loc[2],
-                        "msg": error,
-                        "args": [],
-                        "line": jac_ast.loc[0],
-                        "col": jac_ast.loc[1],
-                        "name": self.name if hasattr(self, "name") else "blank",
-                        "rule": jac_ast.name,
-                        "stack_trace": generate_stack_as_str_list(error),
-                    }
-                )
-            else:
-                msg = self.rt_log_str(error, jac_ast)
-                logger.error(msg)
-                self.runtime_errors.append(msg)
-                error = Exception(error)
-                raise error
-
-    def rt_info(self, msg, jac_ast=None):
-        """Prints runtime info to screen"""
-        logger.info(str(self.rt_log_str(msg, jac_ast)))
-
-    def rt_check_type(self, obj, typ, jac_ast=None):
-        """Prints error if type mismatach"""
-        if not isinstance(typ, list):
-            typ = [typ]
-        for i in typ:
-            if isinstance(obj, i):
-                return True
-        self.rt_error(
-            f"Incompatible type for object "
-            f"{obj} - {type(obj).__name__}, "
-            f"expecting {typ}",
-            jac_ast,
-        )
-
-    def get_info(self):
-        return {
-            "report": copy(self.report),
-            "report_status": self.report_status,
-            "report_custom": self.report_custom,
-            "report_file": self.report_file,
-            "request_context": self.request_context,
-            "runtime_errors": self.runtime_errors,
-        }
-
-
-class TryException(Exception):
-    def __init__(self, ref: dict):
-        super().__init__(ref["msg"])
-        self.ref = ref