7.8.34: Make Packages First-class Citizens in Scope Delegation

[MKZaito]

Changelog

• Problem:
  • Standard resolution keeps the searched name unchanged while ascending scopes, only composing fully qualified names at the artifact boundary (Java-like resolution).
  • SysMLv2 models can nest packages as model elements. These internal packages define effective namespaces that were previously ignored during upward delegation.

Example Model:

package Wrapper{
    package A{
        part def B;
    }
    part def C : A::B;
}

• Solution:
  • Implemented package-aware symbol resolution where the resolver now recognizes when it leaves a package scope and qualifies the searched name with that package’s name (e.g., Wrapper.A.B). This ensures that the GlobalScope receives the necessary context for segment-wise resolution.