Skip to content

Conversation

@seidewitz
Copy link
Member

This PR proactively implements a resolution to the following issue, even though it has not yet been voting on by the SysML 2.1 RTF.

  • SYSML21-311 Substates may potentially inherit "this" twice

This problem actually manifested itself in the Pilot Implementation such that substates always inherited to this features. The problem was resolved by updating the declaration of the redefinition of this in Actions::Action::subactions to explicitly redefine the inheritable feature from each of the types specialized by subactions:

action subactions: Action[0..*] :> actions, subperformances {
    ref occurrence :>> Action::this, actions::this, subperformances::this = (that as Action).this {
    ...
}

@seidewitz seidewitz added this to the 2025-06 milestone Jul 9, 2025
@seidewitz seidewitz self-assigned this Jul 9, 2025
@seidewitz seidewitz added the bug Something isn't working label Jul 9, 2025
@seidewitz seidewitz merged commit 04096d6 into master Jul 9, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants