This PR corrects the implicit redefinition of a RenderingUsage that is a view rendering of a ViewDefinition or ViewUsage (i.e., that is owned via a ViewRenderingMembership). Previously, the implemented gave a view rendering implicit redefinitions of the view renderings of any view definitions or usages specialized by the containing view definition or usage. This has now been changed to conform to the SysML v2 Specification, which requires that view rendering directly redefine Views::View::viewRendering.
The PR also corrects the checking of the validateViewDefinitionOnlyOneViewRendering and validateViewUsageOnlyOneViewRendering, so that a ViewDefinition or ViewUsage can have owned RedefinitionUsages other than its (at most) one view rendering.
RenderingUsage
that is a view rendering of aViewDefinition
orViewUsage
(i.e., that is owned via aViewRenderingMembership
). Previously, the implemented gave a view rendering implicit redefinitions of the view renderings of any view definitions or usages specialized by the containing view definition or usage. This has now been changed to conform to the SysML v2 Specification, which requires that view rendering directly redefineViews::View::viewRendering
.validateViewDefinitionOnlyOneViewRendering
andvalidateViewUsageOnlyOneViewRendering
, so that aViewDefinition
orViewUsage
can have ownedRedefinitionUsages
other than its (at most) one view rendering.