ST6RI-828 Cleared caches for inherited member distinguishability check.

- Avoids a possible spurious warning on the payload feature of a flow.

Author: seidewitz

kerml/src/examples/Behavior Examples/TakePicture.kerml

@@ -11,7 +11,7 @@ behavior TakePicture {
 	step step1: Focus[1];	
 	step step2: Shoot[1];
 
-	succession flow exposure[1] from step1.xrsl to step2.xsf;
+	succession flow exposure[1] of Exposure from step1.xrsl to step2.xsf;
 
 	succession step1 then camera.focusedState;
 	succession step2 then camera.shotState;

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

@@ -365,6 +365,7 @@ class KerMLValidator extends AbstractKerMLValidator {
 				checkDistinguishibility(mem, aliasMemberships, INVALID_NAMESPACE_DISTINGUISHABILITY_MSG_1)
 			}
 			if (namesp instanceof Type) {
+				ElementUtil.clearCachesOf(namesp)
 				val inheritedMemberships = namesp.inheritedMembership
 				for (mem: ownedMemberships) {
 					checkDistinguishibility(mem, inheritedMemberships, INVALID_NAMESPACE_DISTINGUISHABILITY_MSG_2)

sysml/src/examples/Camera Example/PictureTaking.sysml

@@ -6,7 +6,7 @@ package PictureTaking {
 
 	action takePicture {		
 		action focus: Focus[1];
-		flow focus.xrsl to shoot.xsf;
+		flow of Exposure from focus.xrsl to shoot.xsf;
 		action shoot: Shoot[1];
 	}
 }