Issue #5 - Simplified superInvocationExpressionOperation check.

- Now that overloading is implemented, only need to check that referent
is non-null.

Author: seidewitz

org.modeldriven.alf/src/org/modeldriven/alf/execution/AlfBase.java

@@ -24,7 +24,7 @@
 
 public abstract class AlfBase {
 
-    public static final String ALF_VERSION = "0.6.0e";
+    public static final String ALF_VERSION = "0.6.0f";
 
     protected boolean isVerbose = false;
 

org.modeldriven.alf/src/org/modeldriven/alf/syntax/expressions/impl/SuperInvocationExpressionImpl.java

@@ -1,6 +1,6 @@
 
 /*******************************************************************************
- * Copyright 2011, 2012 Data Access Technologies, Inc. (Model Driven Solutions)
+ * Copyright 2011-2016 Data Access Technologies, Inc. (Model Driven Solutions)
  * All rights reserved worldwide. This program and the accompanying materials
  * are made available for use under the terms of the GNU General Public License 
  * (GPL) version 3 that accompanies this distribution and is available at 
@@ -237,31 +237,7 @@ public boolean superInvocationExpressionDestructorCall() {
 	 * resolution rules.
 	 **/
 	public boolean superInvocationExpressionOperation() {
-		// return this.getSelf().getReferent() != null;
-	    SuperInvocationExpression self = this.getSelf();
-        if (self.getReferent() == null) {
-            return false;
-        } else {
-            // TODO: Remove this check once overloading resolution is implemented.
-            Tuple tuple = self.getTuple();
-            if (tuple == null || 
-                    tuple.getImpl().size() > this.parameterCount()) {
-                return false;
-            } else {
-                this.getAssignmentAfterMap(); // Force computation of assignments.
-                for (NamedExpression input: tuple.getInput()) {
-                    if (!this.parameterIsAssignableFrom(input)) {
-                       return false;
-                    }
-                }
-                for (NamedExpression output: tuple.getOutput()) {
-                    if (!this.parameterIsAssignableTo(output)) {
-                        return false;
-                    }
-                }
-            }
-            return true;
-        }
+		return this.getSelf().getReferent() != null;
 	}
 
 	/*