ST6RI-888 Added tests that fail due to owned cross feature typing bug.

Author: seidewitz

kerml/src/examples/Simple Tests/Associations.kerml

@@ -11,4 +11,12 @@ package Associations {
 		end x1;
 		end [0..*] feature y1 redefines y;
 	}
+	
+	metaclass M;	
+	assoc XY {
+		end [0..1] feature x : X {
+			@M;
+		}
+		end feature y : Y;
+	}
 }

org.omg.kerml.xpect.tests/src/org/omg/kerml/xpect/tests/parsing/ParsingTests_Associations.kerml.xt

@@ -0,0 +1,52 @@
+//* 
+XPECT_SETUP org.omg.kerml.xpect.tests.parsing.KerMLParsingTest
+	ResourceSet {
+		ThisFile {}
+		File {from ="/library/Base.kerml"}
+		File {from ="/library/Links.kerml"}
+		File {from ="/library/Occurrences.kerml"}
+        File {from ="/library/Performances.kerml"}
+        File {from ="/library/Objects.kerml"}
+        File {from ="/library/Metaobjects.kerml"}
+	}
+	Workspace {
+		JavaProject {
+			SrcFolder {
+				ThisFile {}
+				File {from ="/library/Base.kerml"}
+				File {from ="/library/Links.kerml"}
+				File {from ="/library/Occurrences.kerml"}
+				File {from ="/library/Performances.kerml"}
+				File {from ="/library/Objects.kerml"}
+                File {from ="/library/Metaobjects.kerml"}
+			}
+		}
+	}
+END_SETUP 
+*/
+
+// XPECT noErrors ---> ""
+package Associations {
+    datatype X;
+    class Y;
+    
+    assoc A {
+        end x_cross [1..1] feature x : X; 
+        end y_cross [1..*] feature y : Y;
+    }
+    
+    assoc B specializes A {
+        end x1;
+        end [0..*] feature y1 redefines y;
+    }
+    
+    metaclass M;    
+    assoc XY {
+        // Ensure that the owned cross feature is typed correctly,
+        // even though getting type of end feature requires resolving
+        // metadata nam to check if it is SemanticMetadata, which 
+        // requires getting supertypes of end feature, including its types.
+        end [0..1] #M feature x : X;
+        end [0..1] #M feature y : Y;
+    }
+}

sysml/src/examples/Simple Tests/ConnectionTest.sysml

@@ -39,7 +39,7 @@ package ConnectionTest {
 
 	connection {
 		part q;
-		end [2] ref end1 ::> d1 :> q;
+		end ref end1 ::> d1 :> q;
 		end end2 ::> d2;
 	}
 
@@ -54,7 +54,11 @@ package ConnectionTest {
 	part def B;
 
 	connection def AB {
-	    end a : A;
-	    end b : B crosses a.b;
+	    end [1] item a : A {
+	    	@M;
+	    }
+	    end b : B;
 	}
+	
+	metadata def M;
 }