Skip to content

Comments

[1998] Add Implicit TypeFeaturing#2000

Open
adaussy wants to merge 1 commit intoeclipse-syson:mainfrom
adaussy:ada/fix/i1998
Open

[1998] Add Implicit TypeFeaturing#2000
adaussy wants to merge 1 commit intoeclipse-syson:mainfrom
adaussy:ada/fix/i1998

Conversation

@adaussy
Copy link
Contributor

@adaussy adaussy commented Feb 16, 2026

Bug: #1998

PLEASE READ ALL ITEMS AND CHECK ONLY RELEVANT CHECKBOXES BELOW

Auto review

  • Have you reviewed this PR? Please do a first quick review, It is very useful to detect typos and missing copyrights, check comments, check your code... The reviewer will thank you for that :)

Project management

  • Has the pull request been added to the relevant milestone?
  • Have the priority: and pr: labels been added to the pull request? (In case of doubt, start with the labels priority: low and pr: to review later)
  • Have the relevant issues been added to the pull request?
  • Have the relevant labels been added to the issues? (area:, type:)
  • Have the relevant issues been added to the same project milestone as the pull request?

Changelog and release notes

  • Has the CHANGELOG.adoc + doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc been updated to reference the relevant issues?
  • Have the relevant API breaks been described in the CHANGELOG.adoc?
  • Are the new / upgraded dependencies mentioned in the relevant section of the CHANGELOG.adoc?
  • In case of a change with a visual impact, are there any screenshots in the doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc?
  • In case of a key change, has the change been added to Key highlights section in doc/content/modules/user-manual/pages/release-notes/YYYY.MM.0.adoc?

Documentation

  • Have you included an update of the documentation in your pull request? Please ask yourself if an update (installation manual, user manual, developer manual...) is needed and add one accordingly.

Tests

  • Is the code properly tested? Any pull request (fix, enhancement or new feature) should come with a test (or several). It could be unit tests, integration tests or cypress tests depending on the context. Only doc and releng pull request do not need for tests.

Bug: eclipse-syson#1998
Signed-off-by: Arthur Daussy <arthur.daussy@obeo.fr>
implicitType.setDeclaredName(owningType.getDeclaredName() + "-SNAPSHOT");

// This virtual type should at some point redefine Occurrences::Occurrence::snapshots

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

useless empty line

implicitType = SysmlFactory.eINSTANCE.createFeature();
implicitType.setDeclaredName(owningType.getDeclaredName() + "-SNAPSHOT");

// This virtual type should at some point redefine Occurrences::Occurrence::snapshots
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

And where it is done? (note @gcoutable is working on an issue that is related to Occurrences::Occurrence::snapshots)

// isVariable = true. The checkFeatureFeatureMembershipTypeFeaturing constraint requires that such
// variable Features are featured by the snapshots of their owningType.
implicitType = SysmlFactory.eINSTANCE.createFeature();
implicitType.setDeclaredName(owningType.getDeclaredName() + "-SNAPSHOT");
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is "-SNAPSHOT" arbitrary suffix? If it is, could you please just mention it?

// KerML 7.3.2.6 “Feature Membership” – “A feature that is declared within the body of a type … automatically has that type as a featuring type.”
implicitType = owningType;
} else {
// KerML 8.4.4.3
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This comment seems not related with the code below.


* In _Validation_ view:

** Improve the computation to _featuringType_ on `Feature` to avoid getting the following validation error:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

computation to => computation of

For example `ViewUsage` elements are no longer rendered in _parts_ compartments.
- https://github.com/eclipse-syson/syson/issues/1981[#1981] [export] Fix an error during textual export where `Expose` elements with apostrophes in their name were not properly escaped.
- https://github.com/eclipse-syson/syson/issues/1983[#1983] [metamodel] `reqId` and `declaredShortName` properties of `RequirementDefinition` and `RequirementUsage` are now synchronized, as required by the SysMLv2 specification.
- https://github.com/eclipse-syson/syson/issues/1998[#1998] Missing implicit TypeFeaturing.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

missing category (please add one each time, you regularly forget to add one)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implicit TypeFeaturing possibly missing during textual import

2 participants