sysmlpy 0.63.0__tar.gz → 0.65.0__tar.gz

{sysmlpy-0.63.0 → sysmlpy-0.65.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysmlpy
-Version: 0.63.0
+Version: 0.65.0
 Summary: 
 License-File: LICENSE
 Author: Jon R. Fox (mycr0ft)

{sysmlpy-0.63.0 → sysmlpy-0.65.0}/pyproject.toml

@@ -6,7 +6,7 @@ build-backend = "poetry.core.masonry.api"
 
 [project]
 name = "sysmlpy"
-version = "0.63.0"
+version = "0.65.0"
 description = ""
 authors = [{ name = "Jon R. Fox (mycr0ft)", email = "jon.fox@drfox.com" }]
 readme = "README.md"
@@ -27,6 +27,7 @@ kuzu = ["kuzu"]
 
 [tool.poetry.scripts]
 sysmlpy = "sysmlpy.__main__:main"
+sysmlpy-lsp = "sysmlpy.lsp.stdio:main"
 
 [tool.poetry.group.dev.dependencies]
 pytest = ">=8.0,<9.0"

{sysmlpy-0.63.0 → sysmlpy-0.65.0}/src/sysmlpy/__init__.py

@@ -20,6 +20,8 @@ __all__ = [
     "as_sequence_view", "as_case_view", "as_browser_view",
     "extract_traceability", "TraceabilityReport", "RequirementTrace",
     "to_interchange", "from_interchange", "interchange_to_json_text",
+    "evaluate_expression", "evaluate_calculation", "collect_values",
+    "check_constraints", "ConstraintReport", "ConstraintResult",
     "analyze", "AnalysisResult", "SemanticIssue", "SemanticAnalyzer",
     "SysMLSyntaxError", "PartialParseError",
     "loads_partial", "load_partial",
@@ -28,7 +30,7 @@ __all__ = [
     "render_state_transition_view_svg", "boxes_view",
 ]
 __author__ = "Jon Fox"
-__version__ = "0.63.0"
+__version__ = "0.65.0"
 
 from sysmlpy.usage import (
     Item, Attribute, Part, Port, Action, Reference, UseCase, Requirement, Interface, Message,
@@ -51,6 +53,10 @@ from sysmlpy.traceability import (
 from sysmlpy.interchange import (
     to_interchange, from_interchange, interchange_to_json_text,
 )
+from sysmlpy.evaluator import (
+    evaluate_expression, evaluate_calculation, collect_values,
+    check_constraints, ConstraintReport, ConstraintResult,
+)
 
 
 class PartialParseError(Exception):

{sysmlpy-0.63.0 → sysmlpy-0.65.0}/src/sysmlpy/__main__.py

@@ -31,7 +31,7 @@ import sysmlpy
 from sysmlpy import loads
 
 # Subcommand table, also used to detect the legacy flat invocation form.
-SUBCOMMANDS = ("parse", "analyze", "view", "trace", "export", "import", "format", "fmt")
+SUBCOMMANDS = ("parse", "analyze", "view", "trace", "export", "import", "eval", "format", "fmt")
 
 
 # ---------------------------------------------------------------------------
@@ -382,6 +382,102 @@ def cmd_import(args) -> int:
     return 0
 
 
+def _parse_eval_value(text):
+    """Parse a --set NAME=VALUE literal (number / bool / string / unit)."""
+    from sysmlpy.usage import ureg
+    raw = text
+    low = raw.strip().lower()
+    if low == "true":
+        return True
+    if low == "false":
+        return False
+    try:
+        return int(raw)
+    except ValueError:
+        pass
+    try:
+        return float(raw)
+    except ValueError:
+        pass
+    try:
+        return ureg(raw)
+    except Exception:
+        pass
+    return raw
+
+
+def cmd_eval(args) -> int:
+    """Expression evaluation / constraint checking (v0.64.0, Goal 4)."""
+    from sysmlpy.evaluator import (
+        evaluate_expression, collect_values, check_constraints,
+        EvaluationError,
+    )
+
+    paths = [Path(f) for f in args.files]
+    for p in _missing_files(paths):
+        print(f"Error: File '{p}' not found.", file=sys.stderr)
+        return 2
+
+    try:
+        model = sysmlpy.load_files(paths, library=args.library)
+    except Exception as e:
+        print(f"Parse error: {e}", file=sys.stderr)
+        return 2
+
+    bindings = {}
+    for spec in args.set or []:
+        if "=" not in spec:
+            print(f"Error: --set expects NAME=VALUE, got {spec!r}",
+                  file=sys.stderr)
+            return 2
+        name, _, raw = spec.partition("=")
+        bindings[name.strip()] = _parse_eval_value(raw)
+
+    if args.expr is not None:
+        try:
+            value = evaluate_expression(
+                args.expr, model=model, element=args.element,
+                bindings=bindings,
+            )
+        except EvaluationError as e:
+            print(f"Error: {e}", file=sys.stderr)
+            return 1
+        print(_format_value(value))
+        return 0
+
+    if args.constraints:
+        report = check_constraints(model, bindings=bindings)
+        output = report.to_text()
+        if args.output:
+            Path(args.output).write_text(output + "\n", encoding="utf-8")
+            print(f"Wrote {args.output}")
+        else:
+            print(output)
+        if report.failed or report.errored:
+            return 1
+        return 0
+
+    # default: dump all attribute values
+    values = collect_values(model, bindings=bindings)
+    lines = [f"{name} = {_format_value(value)}"
+             for name, value in sorted(values.items())]
+    output = "\n".join(lines) if lines else "(no attribute values)"
+    if args.output:
+        Path(args.output).write_text(output + "\n", encoding="utf-8")
+        print(f"Wrote {args.output}")
+    else:
+        print(output)
+    return 0
+
+
+def _format_value(value):
+    if isinstance(value, bool):
+        return str(value)
+    if value is None:
+        return "null"
+    return str(value)
+
+
 # ---------------------------------------------------------------------------
 # legacy flat invocation (kept for backward compatibility)
 # ---------------------------------------------------------------------------
@@ -643,6 +739,42 @@ def build_parser() -> argparse.ArgumentParser:
     )
     p_import.set_defaults(func=cmd_import)
 
+    p_eval = sub.add_parser(
+        "eval",
+        help="Evaluate expressions, attribute values and constraints",
+        description="Bind pint attribute values and evaluate SysML "
+                    "expressions, calc results, or constraint bodies. "
+                    "Exit codes: 0 clean, 1 constraint failed / "
+                    "evaluation error, 2 parse error.",
+    )
+    p_eval.add_argument("files", nargs="+", help="SysML v2 file(s)")
+    p_eval.add_argument(
+        "--expr",
+        help="Evaluate this expression against the model scope",
+    )
+    p_eval.add_argument(
+        "--set", action="append", metavar="NAME=VALUE",
+        help="Override a name for this evaluation (repeatable; values "
+             "may be numbers, true/false, or unit strings like '80 km/h')",
+    )
+    p_eval.add_argument(
+        "--element",
+        help="Qualified element name whose scope to evaluate in",
+    )
+    p_eval.add_argument(
+        "--constraints", action="store_true",
+        help="Evaluate all constraint bodies; exit 1 on any failure",
+    )
+    p_eval.add_argument(
+        "-o", "--output",
+        help="Write the report/value to a file instead of stdout",
+    )
+    p_eval.add_argument(
+        "-l", "--library",
+        help="Path to SysML v2 library files to use for parsing",
+    )
+    p_eval.set_defaults(func=cmd_eval)
+
     return parser
 
 

{sysmlpy-0.63.0 → sysmlpy-0.65.0}/src/sysmlpy/antlr_visitor.py

@@ -12732,6 +12732,17 @@ def _visit_nested_definition_element(def_elem):
         return _make_port_definition_dict(def_elem.portDefinition(), None)
     elif hasattr(def_elem, 'interfaceDefinition') and def_elem.interfaceDefinition():
         return _make_interface_definition_dict(def_elem.interfaceDefinition(), None)
+    elif hasattr(def_elem, 'calculationDefinition') and def_elem.calculationDefinition():
+        # v0.64.0 (Goal 4): calc defs inside part/item/etc. bodies were
+        # silently dropped (returned None), losing the result expression
+        # the evaluator needs.
+        return _make_calculation_definition_dict(
+            def_elem.calculationDefinition(), None
+        )
+    elif hasattr(def_elem, 'constraintDefinition') and def_elem.constraintDefinition():
+        return _make_constraint_definition_dict(
+            def_elem.constraintDefinition(), None
+        )
     elif hasattr(def_elem, 'annotatingElement') and def_elem.annotatingElement():
         ann_ctx = def_elem.annotatingElement()
         ann_dict = _visit_annotating_element_dict(ann_ctx)