xmi 0.5.11 → 0.5.12

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 621742aa6b438d4102e5bed3f5c9e726d0b2e79058516c2fde73b801e324dd4f
-  data.tar.gz: a1d9fe2a101517e214cd61b834494865777b23db5d1da98509d9ef5c0ddbd8c6
+  metadata.gz: 4268a73b32cabe65fa9a63dc4e87588941df98e4480697e704e19d33be0d4d2f
+  data.tar.gz: b92789685eee2191f08b81537f1a4c6740ae5bdba96a48060992174ee7a2b58a
 SHA512:
-  metadata.gz: 2f20f758fbbfd769b8ed45e8b808e0b6b621a2bfef67eca6d6063cd9749c5e05ea22e870d0dae4d04d1e06dc95e29413f1231c22b201c5ccd42fe0cb6ba678c5
-  data.tar.gz: 8551b6d715330eb214bf6d58135007656cc34f9057b0e8497ba139d07d84e568594a5cc886d9beaf4352694ea1ce92c8757adac79013c387426abb13837f1abd
+  metadata.gz: abcee32a264c8519d7e7a5110cc89e6327e20dce2ded8999266aa928c67e59daf0f993f3b8577d6c628137345b10367e9fbb23b8d832c1d49bafbbeda83ec43d
+  data.tar.gz: 2d46d5677820d183a9d33418ead0ff9cf4ffe8d887aa16e629c27d782e282baa4a94ca08d8bc1cb531728e781d4613e09f371e7454b3fc94bb306271807ddadf

data/.rubocop_todo.yml

@@ -1,6 +1,6 @@
 # This configuration was generated by
 # `rubocop --auto-gen-config`
-# on 2026-05-20 14:51:37 UTC using RuboCop version 1.86.1.
+# on 2026-07-02 17:45:26 UTC using RuboCop version 1.86.1.
 # The point is for the user to remove these configuration records
 # one by one as the offenses are removed from the code base.
 # Note that changes in the inspected code, or installation of new
@@ -11,13 +11,96 @@ Gemspec/RequiredRubyVersion:
   Exclude:
     - 'xmi.gemspec'
 
-# Offense count: 79
+# Offense count: 11
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle, IndentationWidth.
+# SupportedStyles: with_first_argument, with_fixed_indentation
+Layout/ArgumentAlignment:
+  Exclude:
+    - 'lib/xmi/uml.rb'
+    - 'spec/xmi/uml/autoload_spec.rb'
+    - 'spec/xmi/uml/literal_classes_spec.rb'
+    - 'spec/xmi/uml/owned_end_spec.rb'
+
+# Offense count: 3
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyleAlignWith.
+# SupportedStylesAlignWith: either, start_of_block, start_of_line
+Layout/BlockAlignment:
+  Exclude:
+    - 'spec/xmi/uml/instance_specification_spec.rb'
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 3
+# This cop supports safe autocorrection (--autocorrect).
+Layout/BlockEndNewline:
+  Exclude:
+    - 'spec/xmi/uml/instance_specification_spec.rb'
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+Layout/ClosingParenthesisIndentation:
+  Exclude:
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle, IndentationWidth.
+# SupportedStyles: consistent, consistent_relative_to_receiver, special_for_inner_method_call, special_for_inner_method_call_in_parentheses
+Layout/FirstArgumentIndentation:
+  Exclude:
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 12
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: AllowMultipleStyles, EnforcedHashRocketStyle, EnforcedColonStyle, EnforcedLastArgumentHashStyle.
+# SupportedHashRocketStyles: key, separator, table
+# SupportedColonStyles: key, separator, table
+# SupportedLastArgumentHashStyles: always_inspect, always_ignore, ignore_implicit, ignore_explicit
+Layout/HashAlignment:
+  Exclude:
+    - 'lib/xmi.rb'
+    - 'lib/xmi/uml/packaged_element.rb'
+    - 'lib/xmi/uml/uml_model.rb'
+    - 'spec/xmi/uml/literal_classes_spec.rb'
+
+# Offense count: 6
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: Width, EnforcedStyleAlignWith, AllowedPatterns.
+# SupportedStylesAlignWith: start_of_line, relative_to_receiver
+Layout/IndentationWidth:
+  Exclude:
+    - 'spec/xmi/uml/instance_specification_spec.rb'
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 131
 # This cop supports safe autocorrection (--autocorrect).
 # Configuration parameters: Max, AllowHeredoc, AllowURI, AllowQualifiedName, URISchemes, AllowRBSInlineAnnotation, AllowCopDirectives, AllowedPatterns, SplitStrings.
 # URISchemes: http, https
 Layout/LineLength:
   Enabled: false
 
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: symmetrical, new_line, same_line
+Layout/MultilineMethodCallBraceLayout:
+  Exclude:
+    - 'spec/xmi/uml/slot_spec.rb'
+
+# Offense count: 10
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: AllowInHeredoc.
+Layout/TrailingWhitespace:
+  Exclude:
+    - 'lib/xmi/uml.rb'
+    - 'lib/xmi/uml/packaged_element.rb'
+    - 'lib/xmi/uml/uml_model.rb'
+    - 'spec/xmi/uml/autoload_spec.rb'
+    - 'spec/xmi/uml/literal_classes_spec.rb'
+    - 'spec/xmi/uml/owned_end_spec.rb'
+
 # Offense count: 6
 # Configuration parameters: AllowedMethods.
 # AllowedMethods: enums
