sysmlpy 0.44.0__tar.gz → 0.46.0__tar.gz

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysmlpy
-Version: 0.44.0
+Version: 0.46.0
 Summary: 
 License-File: LICENSE
 Author: Jon R. Fox (mycr0ft)
@@ -104,6 +104,12 @@ Multiple installation methods are supported by sysmlpy, including:
 
 Documentation can be found [here.](https://mycr0ft.github.io/sysmlpy/)
 
+> **Scope reminder** — a green parse result means the file **parsed
+> syntactically**. Names inside constraint bodies and other OCL-style
+> expressions are not yet resolved by the semantic analyzer, so a
+> document that names an undefined symbol inside an `assert constraint
+> { ... }` will still parse cleanly. See [STATUS.md §Known Issues](STATUS.md#known-issues).
+
 ### Basic Usage
 
 Build models programmatically using the public API:

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/README.md

@@ -79,6 +79,12 @@ Multiple installation methods are supported by sysmlpy, including:
 
 Documentation can be found [here.](https://mycr0ft.github.io/sysmlpy/)
 
+> **Scope reminder** — a green parse result means the file **parsed
+> syntactically**. Names inside constraint bodies and other OCL-style
+> expressions are not yet resolved by the semantic analyzer, so a
+> document that names an undefined symbol inside an `assert constraint
+> { ... }` will still parse cleanly. See [STATUS.md §Known Issues](STATUS.md#known-issues).
+
 ### Basic Usage
 
 Build models programmatically using the public API:

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/pyproject.toml

@@ -6,7 +6,7 @@ build-backend = "poetry.core.masonry.api"
 
 [project]
 name = "sysmlpy"
-version = "0.44.0"
+version = "0.46.0"
 description = ""
 authors = [{ name = "Jon R. Fox (mycr0ft)", email = "jon.fox@drfox.com" }]
 readme = "README.md"

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/src/sysmlpy/__init__.py

@@ -25,14 +25,14 @@ __all__ = [
     "render_state_transition_view_svg", "boxes_view",
 ]
 __author__ = "Jon Fox"
-__version__ = "0.44.0"
+__version__ = "0.46.0"
 
 from sysmlpy.usage import (
     Item, Attribute, Part, Port, Action, Reference, UseCase, Requirement, Interface, Message,
     State, Constraint, Connection, Flow, Calculation, Enumeration,
     Allocation, Metadata, Rendering, Individual, FlowDef,
     View, Viewpoint, Concern,
-    Case, AnalysisCase, VerificationCase,
+    Case, AnalysisCase, VerificationCase, Dependency,
 )
 
 from sysmlpy.definition import Model, Package

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/src/sysmlpy/antlr_visitor.py

@@ -314,8 +314,15 @@ def _visit_metadata_feature_dict(ctx):
                 })
     
     body = ""
-    if ctx.metadataBody() and ctx.metadataBody().SEMI():
-        body = ";"
+    if ctx.metadataBody():
+        if ctx.metadataBody().SEMI():
+            body = ";"
+        else:
+            # Braced body: preserve the raw text so the body content
+            # (field assignments, nested usage members, etc.) survives
+            # the round-trip. Without this, every `key = value;` inside
+            # a metadata application is silently dropped at visit time.
+            body = ctx.metadataBody().getText()
     
     return {
         "name": "MetadataFeature",
@@ -813,6 +820,18 @@ def _visit_definition_element_dict(def_elem_ctx, prefix=None):
     if hasattr(def_elem_ctx, 'package') and def_elem_ctx.package():
         ctx = def_elem_ctx.package()
         return _make_nested_package_dict(ctx, prefix)
+    elif hasattr(def_elem_ctx, 'libraryPackage') and def_elem_ctx.libraryPackage():
+        # `standard library package Foo { ... }` shares the declaration/body
+        # structure of `package Foo { ... }`. Pass is_standard_library=True so
+        # the round-trip dict preserves the `standard library` keywords.
+        ctx = def_elem_ctx.libraryPackage()
+        return _make_nested_package_dict(ctx, prefix, is_standard_library=True)
+    elif hasattr(def_elem_ctx, 'dependency') and def_elem_ctx.dependency():
+        # Issue #4: dependency statements were silently dropped. The grammar
+        # class Dependency is fully implemented but no visitor dispatch
+        # constructed it.
+        ctx = def_elem_ctx.dependency()
+        return _make_dependency_dict(ctx, prefix)
     elif hasattr(def_elem_ctx, 'itemDefinition') and def_elem_ctx.itemDefinition():
         ctx = def_elem_ctx.itemDefinition()
         return _make_item_definition_dict(ctx, prefix)
@@ -948,10 +967,14 @@ def _make_item_definition_dict(ctx, member_prefix=None):
     }
 
 
-def _make_nested_package_dict(ctx, prefix=None):
+def _make_nested_package_dict(ctx, prefix=None, is_standard_library=False):
     """Create a Package dictionary for a nested package.
     
     Similar to _visit_package_dict but returns a PackageMember wrapped result.
+    
+    ``is_standard_library`` is True when the source was a
+    ``standard library package`` declaration; in that case the
+    ``standard library`` keyword is preserved through the round-trip.
     """
     pkg_name = None
     pkg_shortname = None
@@ -981,6 +1004,7 @@ def _make_nested_package_dict(ctx, prefix=None):
             "ownedRelatedElement": {
                 "name": "Package",
                 "ownedRelationship": [],
+                "isStandardLibrary": is_standard_library,
                 "declaration": {
                     "name": "PackageDeclaration",
                     "identification": {
@@ -8099,6 +8123,134 @@ def _make_individual_usage_dict(ctx, prefix=None):
     }
 
 
+def _make_dependency_dict(ctx, member_prefix=None):
+    """Create a Dependency dictionary.
+
+    Grammar (SysML v2):
+      dependency
+        : (prefixMetadataAnnotation)* DEPENDENCY (identification? FROM)?
+            qualifiedName (COMMA qualifiedName)* TO qualifiedName
+            (COMMA qualifiedName)* relationshipBody
+        | (prefixMetadataAnnotation)* DEPENDENCY dependencyDeclaration
+            relationshipBody
+        ;
+
+    Wrapped in PackageMember + DefinitionElement so the loader places it in
+    the enclosing package / namespace body.
+    """
+    if ctx is None:
+        return None
+
+    identification = None
+    clients = []
+    suppliers = []
+    body = {"name": "RelationshipBody", "ownedRelationship": []}
+
+    if hasattr(ctx, 'dependencyDeclaration') and ctx.dependencyDeclaration():
+        # Alternative 2: dependencyDeclaration carries identification / FROM /
+        # client-list / supplier-list / TO. relationshipBody is the next
+        # sibling on the dependency context.
+        dep_decl = ctx.dependencyDeclaration()
+        if hasattr(dep_decl, 'identification') and dep_decl.identification():
+            identification = _build_identification_dict(dep_decl.identification())
+        qn_list = dep_decl.qualifiedName()
+        if not isinstance(qn_list, list):
+            qn_list = [qn_list] if qn_list is not None else []
+        # Split on TO: first batch is clients, second batch is suppliers.
+        to_token = dep_decl.TO()
+        if to_token is not None:
+            # ANTLR TerminalNodeImpl doesn't expose `.start` directly; use
+            # `.symbol.start` (the underlying token's char position).
+            to_start = to_token.symbol.start
+            split_idx = len(qn_list)
+            for i, qn in enumerate(qn_list):
+                if qn.start.start > to_start:
+                    split_idx = i
+                    break
+            clients = qn_list[:split_idx]
+            suppliers = qn_list[split_idx:]
+        else:
+            clients = qn_list
+        # relationshipBody sits on the parent dependency context
+        if hasattr(ctx, 'relationshipBody') and ctx.relationshipBody():
+            body = _visit_dependency_relationship_body_dict(ctx.relationshipBody())
+    else:
+        # Alternative 1: bare `dependency [ident]? [from]? qn , qn , ... to qn , qn , ... {body}`
+        if hasattr(ctx, 'identification') and ctx.identification():
+            identification = _build_identification_dict(ctx.identification())
+        qn_list = ctx.qualifiedName()
+        if not isinstance(qn_list, list):
+            qn_list = [qn_list] if qn_list is not None else []
+        to_token = ctx.TO()
+        if to_token is not None:
+            to_start = to_token.symbol.start
+            split_idx = len(qn_list)
+            for i, qn in enumerate(qn_list):
+                if qn.start.start > to_start:
+                    split_idx = i
+                    break
+            clients = qn_list[:split_idx]
+            suppliers = qn_list[split_idx:]
+        else:
+            clients = qn_list
+        if hasattr(ctx, 'relationshipBody') and ctx.relationshipBody():
+            body = _visit_dependency_relationship_body_dict(ctx.relationshipBody())
+
+    return {
+        "name": "PackageMember",
+        "prefix": member_prefix,
+        "ownedRelatedElement": {
+            "name": "DefinitionElement",
+            "ownedRelatedElement": {
+                "name": "Dependency",
+                "identification": identification,
+                "clients": [
+                    {"name": "QualifiedName", "names": qn.getText().split("::")}
+                    for qn in clients if qn is not None
+                ],
+                "suppliers": [
+                    {"name": "QualifiedName", "names": qn.getText().split("::")}
+                    for qn in suppliers if qn is not None
+                ],
+                "body": body,
+            }
+        }
+    }
+
+
+def _visit_dependency_relationship_body_dict(rb_ctx):
+    """Capture a dependency's relationshipBody.
+
+    Mirrors the aliasMember pattern: walk the body for any
+    OwnedAnnotation / CommentSysML so doc comments survive the round-trip.
+    For the `;` form (empty body), returns the empty shape.
+    """
+    if rb_ctx is None:
+        return {"name": "RelationshipBody", "ownedRelationship": []}
+    owned = []
+    for child in rb_ctx.children:
+        if type(child).__name__ == 'RelationshipOwnedElementContext':
+            for c2 in child.children:
+                if type(c2).__name__ == 'OwnedAnnotationContext':
+                    for c3 in c2.children:
+                        if type(c3).__name__ == 'AnnotatingElementContext':
+                            owned.append({
+                                "name": "OwnedAnnotation",
+                                "ownedRelatedElement": [
+                                    {
+                                        "name": "AnnotatingElement",
+                                        "ownedRelatedElement": {
+                                            "name": "CommentSysML",
+                                            "body": c3.getText(),
+                                            "identification": None,
+                                            "ownedRelationship": []
+                                        }
+                                    }
+                                ]
+                            })
+    return {"name": "RelationshipBody", "ownedRelationship": owned}
+
+
 def _make_enumeration_definition_dict(ctx, member_prefix=None):
     """Create an EnumerationDefinition dictionary.
     

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/src/sysmlpy/definition.py

@@ -20,7 +20,7 @@ from sysmlpy.grammar.classes import (
 )
 from sysmlpy.grammar.classes import Package as PackageGrammar
 
-from sysmlpy import Part, Item, Port, Requirement, UseCase, Attribute, Action, Case, AnalysisCase, VerificationCase, Interface, Message
+from sysmlpy import Part, Item, Port, Requirement, UseCase, Attribute, Action, Case, AnalysisCase, VerificationCase, Interface, Message, Dependency
 from sysmlpy.usage import (
     State, Constraint, Connection, Flow, Calculation, Enumeration,
     Allocation, Metadata, Rendering, Individual, FlowDef,
@@ -1299,6 +1299,16 @@ class Package(Searchable):
                             r.name = feat_decl.identification.declaredName
                 r.parent = self
                 self.children.append(r)
+            elif inner_class == "Dependency":
+                # Issue #4: dependency statements were silently dropped
+                # because no visitor dispatch produced a Dependency dict and
+                # Package.load_from_grammar had no branch for it.
+                d = Dependency()
+                d.grammar = inner_element
+                if hasattr(inner_element, 'identification') and inner_element.identification:
+                    d.name = inner_element.identification.declaredName
+                d.parent = self
+                self.children.append(d)
             else:
                 print(f"[Package.load_from_grammar] Unknown class: {inner_class} - skipping")  # pragma: no cover
         

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/src/sysmlpy/grammar/classes.py

@@ -226,6 +226,17 @@ class DefinitionElement:
                 self.children.append(
                     InterfaceUsage(definition["ownedRelatedElement"])
                 )
+            elif de == "Dependency":
+                # Issue #4: dependency statements were silently dropped
+                # because no visitor dispatch produced a Dependency dict and
+                # no DefinitionElement branch constructed it.
+                self.children.append(Dependency(definition["ownedRelatedElement"]))
+            elif de == "LibraryPackage":
+                # `standard library package Foo { ... }` shares the same
+                # {identification, body} shape as `package Foo { ... }` plus
+                # an isStandardLibrary flag. Reuse Package; the flag is read
+                # from the dict in Package.__init__.
+                self.children.append(Package(definition["ownedRelatedElement"]))
             else:
                 print(f"Unknown DefinitionElement type: {de}")  # pragma: no cover
 
@@ -8634,6 +8645,7 @@ class MemberPrefix:
 
 class Package:
     def __init__(self, definition=None):
+        self.is_standard_library = False
         if definition is not None:
             if valid_definition(definition, self.__class__.__name__):
                 # Elements inside of a package
@@ -8645,13 +8657,15 @@ class Package:
                     self.relationships.append(json.dumps(rel))
                 self.declaration = PackageDeclaration(definition["declaration"])
                 self.body = PackageBody(definition["body"])
+                self.is_standard_library = bool(definition.get("isStandardLibrary", False))
         else:
             self.relationships = []
             self.declaration = PackageDeclaration()
             self.body = PackageBody()
 
     def dump(self):
-        return "".join([self.declaration.dump(), self.body.dump()])
+        prefix = "standard library " if self.is_standard_library else ""
+        return prefix + "".join([self.declaration.dump(), self.body.dump()])
 
     def get_definition(self):
         output = {"name": self.__class__.__name__, "ownedRelationship": []}
@@ -8659,6 +8673,7 @@ class Package:
             output["ownedRelationship"] = rel.get_definition()
         output["declaration"] = self.declaration.get_definition()
         output["body"] = self.body.get_definition()
+        output["isStandardLibrary"] = self.is_standard_library
 
         return output
 
@@ -9774,6 +9789,12 @@ class Dependency:
         output = [self.keyword]
         if self.identification is not None:
             output.append(self.identification.dump())
+            # Issue #4: the ANTLR grammar ambiguity means an unnamed-form
+            # `dependency name a to X;` is unparseable — `name` is taken as
+            # the identification and `a` then has nowhere to go. To round-trip
+            # safely we always emit `from` between the identification and the
+            # client list.
+            output.append("from")
         output.append(", ".join([c.dump() for c in self.clients]))
         output.append("to")
         output.append(", ".join([s.dump() for s in self.suppliers]))

{sysmlpy-0.44.0 → sysmlpy-0.46.0}/src/sysmlpy/usage.py

@@ -4285,3 +4285,70 @@ class DefaultReference(Usage):
     #             )
 
     #     return package
+
+
+class Dependency(Usage):
+    """SysML v2 Dependency usage.
+
+    Represents a UML-style dependency between model elements.
+    Usage:
+        Dependency()                                  # dependency ;
+        Dependency(name='D')                         # dependency D from x to y;
+    """
+    sysml_type = 'dependency'
+
+    def __init__(self, name=None, clients=None, suppliers=None, shortname=None):
+        Usage.__init__(self)
+        self.grammar = None
+        self.clients = clients or []
+        self.suppliers = suppliers or []
+        # Usage.__init__ assigns a UUID-based name; override to None when
+        # the dependency is anonymous (the common case for
+        # `dependency b to A;`).
+        self.name = name
+        if shortname is not None:
+            self._set_name(shortname, short=True)
+
+    def dump(self):
+        # Issue #4: dependencies are emitted from the grammar tree; this
+        # method exists for compatibility with the Usage API.
+        if self.grammar is not None and hasattr(self.grammar, 'dump'):
+            return self.grammar.dump()
+        return "dependency"
+
+    def _get_definition(self, child=None):
+        """Build a PackageMember-wrapped Dependency dict for the model tree.
+
+        The Dependency grammar class returns the bare inner shape
+        (`{"name": "Dependency", "identification": ..., "clients": ...,
+        "suppliers": ..., "body": ...}`). For inclusion in a package body
+        we wrap it the same way other definitions are wrapped:
+        `PackageMember -> DefinitionElement -> Dependency`.
+        """
+        if self.grammar is not None and hasattr(self.grammar, 'get_definition'):
+            grammar_def = self.grammar.get_definition()
+        else:
+            grammar_def = {
+                "name": "Dependency",
+                "identification": None,
+                "clients": [],
+                "suppliers": [],
+                "body": None,
+            }
+        # Sync identification name
+        if self.name is not None and grammar_def.get("identification"):
+            grammar_def["identification"]["declaredName"] = self.name
+        elif self.name is not None:
+            grammar_def["identification"] = {
+                "name": "Identification",
+                "declaredName": self.name,
+                "declaredShortName": None,
+            }
+        return {
+            "name": "PackageMember",
+            "prefix": None,
+            "ownedRelatedElement": {
+                "name": "DefinitionElement",
+                "ownedRelatedElement": grammar_def,
+            },
+        }