ST6RI-901 Missing implicit specializations of objects/subobjects
This PR corrects missing implicit specializations of Objects::objects and Objects::Object::subobjects in certain cases for port usages and occurrence usages.
-
A nested composite port usage (i.e., a subport) explicitly typed by a port definition meets the criteria for
checkFeatureSubobjectSpecializationand, therefore, should have an implied subsetting ofObjects::Object::subobject. In particular,Ports::Port::subportsshould have this implied subsetting, so every subport should then satisfy the constraint automatically. (See also SYSML21-483.) -
An occurrence usage explicitly typed by a structure type (such as an item definition) meets the criteria for
checkFeatureObjectSpecialization(orcheckFeatureSubobjectSpecialization, if it is a subobject) and, therefore, should have an implied subsetting ofObjects::objects(orObjects::Object::subobjects).