@@ -52,7 +135,7 @@ Metrics/CyclomaticComplexity:
     - 'lib/xmi/ea_root/code_generation.rb'
     - 'lib/xmi/sparx/index.rb'
 
-# Offense count: 30
+# Offense count: 29
 # Configuration parameters: CountComments, CountAsOne, AllowedMethods, AllowedPatterns.
 Metrics/MethodLength:
   Max: 55
@@ -95,17 +178,17 @@ RSpec/ContextWording:
     - 'spec/xmi/sparx/sparx_root_gml_spec.rb'
     - 'spec/xmi/sparx/sparx_root_mdg_spec.rb'
 
-# Offense count: 4
+# Offense count: 5
 # Configuration parameters: IgnoredMetadata.
 RSpec/DescribeClass:
   Exclude:
     - 'spec/performance/xmi_parsing_spec.rb'
     - 'spec/xmi/edge_cases_spec.rb'
     - 'spec/xmi/namespace_aliases_spec.rb'
-    - 'spec/xmi/versioning_spec.rb'
     - 'spec/xmi/sparx/mixed_prefix_style_spec.rb'
+    - 'spec/xmi/versioning_spec.rb'
 
-# Offense count: 37
+# Offense count: 52
 # Configuration parameters: CountAsOne.
 RSpec/ExampleLength:
   Max: 33
@@ -120,7 +203,7 @@ RSpec/MultipleDescribes:
   Exclude:
     - 'spec/xmi/sparx/gml/shared_attributes_spec.rb'
 
-# Offense count: 57
+# Offense count: 120
 RSpec/MultipleExpectations:
   Max: 8
 
@@ -148,6 +231,18 @@ RSpec/SpecFilePathFormat:
     - 'spec/xmi/sparx/sparx_root_xmi2013_uml2013_spec.rb'
     - 'spec/xmi/sparx/sparx_root_xmi_parsing_spec.rb'
 
+# Offense count: 5
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle, ProceduralMethods, FunctionalMethods, AllowedMethods, AllowedPatterns, AllowBracesOnProceduralOneLiners, BracesRequiredMethods.
+# SupportedStyles: line_count_based, semantic, braces_for_chaining, always_braces
+# ProceduralMethods: benchmark, bm, bmbm, create, each_with_object, measure, new, realtime, tap, with_object
+# FunctionalMethods: let, let!, subject, watch
+# AllowedMethods: lambda, proc, it
+Style/BlockDelimiters:
+  Exclude:
+    - 'spec/xmi/uml/instance_specification_spec.rb'
+    - 'spec/xmi/uml/slot_spec.rb'
+
 # Offense count: 4
 # Configuration parameters: AllowedClasses.
 Style/OneClassPerFile:

