sysmlpy 0.85.0__tar.gz → 0.87.0__tar.gz

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/PKG-INFO

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

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/pyproject.toml

@@ -6,7 +6,7 @@ build-backend = "poetry.core.masonry.api"
 
 [project]
 name = "sysmlpy"
-version = "0.85.0"
+version = "0.87.0"
 description = ""
 authors = [{ name = "Jon R. Fox (mycr0ft)", email = "jon.fox@drfox.com" }]
 readme = "README.md"
@@ -38,3 +38,8 @@ sysmlpy-lsp = "sysmlpy.lsp.stdio:main"
 [tool.poetry.group.dev.dependencies]
 pytest = ">=8.0,<9.0"
 
+[tool.pytest.ini_options]
+markers = [
+    "conformance: OMG 2026-03 XPect parse conformance suite (slow; deselect with -m 'not conformance')",
+]
+

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/src/sysmlpy/__init__.py

@@ -34,7 +34,7 @@ __all__ = [
     "render_state_transition_view_svg", "boxes_view",
 ]
 __author__ = "Jon Fox"
-__version__ = "0.85.0"
+__version__ = "0.87.0"
 
 from sysmlpy.usage import (
     Item, Attribute, Part, Port, Action, Reference, UseCase, Requirement, Interface, Message,

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/src/sysmlpy/antlr_visitor.py

@@ -2383,7 +2383,7 @@ def _make_assert_constraint_usage_dict(acu_ctx, prefix=None):
         if hasattr(cud, 'valuePart') and cud.valuePart():
             vp = cud.valuePart()
             if hasattr(vp, 'ownedExpression') and vp.ownedExpression():
-                expr = _visit_expression(vp.ownedExpression())
+                expr = _visit_owned_expression(vp.ownedExpression())
                 if expr:
                     valuepart = {"name": "ValuePart", "ownedRelationship": expr}
         
@@ -2497,7 +2497,7 @@ def _make_satisfy_requirement_usage_dict(sru_ctx, prefix=None):
     if hasattr(sru_ctx, 'valuePart') and sru_ctx.valuePart():
         vp = sru_ctx.valuePart()
         if hasattr(vp, 'ownedExpression') and vp.ownedExpression():
-            expr = _visit_expression(vp.ownedExpression())
+            expr = _visit_owned_expression(vp.ownedExpression())
             if expr:
                 valuepart = {"name": "ValuePart", "ownedRelationship": expr}
     
@@ -5024,30 +5024,48 @@ def _visit_entry_transition_member(ctx):
 
 
 def _visit_guarded_target_succession(ctx):
-    """Visit a guardedTargetSuccession context."""
+    """Visit a guardedTargetSuccession context.
+
+    guardedTargetSuccession : guardExpressionMember THEN transitionSuccessionMember
+
+    Emits the ``ownedRelationship`` member-list shape the
+    ``GuardedTargetSuccession`` grammar class loads (guard + target were
+    silently dropped before v0.87.0, and the old dict shape crashed the
+    class loader with a KeyError).
+    """
     if ctx is None:
         return None
-    
-    guard = None
-    if hasattr(ctx, 'guardExpression') and ctx.guardExpression():
-        guard_dict = _visit_expression(ctx.guardExpression())
-        guard = {
-            "name": "GuardExpression",
-            "expression": guard_dict
-        }
-    
-    succession = None
-    if hasattr(ctx, 'succession') and ctx.succession():
-        succ = ctx.succession()
-        if isinstance(succ, list):
-            succ = succ[0]
-        if succ:
-            succession = _visit_succession(succ)
-    
+
+    owned_relationship = []
+
+    gem = None
+    if hasattr(ctx, 'guardExpressionMember') and ctx.guardExpressionMember():
+        gem = ctx.guardExpressionMember()
+        if isinstance(gem, list):
+            gem = gem[0]
+        guard_member = _visit_guard_expression_member(gem)
+        if guard_member:
+            owned_relationship.append(guard_member)
+
+    tsm = None
+    if hasattr(ctx, 'transitionSuccessionMember') and ctx.transitionSuccessionMember():
+        tsm = ctx.transitionSuccessionMember()
+        if isinstance(tsm, list):
+            tsm = tsm[0]
+        ts = None
+        if hasattr(tsm, 'transitionSuccession') and tsm.transitionSuccession():
+            ts = tsm.transitionSuccession()
+            if isinstance(ts, list):
+                ts = ts[0]
+        if ts:
+            owned_relationship.append({
+                "name": "TransitionSuccessionMember",
+                "ownedRelatedElement": _visit_transition_succession(ts),
+            })
+
     return {
         "name": "GuardedTargetSuccession",
-        "guard": guard,
-        "ownedRelatedElement": succession
+        "ownedRelationship": owned_relationship,
     }
 
 
@@ -6661,6 +6679,10 @@ def _make_connection_usage_dict(ctx, prefix=None):
     """Create a ConnectionUsage dictionary."""
     name, shortname = _get_usage_identification(ctx)
 
+    # Typed-by etc. on the connection declaration (e.g.
+    # ``connection cn1 : CD``) — previously hardcoded to None.
+    specialization = _build_full_specialization_from_ctx(ctx)
+
     # Parse the connector part (``connect X to Y``) so endpoints survive
     # into the grammar object tree (v0.67.0 — fixes the "part": None stub)
     # connectionUsage: occurrenceUsagePrefix ( CONNECTION usageDeclaration?
@@ -6731,7 +6753,7 @@ def _make_connection_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "part": conn_part_dict,
@@ -8050,6 +8072,9 @@ def _make_view_usage_dict(ctx, prefix=None):
     body_items = []
     if hasattr(ctx, 'viewBody') and ctx.viewBody():
         body_items = _visit_view_body_dict(ctx.viewBody())
+    # Typed-by / redefinition / subsets on the view declaration
+    # (e.g. ``view v : Engine``) — previously hardcoded to None.
+    specialization = _build_full_specialization_from_ctx(ctx)
     return {
         "name": "PackageMember",
         "prefix": None,
@@ -8071,7 +8096,7 @@ def _make_view_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "body": {
@@ -8092,6 +8117,7 @@ def _make_viewpoint_usage_dict(ctx, prefix=None):
     """
     name = None
     shortname = None
+    specialization = None
     if ctx is not None:
         cud = None
         if hasattr(ctx, 'constraintUsageDeclaration') and ctx.constraintUsageDeclaration():
@@ -8112,6 +8138,11 @@ def _make_viewpoint_usage_dict(ctx, prefix=None):
                     elif len(name_list) == 1:
                         name_text = name_list[0].getText()
                         name, shortname = _extract_name_shortname(name_text)
+        
+        # Typed-by etc. on the viewpoint declaration (e.g.
+        # ``viewpoint v : R``) — previously dropped.
+        if ud is not None:
+            specialization = _build_full_specialization_from_ud(ud)
     
     return {
         "name": "PackageMember",
@@ -8134,7 +8165,7 @@ def _make_viewpoint_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "body": {
@@ -8158,6 +8189,7 @@ def _make_concern_usage_dict(ctx, prefix=None):
     """
     name = None
     shortname = None
+    specialization = None
     if ctx is not None:
         cud = None
         if hasattr(ctx, 'constraintUsageDeclaration') and ctx.constraintUsageDeclaration():
@@ -8178,6 +8210,10 @@ def _make_concern_usage_dict(ctx, prefix=None):
                     elif len(name_list) == 1:
                         name_text = name_list[0].getText()
                         name, shortname = _extract_name_shortname(name_text)
+        
+        # Typed-by etc. on the concern declaration — previously dropped.
+        if ud is not None:
+            specialization = _build_full_specialization_from_ud(ud)
     
     return {
         "name": "PackageMember",
@@ -8200,7 +8236,7 @@ def _make_concern_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "body": {
@@ -8236,6 +8272,7 @@ def _make_allocation_usage_dict(ctx, prefix=None):
     name = None
     shortname = None
     connector_part = None
+    specialization = None
     if ctx is not None:
         aud = None
         if hasattr(ctx, 'allocationUsageDeclaration') and ctx.allocationUsageDeclaration():
@@ -8263,6 +8300,11 @@ def _make_allocation_usage_dict(ctx, prefix=None):
         if aud and hasattr(aud, 'connectorPart') and aud.connectorPart():
             connector_part = _build_connector_part_dict(aud.connectorPart())
 
+        # Typed-by etc. on the allocation declaration (e.g.
+        # ``allocation a1 : AD``) — previously dropped.
+        if ud is not None:
+            specialization = _build_full_specialization_from_ud(ud)
+
     return {
         "name": "PackageMember",
         "prefix": None,
@@ -8284,7 +8326,7 @@ def _make_allocation_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "part": connector_part,
@@ -8309,6 +8351,7 @@ def _make_rendering_usage_dict(ctx, prefix=None):
     """
     name = None
     shortname = None
+    specialization = None
     if ctx is not None:
         # RenderingUsage uses just `usage` (not usageDeclaration)
         usage = None
@@ -8330,6 +8373,12 @@ def _make_rendering_usage_dict(ctx, prefix=None):
                     elif len(name_list) == 1:
                         name_text = name_list[0].getText()
                         name, shortname = _extract_name_shortname(name_text)
+        
+        # Typed-by etc. on the rendering declaration (e.g.
+        # ``rendering r1 : RD``) — previously dropped. The rendering
+        # usage ctx carries ``usage`` directly, so the ctx-based
+        # builder works here.
+        specialization = _build_full_specialization_from_ctx(ctx)
     
     return {
         "name": "PackageMember",
@@ -8352,7 +8401,7 @@ def _make_rendering_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "body": {
@@ -8376,6 +8425,7 @@ def _make_individual_usage_dict(ctx, prefix=None):
     """
     name = None
     shortname = None
+    specialization = None
     if ctx is not None:
         # individualUsage has `usage` at the end
         usage = None
@@ -8397,6 +8447,9 @@ def _make_individual_usage_dict(ctx, prefix=None):
                     elif len(name_list) == 1:
                         name_text = name_list[0].getText()
                         name, shortname = _extract_name_shortname(name_text)
+        
+        # Typed-by etc. on the individual declaration — previously dropped.
+        specialization = _build_full_specialization_from_ctx(ctx)
     
     # Use IndividualUsageSimple per our simplified model
     return {
@@ -8420,7 +8473,7 @@ def _make_individual_usage_dict(ctx, prefix=None):
                                     "declaredShortName": shortname,
                                     "declaredName": name
                                 },
-                                "specialization": None
+                                "specialization": specialization
                             }
                         },
                         "body": {
@@ -8992,7 +9045,7 @@ def _make_view_rendering_member_dict(ctx, prefix=None):
                             "declaredShortName": shortname,
                             "declaredName": name
                         },
-                        "specialization": None
+                        "specialization": _build_full_specialization_from_ctx(usage_ctx)
                     }
                 },
                 "completion": None
@@ -9074,6 +9127,102 @@ def _make_render_state_member_dict(ctx, prefix=None):
     }
 
 
+def _make_element_filter_member_dict(ctx):
+    """Visit an elementFilterMember context and return its dict.
+
+    elementFilterMember : memberPrefix FILTER ownedExpression SEMI
+
+    e.g. ``filter @e1;`` — the element filter of a view.
+    """
+    if ctx is None:
+        return None
+
+    prefix = None
+    if hasattr(ctx, 'memberPrefix') and ctx.memberPrefix():
+        mp = ctx.memberPrefix()
+        if hasattr(mp, 'visibilityIndicator') and mp.visibilityIndicator():
+            prefix = {
+                "name": "MemberPrefix",
+                "visibility": _visit_visibility_indicator_dict(mp.visibilityIndicator()),
+            }
+
+    expr = None
+    if hasattr(ctx, 'ownedExpression') and ctx.ownedExpression():
+        expr = _visit_owned_expression(ctx.ownedExpression())
+
+    return {
+        "name": "ElementFilterMember",
+        "prefix": prefix,
+        "ownedRelatedElement": expr,
+    }
+
+
+def _make_expose_dict(ctx):
+    """Visit an expose context and return its dict.
+
+    expose : EXPOSE ( membershipExpose | namespaceExpose ) relationshipBody
+    membershipExpose : membershipImport
+    namespaceExpose : namespaceImport
+
+    e.g. ``expose e;`` (membership form) or ``expose P::*;`` (namespace
+    form).  The membership/namespace payload reuses the Import dict
+    shapes (without the import prefix).
+    """
+    if ctx is None:
+        return None
+
+    relationship = None
+
+    if hasattr(ctx, 'membershipExpose') and ctx.membershipExpose():
+        me = ctx.membershipExpose()
+        if not hasattr(me, 'membershipImport') or me.membershipImport() is None:
+            print("[visitor] expose: unsupported membershipExpose form, skipped")
+            return None
+        mi = me.membershipImport()
+        qn_text = mi.qualifiedName().getText()
+        is_recursive = mi.STAR_STAR() is not None
+        relationship = {
+            "name": "MembershipExpose",
+            "membership": {
+                "name": "ImportedMembership",
+                "importedMembership": {
+                    "name": "QualifiedName",
+                    "names": qn_text.split("::"),
+                },
+                "isRecursive": is_recursive,
+            },
+        }
+
+    elif hasattr(ctx, 'namespaceExpose') and ctx.namespaceExpose():
+        ne = ctx.namespaceExpose()
+        if not hasattr(ne, 'namespaceImport') or ne.namespaceImport() is None:
+            print("[visitor] expose: unsupported namespaceExpose form, skipped")
+            return None
+        ns = ne.namespaceImport()
+        if ns.filterPackage() is not None:
+            print("[visitor] expose: filterPackage form not supported, skipped")
+            return None
+        qn_text = ns.qualifiedName().getText()
+        is_recursive = ns.STAR_STAR() is not None
+        relationship = {
+            "name": "NamespaceExpose",
+            "namespace": {
+                "name": "ImportedNamespace",
+                "namespace": {"name": "QualifiedName", "names": qn_text.split("::")},
+                "isRecursive": is_recursive,
+            },
+        }
+
+    if relationship is None:
+        return None
+
+    return {
+        "name": "Expose",
+        "body": {"name": "RelationshipBody", "ownedRelationship": []},
+        "ownedRelationship": relationship,
+    }
+
+
 def _visit_view_definition_body_dict(body_ctx):
     """Visit a viewDefinitionBody and return a list of body item dicts.
     
@@ -9107,7 +9256,9 @@ def _visit_view_definition_body_dict(body_ctx):
                 if item_dict:
                     items.append(item_dict)
             elif hasattr(item_ctx, 'elementFilterMember') and item_ctx.elementFilterMember():
-                pass  # TODO: handle elementFilterMember
+                item_dict = _make_element_filter_member_dict(item_ctx.elementFilterMember())
+                if item_dict:
+                    items.append(item_dict)
     
     return items
 
@@ -9146,9 +9297,13 @@ def _visit_view_body_dict(body_ctx):
                 if item_dict:
                     items.append(item_dict)
             elif hasattr(item_ctx, 'elementFilterMember') and item_ctx.elementFilterMember():
-                pass  # TODO: handle elementFilterMember
+                item_dict = _make_element_filter_member_dict(item_ctx.elementFilterMember())
+                if item_dict:
+                    items.append(item_dict)
             elif hasattr(item_ctx, 'expose') and item_ctx.expose():
-                pass  # TODO: handle expose
+                item_dict = _make_expose_dict(item_ctx.expose())
+                if item_dict:
+                    items.append(item_dict)
     
     return items
 
@@ -13976,6 +14131,22 @@ def _build_full_specialization_from_ctx(ctx):
         if isinstance(ud, list):
             ud = ud[0] if ud else None
     
+    if ud is None and hasattr(ctx, 'usageDeclaration') and ctx.usageDeclaration():
+        # Some usage contexts (e.g. viewUsage) carry the usageDeclaration
+        # directly instead of through a nested ``usage`` element.
+        ud = ctx.usageDeclaration()
+        if isinstance(ud, list):
+            ud = ud[0] if ud else None
+    
+    if ud is None:
+        return None
+    
+    return _build_full_specialization_from_ud(ud)
+
+
+def _build_full_specialization_from_ud(ud):
+    """Build a full FeatureSpecializationPart dict from a usageDeclaration
+    ANTLR context (the shared core of the ctx-based variant above)."""
     if ud is None:
         return None
     

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/src/sysmlpy/definition.py

@@ -1514,6 +1514,25 @@ class Package(Searchable):
         for child in grammar.body.children:
             if child.__class__.__name__ in ('Import', 'AliasMember'):
                 self._imports.append(child)
+
+        # v0.87.0: several dispatch branches above assign ``grammar``
+        # manually instead of going through Usage.load_from_grammar, so
+        # _extract_specialization_info never ran for those kinds and
+        # typed_by_name stayed None (viewpoint, concern, allocation,
+        # rendering, metadata, individual, constraint, calculation,
+        # connection, flow, satisfy...). Run it once over the built
+        # children; kinds that went through the full load path already
+        # carry their typing and are skipped by the _typed_by_name guard.
+        for child in self.children:
+            g = getattr(child, 'grammar', None)
+            if g is None or getattr(child, '_typed_by_name', None) is not None:
+                continue
+            extract = getattr(child, '_extract_specialization_info', None)
+            if extract is not None:
+                try:
+                    extract(g)
+                except Exception as exc:  # pragma: no cover
+                    print(f"[Package.load_from_grammar] specialization extraction failed for {getattr(child, 'name', child)!r}: {exc}")
         
         return self
 

{sysmlpy-0.85.0 → sysmlpy-0.87.0}/src/sysmlpy/grammar/classes.py

@@ -58,8 +58,10 @@ class RootNamespace:
         except ValueError:
             try:
                 if valid_definition(definition, "NamespaceBodyElement"):
-                    # This is a KerML Element
-                    pass
+                    # KerML root: member dicts share the PackageBodyElement
+                    # shapes, so load them through the same dispatch instead
+                    # of silently dropping them.
+                    self.load_package_body(definition.get("ownedRelationship", []))
             except ValueError:  # pragma: no cover
                 print(definition)
                 raise ValueError("Not expecting any other root node names.")
@@ -71,7 +73,14 @@ class RootNamespace:
                 if member["name"] == "PackageMember":
                     memberclass = PackageMember(member)
                 elif member["name"] == "ElementFilterMember":
-                    pass  # pragma: no cover
+                    # Element filters belong to view bodies; a root-level
+                    # one has no standalone meaning — warn and skip rather
+                    # than leaving `memberclass` unbound (v0.27.0 contract).
+                    print(
+                        "[RootNamespace] Skipping unsupported root member: "
+                        "ElementFilterMember"
+                    )  # pragma: no cover
+                    continue
                 elif member["name"] == "AliasMember":
                     memberclass = AliasMember(member)
                 elif member["name"] == "Import":
@@ -7692,7 +7701,7 @@ class ConnectionUsage:
         self.prefix = None
         self.declaration = None
         self.keyword = "connection"
-        self.keyword2 = "connect\n"
+        self.keyword2 = "connect"
         self.part = None
         if definition is not None:
             if valid_definition(definition, self.__class__.__name__):
@@ -7715,7 +7724,23 @@ class ConnectionUsage:
         if self.prefix is not None:
             output.append(self.prefix.dump())
 
+        # Only emit the `connection <name>` form when the declaration
+        # actually names something — a bare `connect a to b` has an
+        # empty Identification and must not dump as `connection  connect ...`.
+        # A typed but nameless declaration (`connection : PressureSeat`)
+        # still needs the `connection` keyword.
+        declared = None
         if self.declaration is not None:
+            decl = getattr(self.declaration, "declaration", None)
+            ident = getattr(decl, "identification", None)
+            if ident is not None:
+                declared = " ".join(
+                    filter(None, (ident.declaredShortName, ident.declaredName))
+                )
+            if not declared and decl is not None and decl.specialization is not None:
+                declared = True
+
+        if declared:
             output.append(self.keyword)
             output.append(self.declaration.dump())
 
@@ -9758,33 +9783,113 @@ class VerificationCaseDefinition(_DeclaredDefinitionBase):
 
 
 class ElementFilterMember:
-    # Stub for elementFilterMember — not yet fully implemented
+    # elementFilterMember : memberPrefix FILTER ownedExpression SEMI
+    # e.g. ``filter @e1;`` — the element filter of a view body.
     def __init__(self, definition=None):
         self.children = []
+        self.prefix = None
+        self.filter_expression = None
         if definition is not None:
             if valid_definition(definition, "ElementFilterMember"):
-                pass  # TODO: parse filter expression
+                if definition.get("prefix") is not None:
+                    self.prefix = MemberPrefix(definition["prefix"])
+                oe = definition.get("ownedRelatedElement")
+                if oe is not None:
+                    self.filter_expression = OwnedExpression(oe)
 
     def dump(self):
-        return ""
+        output = []
+        if self.prefix is not None:
+            output.append(self.prefix.dump())
+        output.append("filter")
+        if self.filter_expression is not None:
+            output.append(self.filter_expression.dump())
+        return " ".join(filter(None, output)) + ";"
+
+    def get_definition(self):
+        return {
+            "name": self.__class__.__name__,
+            "prefix": self.prefix.get_definition() if self.prefix else None,
+            "ownedRelatedElement": (
+                self.filter_expression.get_definition()
+                if self.filter_expression is not None
+                else None
+            ),
+        }
+
+
+class MembershipExpose:
+    # membershipExpose : membershipImport
+    # Payload of a membership expose (``expose e;``) — reuses the
+    # ImportedMembership shape without the import prefix.
+    def __init__(self, definition):
+        if valid_definition(definition, "MembershipExpose"):
+            self.membership = ImportedMembership(definition["membership"])
+
+    def dump(self):
+        return self.membership.dump()
 
     def get_definition(self):
-        return {"name": self.__class__.__name__}
+        return {
+            "name": self.__class__.__name__,
+            "membership": self.membership.get_definition(),
+        }
+
+
+class NamespaceExpose:
+    # namespaceExpose : namespaceImport
+    # Payload of a namespace expose (``expose P::*;``) — reuses the
+    # ImportedNamespace shape without the import prefix.
+    def __init__(self, definition):
+        if valid_definition(definition, "NamespaceExpose"):
+            self.namespace = ImportedNamespace(definition["namespace"])
+
+    def dump(self):
+        return self.namespace.dump()
+
+    def get_definition(self):
+        return {
+            "name": self.__class__.__name__,
+            "ownedRelatedElement": [],
+            "namespace": self.namespace.get_definition(),
+        }
 
 
 class Expose:
-    # Stub for expose — not yet fully implemented
+    # expose : EXPOSE ( membershipExpose | namespaceExpose ) relationshipBody
+    # e.g. ``expose e;`` or ``expose P::*;`` — a member of a view body.
     def __init__(self, definition=None):
         self.children = []
+        self.body = RelationshipBody({"name": "RelationshipBody", "ownedRelationship": []})
         if definition is not None:
             if valid_definition(definition, "Expose"):
-                pass  # TODO: parse expose
+                self.body = RelationshipBody(definition["body"])
+                relationship = definition.get("ownedRelationship")
+                if relationship is not None:
+                    if relationship["name"] == "NamespaceExpose":
+                        self.children.append(NamespaceExpose(relationship))
+                    elif relationship["name"] == "MembershipExpose":
+                        self.children.append(MembershipExpose(relationship))
+                    else:
+                        print(
+                            f"[Expose] Unknown relationship: "
+                            f"{relationship.get('name', relationship)}"
+                        )
 
     def dump(self):
-        return ""
+        output = ["expose"]
+        for child in self.children:
+            output.append(child.dump())
+        return " ".join(output) + self.body.dump()
 
     def get_definition(self):
-        return {"name": self.__class__.__name__}
+        return {
+            "name": self.__class__.__name__,
+            "body": self.body.get_definition(),
+            "ownedRelationship": (
+                self.children[0].get_definition() if self.children else None
+            ),
+        }
 
 
 class RenderStateMember:
@@ -9946,6 +10051,8 @@ class ViewDefinitionBody:
                         self.children.append(RenderStateMember(item))
                     elif item_name == "ElementFilterMember":
                         self.children.append(ElementFilterMember(item))
+                    elif item_name == "Expose":
+                        self.children.append(Expose(item))
                     else:
                         print(f"ViewDefinitionBody: unknown item {item_name}")  # pragma: no cover