ST6RI-676 Transformed seq arg when adding indexing result subsetting.

- Also transformed connector in doCheckConnector validation, to make
sure the proper featuringType has been set.

Author: seidewitz

org.omg.kerml.xtext/src/org/omg/kerml/xtext/validation/KerMLValidator.xtend

@@ -453,6 +453,7 @@ class KerMLValidator extends AbstractKerMLValidator {
 	}
 
 	private def doCheckConnector(Connector c, Type location, EClass kind) {
+		ElementUtil.transform(c)
 		val cFeaturingTypes = c.featuringType
 
 		if (kind == SysMLPackage.Literals.FEATURE_MEMBERSHIP) {

org.omg.sysml/src/org/omg/sysml/adapter/OperatorExpressionAdapter.java

@@ -26,6 +26,7 @@
 import org.omg.sysml.lang.sysml.Feature;
 import org.omg.sysml.lang.sysml.OperatorExpression;
 import org.omg.sysml.lang.sysml.SysMLPackage;
+import org.omg.sysml.util.ElementUtil;
 import org.omg.sysml.util.ExpressionUtil;
 import org.omg.sysml.util.TypeUtil;
 
@@ -47,8 +48,10 @@ public void addIndexingResultSubsetting() {
 		if (INDEXING_OPERATOR.equals(target.getOperator())) {
 			EList<Expression> arguments = target.getArgument();
 			if (!arguments.isEmpty()) {
+				Expression seqArgument = arguments.get(0);
+				ElementUtil.transform(seqArgument);
+				Feature seqResult = seqArgument.getResult();
 				Feature resultFeature = target.getResult();
-				Feature seqResult = arguments.get(0).getResult();
 				if (resultFeature != null && seqResult != null)
 				TypeUtil.addImplicitGeneralTypeTo(resultFeature, SysMLPackage.eINSTANCE.getSubsetting(), seqResult);
 			}

sysml/src/examples/Geometry Examples/VehicleGeometryAndCoordinateFrames.sysml

@@ -54,7 +54,7 @@ package VehicleGeometryAndCoordinateFrames {
 		assert constraint {
 			(1..numberOfBolts)->forAll {
 				in i : Natural;
-				private attribute lbcf : CoordinateFrame = lugBolts#(i).coordinateFrame; 
+				private attribute lbcf = lugBolts#(i).coordinateFrame; 
 				private attribute trs : TranslationRotationSequence {
 					:>> source = wcf;
 					:>> target = lbcf;