[Primary Feature Tested] targetType [Eclipse COSMOS Result] Invalid [Microsoft Result] Invalid Invalid InValidTargetTypeWithSubstitutionGroup (row 139) targetType\InValidWithSubstitutionGroup.xml Revision 1.12 CVS Log [Test Case Description] Let targetType='T' be specified for a GED E. Let SubE be another GED in the substitution group whose head element is E for which the targetType attribute is not specified. Then a model is invalid if an instance of SubE targets an element that is not an instance of T or an instance of some derived type of T.
Invalid
I n v a l i d
V a l i d