Updated for latest code changes

- Also corrected org.modeldriven.alf.eclipse.papyrus.library.
integerfunctions.Divide to properly set the type of the return value.

Author: seidewitz

org.modeldriven.alf.eclipse.papyrus/src/org/modeldriven/alf/eclipse/papyrus/library/integerfunctions/Divide.java

@@ -9,6 +9,7 @@
 import org.eclipse.papyrus.moka.fuml.Semantics.CommonBehaviors.BasicBehaviors.OpaqueBehaviorExecution;
 import org.eclipse.papyrus.moka.fuml.Semantics.CommonBehaviors.BasicBehaviors.ParameterValue;
 import org.eclipse.papyrus.moka.fuml.debug.Debug;
+import org.eclipse.uml2.uml.PrimitiveType;
 import org.modeldriven.alf.eclipse.papyrus.library.LibraryFunctions;
 
 public class Divide extends OpaqueBehaviorExecution {
@@ -23,6 +24,7 @@ public void doBody(List<ParameterValue> inputParameters, List<ParameterValue> ou
 			} else {
 				RealValue result = new RealValue();
 				result.value = ((float)x)/((float)y);
+				result.type = (PrimitiveType) this.locus.factory.getBuiltInType("Real");
 				List<Value> outputs = new ArrayList<Value>();
 				outputs.add(result);
 				outputParameters.get(0).values = outputs;

org.modeldriven.alf.eclipse/UML/Expressions_Sequence_Construction.uml

@@ -39,7 +39,6 @@ class Expressions_Sequence_Construction specializes Test {
 	    AssertList("list1.at(2)", list1.at(2).toSequence(), any[]{"strawberry","raspberry"});
 
 	    AssertList("seq8", seq8, Real[]{1.0, 1.5, 2.0});
-	    AssertTrue("seq8 instanceof Real", seq8->forAll r (r instanceof Real));
 	    AssertEqual("n", n, 1);
 	    AssertTrue("test1", test1);
 	    AssertTrue("test2", test2);