data/TODO.next/01-packaged-element-typed-subclasses.md

@@ -0,0 +1,94 @@
+# 01 — PackagedElement typed subclasses (Phase B remaining)
+
+**Status: PARTIAL — Phase A landed (2026-07-03); Phase B (narrowing
+attrs to subclasses) deferred.**
+
+## What landed (Phase A)
+
+Polymorphic dispatch on `PackagedElement.packaged_element` and
+`UmlModel.packaged_element`. Each `<packagedElement xmi:type="uml:X">`
+now parses to a corresponding `Xmi::Uml::X` subclass:
+
+| xmi:type | Ruby class |
+|---|---|
+| uml:Class | `Xmi::Uml::UmlClass` |
+| uml:Association | `Xmi::Uml::Association` |
+| uml:Interface | `Xmi::Uml::Interface` |
+| uml:InstanceSpecification | `Xmi::Uml::InstanceSpecification` |
+| uml:DataType | `Xmi::Uml::DataType` |
+| uml:PrimitiveType | `Xmi::Uml::PrimitiveType` |
+| uml:Enumeration | `Xmi::Uml::Enumeration` |
+| uml:Package | `Xmi::Uml::Package` |
+| uml:Realization | `Xmi::Uml::Realization` |
+
+Dispatch map: `Xmi::Uml::PACKAGED_ELEMENT_POLYMORPHIC_MAP` in
+`lib/xmi/uml/packaged_element.rb`. Spec coverage:
+`spec/xmi/uml/packaged_element_dispatch_spec.rb` (17 examples).
+
+Subclasses currently inherit the **full union-bag attribute set**
+from `PackagedElement`. Consumers can dispatch on `is_a?(Xmi::Uml::X)`
+for type-specific behavior, but accessing the wrong attr on the wrong
+type still returns nil/empty rather than raising.
+
+## What's deferred (Phase B)
+
+Narrow each subclass's attribute set to its UML-2.5-conformant subset.
+Examples:
+
+| Class | Valid attrs (today, all inherited) |
+|---|---|
+| UmlClass | owned_attribute, owned_operation, owned_comment, generalization, interface_realization, nested packaged_element |
+| Association | owned_end, member_end, member_ends |
+| InstanceSpecification | classifier, slot, specification |
+| Interface | owned_operation, generalization |
+| Enumeration | owned_literal |
+| DataType | owned_attribute, owned_operation |
+| PrimitiveType | (none) |
+| Realization | supplier, client |
+| Package | nested packaged_element |
+
+After Phase B, `instance.owned_attribute` raises NoMethodError on an
+InstanceSpecification — the type system catches the misuse at runtime.
+
+## Why Phase B is deferred
+
+- **Breaking change.** Every consumer that accesses attrs via the
+  base `PackagedElement` type breaks. The `lutaml/ea` transformer
+  walks packaged_element generically; it would need type-specific
+  dispatch added.
+- **Test churn.** Every Sparx fixture regression test that accesses
+  `pe.owned_attribute` (etc.) on a generic PackagedElement needs
+  updating.
+- **Limited semantic gain.** Phase A already gives consumers the
+  type tag. Phase B catches programming errors but doesn't enable
+  new functionality.
+- The original TODO.next/01 design doc proposed Phase A as
+  "risk-free" and Phase B as the "breaking change." That framing
+  holds.
+
+## Rollout strategy for Phase B
+
+1. Survey every consumer of `PackagedElement` attrs in `lutaml/ea`,
+   `lutaml/lutaml-uml`, and downstream.
+2. For each consumer, change to type-specific dispatch:
+   ```ruby
+   case pe
+   when Xmi::Uml::UmlClass then pe.owned_attribute ...
+   when Xmi::Uml::Association then pe.owned_end ...
+   end
+   ```
+3. Once consumers are type-aware, narrow subclass attrs.
+4. Remove the narrowed attrs from `PackagedElement`.
+
+This is a multi-PR change. Each step should land separately so
+bisect works.
+
+## Open questions
+
+- Should `Generalization` move from `packagedElement` to its own
+  child element shape to match OMG XMI? Sparx uses both. Defer.
+- How to handle EA's `uml:ExtensionEnd` and other Sparx-isms? Treat
+  as subclasses of the closest OMG type.
+- The polymorphic dispatch failure mode (unknown xmi:type raises
+  TypeError) is locked in by `polymorphic_robustness_spec.rb`. Phase B
+  doesn't fix this; it's a separate concern.

data/TODO.next/03-real-sparx-instancespec-fixture.md

@@ -0,0 +1,56 @@
+# 03 — Real Sparx InstanceSpecification fixture (FUTURE)
+
+**Status: FUTURE — requires Sparx EA access to acquire the fixture.
+Migrated from `TODO.refactor/16` (2026-07-02).**
+
+## Problem
+
+The fixture added in TODO.refactor/08
+(`spec/fixtures/sparx-instance-specification.xmi`) is hand-authored
+to match Sparx EA's mixed-prefix style. It is structurally faithful
+but not byte-identical to real EA output.
+
+Several details can drift between synthetic and real:
+
+- Whitespace and indentation (tabs vs spaces, blank lines).
+- Attribute ordering within an element.
+- Presence of EA-specific boilerplate (`xmi:Documentation exporter="Enterprise Architect" exporterVersion="..."`).
+- Sparx's `EAID_` GUID format (uppercase hex with underscores, vs.
+  the synthetic lowercase).
+- Inclusion of `<xrefs>` elements on slot values (Sparx adds
+  cross-references for tracked links).
+- The `<extensions>` element with EA-specific `<elements>` and
+  `<connectors>` sections.
+
+## Goal
+
+Acquire a real Sparx EA export that contains at least one:
+
+- `<packagedElement xmi:type="uml:InstanceSpecification">` with
+  `<slot>` children carrying `<value>` of various `xmi:type`.
+- `<interfaceRealization>` (strict OMG form, even though current
+  Sparx collapses to `uml:Realization`).
+
+Replace `sparx-instance-specification.xmi` with the real fixture,
+or add it as a sibling file. Update parity specs to use the real
+fixture.
+
+## Acquisition
+
+Requires Sparx EA access. Suggested steps:
+
+1. In EA, create a small model with one Class, one
+   InstanceSpecification, and one InterfaceRealization.
+2. Publish to XMI (EA's "Publish to File" or "Export to XMI").
+3. Trim sensitive content if any.
+4. Commit the fixture with a `<!-- Exported from Sparx EA vX.Y on
+   YYYY-MM-DD, trimmed for the lutaml/xmi test suite. -->` header.
+
+## Verification
+
+- Real fixture parses without error.
+- All existing parity specs continue to pass (or are updated to
+  match real content).
+- Coverage of `<value>` `xmi:type` variants matches what real EA
+  emits (OpaqueExpression is the common case; LiteralString for
+  default values).

data/TODO.next/README.md

@@ -0,0 +1,17 @@
+# TODO.next — xmi gem follow-ups
+
+Open design items after the OwnedEnd schema migration and
+ValueSpecification polymorphic dispatch landed. Each file has a
+Status header:
+
+- **DONE** — completed; kept for context
+- **DESIGN-ONLY** — design document, not implemented; awaiting user direction
+- **FUTURE** — needs resources (real Sparx EA access, etc.) to unblock
+- **PARTIAL** — some paths landed, others deferred; see file for breakdown
+
+## Index
+
+| # | Title | Status |
+|---|---|---|
+| 01 | [PackagedElement typed subclasses](01-packaged-element-typed-subclasses.md) | PARTIAL (Phase A done, Phase B deferred) |
+| 03 | [Real Sparx InstanceSpecification fixture](03-real-sparx-instancespec-fixture.md) | FUTURE |

data/lib/xmi/uml/association.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:Association">`. Binary
+    # link between two types, carrying ownedEnd / memberEnd children.
+    class Association < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/association_class.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:AssociationClass">`. An
+    # association that is also a class (UML 2.5 §11.4).
+    #
+    # Phase A of TODO.next/01: subclass is a type tag on
+    # PackagedElement. The union-bag attribute set is inherited
+    # unchanged so existing consumers keep working. Phase B
+    # (narrowing attrs to the subclass) is future work.
+    class AssociationClass < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/association_generalization.rb

@@ -2,18 +2,11 @@
 
 module Xmi
   module Uml
-    class AssociationGeneralization < Lutaml::Model::Serializable
-      skip_reference_registration
-      attribute :type, ::Xmi::Type::XmiType
-      attribute :id, ::Xmi::Type::XmiId
+    class AssociationGeneralization < Base
       attribute :general, :string
 
       xml do
         root "generalization"
-        namespace ::Xmi::Namespace::Omg::Uml
-
-        map_attribute "type", to: :type
-        map_attribute "id", to: :id
         map_attribute "general", to: :general
       end
     end

data/lib/xmi/uml/base.rb

@@ -0,0 +1,32 @@
+# frozen_string_literal: true
+
+module Xmi
+  module Uml
+    # Common base for concrete UML element classes.
+    #
+    # Each concrete UML class redeclares the same `xmi:type` discriminator,
+    # `xmi:id`, and UML namespace boilerplate. Inheriting from `Base`
+    # removes that duplication — subclasses declare only their unique
+    # attributes and `root` element name.
+    #
+    # Verified via spike: lutaml-model inherits attribute declarations,
+    # namespace, and map_attribute lines from the parent's `xml do` block.
+    # Subclasses override `root` and add their own attributes/mappings.
+    #
+    # Classes that don't fit this pattern (reference holders like
+    # AnnotatedElement/MemberEnd/Type, or UmlDi-namespaced elements like
+    # Bounds/Waypoint/Diagram) stay direct from Serializable.
+    class Base < Lutaml::Model::Serializable
+      skip_reference_registration
+      attribute :type, ::Xmi::Type::XmiType
+      attribute :id, ::Xmi::Type::XmiId
+
+      xml do
+        namespace ::Xmi::Namespace::Omg::Uml
+
+        map_attribute "type", to: :type
+        map_attribute "id", to: :id
+      end
+    end
+  end
+end

data/lib/xmi/uml/bounds.rb

@@ -23,22 +23,5 @@ module Xmi
         map_attribute "width", to: :width
       end
     end
-
-    class Waypoint < Lutaml::Model::Serializable
-      attribute :type, ::Xmi::Type::XmiType
-      attribute :id, ::Xmi::Type::XmiId
-      attribute :x, :integer
-      attribute :y, :integer
-
-      xml do
-        root "waypoint"
-        namespace ::Xmi::Namespace::Omg::UmlDi
-
-        map_attribute "type", to: :type
-        map_attribute "id", to: :id
-        map_attribute "x", to: :x
-        map_attribute "y", to: :y
-      end
-    end
   end
 end

data/lib/xmi/uml/data_type.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:DataType">`. Classifier
+    # for type definitions (e.g. record shapes).
+    class DataType < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/default_value.rb

@@ -1,45 +1,18 @@
 # frozen_string_literal: true
 
+require_relative "value_specification"
+
 module Xmi
   module Uml
-    class DefaultValue < Lutaml::Model::Serializable
-      skip_reference_registration
-      attribute :type, ::Xmi::Type::XmiType
-      attribute :id, ::Xmi::Type::XmiId
+    # Default value wrapper. Semantically a ValueSpecification
+    # (UML 2.5 §9.8) — kept as a concrete subclass for backwards
+    # compatibility with code that constructs DefaultValue directly
+    # (e.g. the lutaml/ea transformer).
+    class DefaultValue < ValueSpecification
       attribute :value, :string
 
       xml do
         root "defaultValue"
-        namespace ::Xmi::Namespace::Omg::Uml
-
-        map_attribute "type", to: :type
-        map_attribute "id", to: :id
-        map_attribute "value", to: :value
-      end
-    end
-
-    class UpperValue < DefaultValue
-      skip_reference_registration
-
-      xml do
-        root "upperValue"
-        namespace ::Xmi::Namespace::Omg::Uml
-
-        map_attribute "type", to: :type
-        map_attribute "id", to: :id
-        map_attribute "value", to: :value
-      end
-    end
-
-    class LowerValue < DefaultValue
-      skip_reference_registration
-
-      xml do
-        root "lowerValue"
-        namespace ::Xmi::Namespace::Omg::Uml
-
-        map_attribute "type", to: :type
-        map_attribute "id", to: :id
         map_attribute "value", to: :value
       end
     end

data/lib/xmi/uml/dependency.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:Dependency">`. A relationship
+    # between a client and supplier packageable element.
+    #
+    # Phase A of TODO.next/01: subclass is a type tag on
+    # PackagedElement. The union-bag attribute set is inherited
+    # unchanged so existing consumers keep working. Phase B
+    # (narrowing attrs to the subclass) is future work.
+    class Dependency < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/enumeration.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:Enumeration">`. Named
+    # set of enumeration literals.
+    class Enumeration < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/extension.rb

@@ -0,0 +1,18 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:Extension">`. An extension
+    # associates a stereotype with a metaclass to make the stereotype
+    # applicable to instances of that metaclass (UML 2.5 §22.3).
+    #
+    # Phase A of TODO.next/01: subclass is a type tag on
+    # PackagedElement. The union-bag attribute set is inherited
+    # unchanged so existing consumers keep working. Phase B
+    # (narrowing attrs to the subclass) is future work.
+    class Extension < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/imported_package.rb

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+module Xmi
+  module Uml
+    class ImportedPackage < Lutaml::Model::Serializable
+      skip_reference_registration
+      attribute :href, :string
+
+      xml do
+        root "importedPackage"
+        namespace ::Xmi::Namespace::Omg::Uml
+
+        map_attribute "href", to: :href
+      end
+    end
+  end
+end

data/lib/xmi/uml/instance_specification.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:InstanceSpecification">`.
+    # A named instance of a classifier, carrying slot children that
+    # hold the instance's values for each defining feature.
+    class InstanceSpecification < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/interface.rb

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require_relative "packaged_element"
+
+module Xmi
+  module Uml
+    # UML `<packagedElement xmi:type="uml:Interface">`. Contract
+    # declaration carrying owned_operation children.
+    class Interface < PackagedElement
+    end
+  end
+end

data/lib/xmi/uml/interface_realization.rb

@@ -0,0 +1,26 @@
+# frozen_string_literal: true
+
+module Xmi
+  module Uml
+    # UML `<interfaceRealization>` element — a typed relationship
+    # between a Class and an Interface it implements. Distinct from
+    # the generic Realization element in Sparx XMI; using the typed
+    # element preserves the implementing-class ↔ Interface contract
+    # information that would otherwise be collapsed into a generic
+    # `packagedElement type="uml:Realization"`.
+    class InterfaceRealization < Base
+      attribute :name, :string
+      attribute :client, :string
+      attribute :supplier, :string
+      attribute :contract, :string
+
+      xml do
+        root "interfaceRealization"
+        map_attribute "name", to: :name
+        map_attribute "client", to: :client
+        map_attribute "supplier", to: :supplier
+        map_attribute "contract", to: :contract
+      end
+    end
+  end
+end

data/lib/xmi/uml/literal_boolean.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Xmi
+  module Uml
+    # UML 2.5 §9.8.2.7 — a literal boolean value specification.
+    class LiteralBoolean < ValueSpecification
+      attribute :value, :boolean
+
+      xml do
+        root "literalBoolean"
+        map_attribute "value", to: :value
+      end
+    end
+  end
+end

data/lib/xmi/uml/literal_integer.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module Xmi
+  module Uml
+    # UML 2.5 §9.8.2.6 — a literal integer value specification.
+    class LiteralInteger < ValueSpecification
+      attribute :value, :integer
+
+      xml do
+        root "literalInteger"
+        map_attribute "value", to: :value
+      end
+    end
+  end
+end