plugins/org.eclipse.qvtd.pivot.qvtbase/emf-gen/org/eclipse/qvtd/pivot/qvtbase/impl/FunctionImpl.java - mmt/org.eclipse.qvtd - Git at Google

 /*******************************************************************************
  * Copyright (c) 2011, 2018 Willink Transformations and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v2.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v20.html
  *
  * Contributors:
  *     E.D.Willink - initial API and implementation
  *******************************************************************************/
 package org.eclipse.qvtd.pivot.qvtbase.impl;

 import java.lang.reflect.InvocationTargetException;
 import java.util.Map;

 import org.eclipse.emf.common.notify.Notification;
 import org.eclipse.emf.common.notify.NotificationChain;
 import org.eclipse.emf.common.util.DiagnosticChain;
 import org.eclipse.emf.common.util.EList;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.InternalEObject;
 import org.eclipse.emf.ecore.impl.ENotificationImpl;
 import org.eclipse.jdt.annotation.NonNull;
 import org.eclipse.jdt.annotation.Nullable;
 import org.eclipse.ocl.pivot.CompleteInheritance;
 import org.eclipse.ocl.pivot.LanguageExpression;
 import org.eclipse.ocl.pivot.OCLExpression;
 import org.eclipse.ocl.pivot.Parameter;
 import org.eclipse.ocl.pivot.StandardLibrary;
 import org.eclipse.ocl.pivot.Type;
 import org.eclipse.ocl.pivot.ids.TypeId;
 import org.eclipse.ocl.pivot.internal.ExpressionInOCLImpl;
 import org.eclipse.ocl.pivot.internal.OperationImpl;
 import org.eclipse.ocl.pivot.library.classifier.OclTypeConformsToOperation;
 import org.eclipse.ocl.pivot.library.oclany.OclAnyOclIsKindOfOperation;
 import org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation;
 import org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation;
 import org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation;
 import org.eclipse.ocl.pivot.messages.PivotMessages;
 import org.eclipse.ocl.pivot.util.Visitor;
 import org.eclipse.ocl.pivot.utilities.PivotUtil;
 import org.eclipse.ocl.pivot.utilities.ValueUtil;
 import org.eclipse.ocl.pivot.values.InvalidValueException;
 import org.eclipse.qvtd.pivot.qvtbase.Function;
 import org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage;
 import org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables;
 import org.eclipse.qvtd.pivot.qvtbase.util.QVTbaseVisitor;

 /**
  * <!-- begin-user-doc -->
  * An implementation of the model object '<em><b>Function</b></em>'.
  * <!-- end-user-doc -->
  * <p>
  * The following features are implemented:
  * </p>
  * <ul>
  *   <li>{@link org.eclipse.qvtd.pivot.qvtbase.impl.FunctionImpl#getQueryExpression <em>Query Expression</em>}</li>
  * </ul>
  *
  * @generated
  */
 public class FunctionImpl extends OperationImpl implements Function {

 	/**
 	 * The cached value of the '{@link #getQueryExpression() <em>Query Expression</em>}' containment reference.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getQueryExpression()
 	 * @generated
 	 * @ordered
 	 */
 	protected OCLExpression queryExpression;

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	protected FunctionImpl() {
 		super();
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	protected EClass eStaticClass() {
 		return QVTbasePackage.Literals.FUNCTION;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public OCLExpression getQueryExpression() {
 		return queryExpression;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public NotificationChain basicSetQueryExpression(OCLExpression newQueryExpression, NotificationChain msgs) {
 		OCLExpression oldQueryExpression = queryExpression;
 		queryExpression = newQueryExpression;
 		if (eNotificationRequired()) {
 			ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, QVTbasePackage.FUNCTION__QUERY_EXPRESSION, oldQueryExpression, newQueryExpression);
 			if (msgs == null) msgs = notification; else msgs.add(notification);
 		}
 		return msgs;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public void setQueryExpression(OCLExpression newQueryExpression) {
 		if (newQueryExpression != queryExpression) {
 			NotificationChain msgs = null;
 			if (queryExpression != null)
 				msgs = ((InternalEObject)queryExpression).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - QVTbasePackage.FUNCTION__QUERY_EXPRESSION, null, msgs);
 			if (newQueryExpression != null)
 				msgs = ((InternalEObject)newQueryExpression).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - QVTbasePackage.FUNCTION__QUERY_EXPRESSION, null, msgs);
 			msgs = basicSetQueryExpression(newQueryExpression, msgs);
 			if (msgs != null) msgs.dispatch();
 		}
 		else if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET, QVTbasePackage.FUNCTION__QUERY_EXPRESSION, newQueryExpression, newQueryExpression));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public boolean validateParametersAreFunctionParameter(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
 		try {
 			/**
 			 *
 			 * inv ParametersAreFunctionParameter:
 			 *   let
 			 *     severity : Integer[1] = 'Function::ParametersAreFunctionParameter'.getSeverity()
 			 *   in
 			 *     if severity <= 0
 			 *     then true
 			 *     else
 			 *       let
 			 *         result : Boolean[?] = ownedParameters->forAll(
 			 *           oclIsKindOf(FunctionParameter))
 			 *       in
 			 *         'Function::ParametersAreFunctionParameter'.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
 			 *     endif
 			 */
 			final /*@NonInvalid*/ org.eclipse.ocl.pivot.evaluation.@NonNull Executor executor = PivotUtil.getExecutor(this, context);
 			final /*@NonInvalid*/ org.eclipse.ocl.pivot.ids.@NonNull IdResolver idResolver = executor.getIdResolver();
 			final /*@NonInvalid*/ org.eclipse.ocl.pivot.values.@NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, QVTbaseTables.STR_Function_c_c_ParametersAreFunctionParameter);
 			final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, QVTbaseTables.INT_0).booleanValue();
 			/*@NonInvalid*/ boolean symbol_0;
 			if (le) {
 				symbol_0 = ValueUtil.TRUE_VALUE;
 			}
 			else {
 				final /*@NonInvalid*/ java.util.@NonNull List<Parameter> ownedParameters = this.getOwnedParameters();
 				final /*@NonInvalid*/ org.eclipse.ocl.pivot.values.@NonNull OrderedSetValue BOXED_ownedParameters = idResolver.createOrderedSetOfAll(QVTbaseTables.ORD_CLSSid_Parameter, ownedParameters);
 				/*@Thrown*/ @Nullable Object accumulator = ValueUtil.TRUE_VALUE;
 				java.util.@NonNull Iterator<Object> ITERATOR__1 = BOXED_ownedParameters.iterator();
 				/*@NonInvalid*/ java.lang.@Nullable Boolean result;
 				while (true) {
 					if (!ITERATOR__1.hasNext()) {
 						if (accumulator == ValueUtil.TRUE_VALUE) {
 							result = ValueUtil.TRUE_VALUE;
 						}
 						else {
 							throw (InvalidValueException)accumulator;
 						}
 						break;
 					}
 					@SuppressWarnings("null")
 					/*@NonInvalid*/ org.eclipse.ocl.pivot.@NonNull Parameter _1 = (org.eclipse.ocl.pivot.@NonNull Parameter)ITERATOR__1.next();
 					/**
 					 * oclIsKindOf(FunctionParameter)
 					 */
 					final /*@NonInvalid*/ org.eclipse.ocl.pivot.@NonNull Class TYP_qvtbase_c_c_FunctionParameter = idResolver.getClass(QVTbaseTables.CLSSid_FunctionParameter, null);
 					final /*@NonInvalid*/ boolean oclIsKindOf = OclAnyOclIsKindOfOperation.INSTANCE.evaluate(executor, _1, TYP_qvtbase_c_c_FunctionParameter).booleanValue();
 					//
 					if (oclIsKindOf == ValueUtil.FALSE_VALUE) {					// Normal unsuccessful body evaluation result
 						result = ValueUtil.FALSE_VALUE;
 						break;														// Stop immediately
 					}
 					else if (oclIsKindOf == ValueUtil.TRUE_VALUE) {				// Normal successful body evaluation result
 						;															// Carry on
 					}
 					else {															// Impossible badly typed result
 						accumulator = new InvalidValueException(PivotMessages.NonBooleanBody, "forAll");
 					}
 				}
 				final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, QVTbaseTables.STR_Function_c_c_ParametersAreFunctionParameter, this, (Object)null, diagnostics, context, (Object)null, severity_0, result, QVTbaseTables.INT_0).booleanValue();
 				symbol_0 = logDiagnostic;
 			}
 			return Boolean.TRUE == symbol_0;
 		}
 		catch (Throwable e) {
 			return ValueUtil.validationFailedDiagnostic("Function::ParametersAreFunctionParameter", this, diagnostics, context, e);
 		}
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public boolean validateReturnTypeIsQueryType(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
 		try {
 			/**
 			 *
 			 * inv ReturnTypeIsQueryType:
 			 *   let severity : Integer[1] = 'Function::ReturnTypeIsQueryType'.getSeverity()
 			 *   in
 			 *     if severity <= 0
 			 *     then true
 			 *     else
 			 *       let result : Boolean[?] = queryExpression <> null implies
 			 *         queryExpression.type.conformsTo(type)
 			 *       in
 			 *         'Function::ReturnTypeIsQueryType'.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
 			 *     endif
 			 */
 			final /*@NonInvalid*/ org.eclipse.ocl.pivot.evaluation.@NonNull Executor executor = PivotUtil.getExecutor(this, context);
 			final /*@NonInvalid*/ org.eclipse.ocl.pivot.values.@NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, QVTbaseTables.STR_Function_c_c_ReturnTypeIsQueryType);
 			final /*@NonInvalid*/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, QVTbaseTables.INT_0).booleanValue();
 			/*@NonInvalid*/ boolean symbol_0;
 			if (le) {
 				symbol_0 = ValueUtil.TRUE_VALUE;
 			}
 			else {
 				/*@Caught*/ @NonNull Object CAUGHT_result;
 				try {
 					final /*@NonInvalid*/ org.eclipse.ocl.pivot.@Nullable OCLExpression queryExpression = this.getQueryExpression();
 					final /*@NonInvalid*/ boolean ne = queryExpression != null;
 					/*@Thrown*/ boolean result;
 					if (ne) {
 						if (queryExpression == null) {
 							throw new InvalidValueException("Null source for \'TypedElement::type\'");
 						}
 						final /*@Thrown*/ org.eclipse.ocl.pivot.@Nullable Type type = queryExpression.getType();
 						final /*@NonInvalid*/ org.eclipse.ocl.pivot.@Nullable Type type_0 = this.getType();
 						final /*@Thrown*/ boolean conformsTo = OclTypeConformsToOperation.INSTANCE.evaluate(executor, type, type_0).booleanValue();
 						result = conformsTo;
 					}
 					else {
 						result = ValueUtil.TRUE_VALUE;
 					}
 					CAUGHT_result = result;
 				}
 				catch (Exception e) {
 					CAUGHT_result = ValueUtil.createInvalidValue(e);
 				}
 				final /*@NonInvalid*/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, QVTbaseTables.STR_Function_c_c_ReturnTypeIsQueryType, this, (Object)null, diagnostics, context, (Object)null, severity_0, CAUGHT_result, QVTbaseTables.INT_0).booleanValue();
 				symbol_0 = logDiagnostic;
 			}
 			return Boolean.TRUE == symbol_0;
 		}
 		catch (Throwable e) {
 			return ValueUtil.validationFailedDiagnostic("Function::ReturnTypeIsQueryType", this, diagnostics, context, e);
 		}
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
 		switch (featureID) {
 			case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
 				return basicSetQueryExpression(null, msgs);
 		}
 		return super.eInverseRemove(otherEnd, featureID, msgs);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public Object eGet(int featureID, boolean resolve, boolean coreType) {
 		switch (featureID) {
 			case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
 				return getQueryExpression();
 		}
 		return super.eGet(featureID, resolve, coreType);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public void eSet(int featureID, Object newValue) {
 		switch (featureID) {
 			case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
 				setQueryExpression((OCLExpression)newValue);
 				return;
 		}
 		super.eSet(featureID, newValue);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public void eUnset(int featureID) {
 		switch (featureID) {
 			case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
 				setQueryExpression((OCLExpression)null);
 				return;
 		}
 		super.eUnset(featureID);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public boolean eIsSet(int featureID) {
 		switch (featureID) {
 			case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
 				return queryExpression != null;
 		}
 		return super.eIsSet(featureID);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	@SuppressWarnings("unchecked")
 	public Object eInvoke(int operationID, EList<?> arguments) throws InvocationTargetException {
 		switch (operationID) {
 			case QVTbasePackage.FUNCTION___VALIDATE_PARAMETERS_ARE_FUNCTION_PARAMETER__DIAGNOSTICCHAIN_MAP:
 				return validateParametersAreFunctionParameter((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
 			case QVTbasePackage.FUNCTION___VALIDATE_RETURN_TYPE_IS_QUERY_TYPE__DIAGNOSTICCHAIN_MAP:
 				return validateReturnTypeIsQueryType((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
 		}
 		return super.eInvoke(operationID, arguments);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@SuppressWarnings("unchecked")
 	@Override
 	public <R> R accept(@NonNull Visitor<R> visitor) {
 		return (R) ((QVTbaseVisitor<?>)visitor).visitFunction(this);
 	}

 	@Override
 	public @Nullable CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary) {
 		return null;
 	}

 	private final class Function_Body_481664 extends ExpressionInOCLImpl			// FIXME Bug 481664 workaround
 	{
 		@Override
 		public OCLExpression getOwnedBody() {
 			return getQueryExpression();
 		}

 		@Override
 		public Type getType() {
 			OCLExpression queryExpression = getQueryExpression();
 			return queryExpression != null ? queryExpression.getType() : null;
 		}
 	}

 	@Override
 	public LanguageExpression getBodyExpression() {			// FIXME Bug 481664 workaround
 		return new Function_Body_481664();
 	}

 	@Override
 	public void setBodyExpression(LanguageExpression newBodyExpression) {		// FIXME Bug 481664 workaround
 		if (newBodyExpression.getClass() != Function_Body_481664.class) {
 			throw new UnsupportedOperationException();
 		}
 	}
 } //FunctionImpl
	/*******************************************************************************
	* Copyright (c) 2011, 2018 Willink Transformations and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v2.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v20.html
	*
	* Contributors:
	* E.D.Willink - initial API and implementation
	*******************************************************************************/
	package org.eclipse.qvtd.pivot.qvtbase.impl;

	import java.lang.reflect.InvocationTargetException;
	import java.util.Map;

	import org.eclipse.emf.common.notify.Notification;
	import org.eclipse.emf.common.notify.NotificationChain;
	import org.eclipse.emf.common.util.DiagnosticChain;
	import org.eclipse.emf.common.util.EList;
	import org.eclipse.emf.ecore.EClass;
	import org.eclipse.emf.ecore.InternalEObject;
	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	import org.eclipse.jdt.annotation.NonNull;
	import org.eclipse.jdt.annotation.Nullable;
	import org.eclipse.ocl.pivot.CompleteInheritance;
	import org.eclipse.ocl.pivot.LanguageExpression;
	import org.eclipse.ocl.pivot.OCLExpression;
	import org.eclipse.ocl.pivot.Parameter;
	import org.eclipse.ocl.pivot.StandardLibrary;
	import org.eclipse.ocl.pivot.Type;
	import org.eclipse.ocl.pivot.ids.TypeId;
	import org.eclipse.ocl.pivot.internal.ExpressionInOCLImpl;
	import org.eclipse.ocl.pivot.internal.OperationImpl;
	import org.eclipse.ocl.pivot.library.classifier.OclTypeConformsToOperation;
	import org.eclipse.ocl.pivot.library.oclany.OclAnyOclIsKindOfOperation;
	import org.eclipse.ocl.pivot.library.oclany.OclComparableLessThanEqualOperation;
	import org.eclipse.ocl.pivot.library.string.CGStringGetSeverityOperation;
	import org.eclipse.ocl.pivot.library.string.CGStringLogDiagnosticOperation;
	import org.eclipse.ocl.pivot.messages.PivotMessages;
	import org.eclipse.ocl.pivot.util.Visitor;
	import org.eclipse.ocl.pivot.utilities.PivotUtil;
	import org.eclipse.ocl.pivot.utilities.ValueUtil;
	import org.eclipse.ocl.pivot.values.InvalidValueException;
	import org.eclipse.qvtd.pivot.qvtbase.Function;
	import org.eclipse.qvtd.pivot.qvtbase.QVTbasePackage;
	import org.eclipse.qvtd.pivot.qvtbase.QVTbaseTables;
	import org.eclipse.qvtd.pivot.qvtbase.util.QVTbaseVisitor;

	/**
	* <!-- begin-user-doc -->
	* An implementation of the model object '<em><b>Function</b></em>'.
	* <!-- end-user-doc -->
	* <p>
	* The following features are implemented:
	* </p>
	* <ul>
	* <li>{@link org.eclipse.qvtd.pivot.qvtbase.impl.FunctionImpl#getQueryExpression <em>Query Expression</em>}</li>
	* </ul>
	*
	* @generated
	*/
	public class FunctionImpl extends OperationImpl implements Function {

	/**
	* The cached value of the '{@link #getQueryExpression() <em>Query Expression</em>}' containment reference.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getQueryExpression()
	* @generated
	* @ordered
	*/
	protected OCLExpression queryExpression;

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	protected FunctionImpl() {
	super();
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	protected EClass eStaticClass() {
	return QVTbasePackage.Literals.FUNCTION;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public OCLExpression getQueryExpression() {
	return queryExpression;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public NotificationChain basicSetQueryExpression(OCLExpression newQueryExpression, NotificationChain msgs) {
	OCLExpression oldQueryExpression = queryExpression;
	queryExpression = newQueryExpression;
	if (eNotificationRequired()) {
	ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, QVTbasePackage.FUNCTION__QUERY_EXPRESSION, oldQueryExpression, newQueryExpression);
	if (msgs == null) msgs = notification; else msgs.add(notification);
	}
	return msgs;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public void setQueryExpression(OCLExpression newQueryExpression) {
	if (newQueryExpression != queryExpression) {
	NotificationChain msgs = null;
	if (queryExpression != null)
	msgs = ((InternalEObject)queryExpression).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - QVTbasePackage.FUNCTION__QUERY_EXPRESSION, null, msgs);
	if (newQueryExpression != null)
	msgs = ((InternalEObject)newQueryExpression).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - QVTbasePackage.FUNCTION__QUERY_EXPRESSION, null, msgs);
	msgs = basicSetQueryExpression(newQueryExpression, msgs);
	if (msgs != null) msgs.dispatch();
	}
	else if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET, QVTbasePackage.FUNCTION__QUERY_EXPRESSION, newQueryExpression, newQueryExpression));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public boolean validateParametersAreFunctionParameter(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
	try {
	/**
	*
	* inv ParametersAreFunctionParameter:
	* let
	* severity : Integer[1] = 'Function::ParametersAreFunctionParameter'.getSeverity()
	* in
	* if severity <= 0
	* then true
	* else
	* let
	* result : Boolean[?] = ownedParameters->forAll(
	* oclIsKindOf(FunctionParameter))
	* in
	* 'Function::ParametersAreFunctionParameter'.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
	* endif
	*/
	final /@NonInvalid/ org.eclipse.ocl.pivot.evaluation.@NonNull Executor executor = PivotUtil.getExecutor(this, context);
	final /@NonInvalid/ org.eclipse.ocl.pivot.ids.@NonNull IdResolver idResolver = executor.getIdResolver();
	final /@NonInvalid/ org.eclipse.ocl.pivot.values.@NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, QVTbaseTables.STR_Function_c_c_ParametersAreFunctionParameter);
	final /@NonInvalid/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, QVTbaseTables.INT_0).booleanValue();
	/@NonInvalid/ boolean symbol_0;
	if (le) {
	symbol_0 = ValueUtil.TRUE_VALUE;
	}
	else {
	final /@NonInvalid/ java.util.@NonNull List<Parameter> ownedParameters = this.getOwnedParameters();
	final /@NonInvalid/ org.eclipse.ocl.pivot.values.@NonNull OrderedSetValue BOXED_ownedParameters = idResolver.createOrderedSetOfAll(QVTbaseTables.ORD_CLSSid_Parameter, ownedParameters);
	/@Thrown/ @Nullable Object accumulator = ValueUtil.TRUE_VALUE;
	java.util.@NonNull Iterator<Object> ITERATOR__1 = BOXED_ownedParameters.iterator();
	/@NonInvalid/ java.lang.@Nullable Boolean result;
	while (true) {
	if (!ITERATOR__1.hasNext()) {
	if (accumulator == ValueUtil.TRUE_VALUE) {
	result = ValueUtil.TRUE_VALUE;
	}
	else {
	throw (InvalidValueException)accumulator;
	}
	break;
	}
	@SuppressWarnings("null")
	/@NonInvalid/ org.eclipse.ocl.pivot.@NonNull Parameter _1 = (org.eclipse.ocl.pivot.@NonNull Parameter)ITERATOR__1.next();
	/**
	* oclIsKindOf(FunctionParameter)
	*/
	final /@NonInvalid/ org.eclipse.ocl.pivot.@NonNull Class TYP_qvtbase_c_c_FunctionParameter = idResolver.getClass(QVTbaseTables.CLSSid_FunctionParameter, null);
	final /@NonInvalid/ boolean oclIsKindOf = OclAnyOclIsKindOfOperation.INSTANCE.evaluate(executor, _1, TYP_qvtbase_c_c_FunctionParameter).booleanValue();
	//
	if (oclIsKindOf == ValueUtil.FALSE_VALUE) { // Normal unsuccessful body evaluation result
	result = ValueUtil.FALSE_VALUE;
	break; // Stop immediately
	}
	else if (oclIsKindOf == ValueUtil.TRUE_VALUE) { // Normal successful body evaluation result
	; // Carry on
	}
	else { // Impossible badly typed result
	accumulator = new InvalidValueException(PivotMessages.NonBooleanBody, "forAll");
	}
	}
	final /@NonInvalid/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, QVTbaseTables.STR_Function_c_c_ParametersAreFunctionParameter, this, (Object)null, diagnostics, context, (Object)null, severity_0, result, QVTbaseTables.INT_0).booleanValue();
	symbol_0 = logDiagnostic;
	}
	return Boolean.TRUE == symbol_0;
	}
	catch (Throwable e) {
	return ValueUtil.validationFailedDiagnostic("Function::ParametersAreFunctionParameter", this, diagnostics, context, e);
	}
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public boolean validateReturnTypeIsQueryType(final DiagnosticChain diagnostics, final Map<Object, Object> context) {
	try {
	/**
	*
	* inv ReturnTypeIsQueryType:
	* let severity : Integer[1] = 'Function::ReturnTypeIsQueryType'.getSeverity()
	* in
	* if severity <= 0
	* then true
	* else
	* let result : Boolean[?] = queryExpression <> null implies
	* queryExpression.type.conformsTo(type)
	* in
	* 'Function::ReturnTypeIsQueryType'.logDiagnostic(self, null, diagnostics, context, null, severity, result, 0)
	* endif
	*/
	final /@NonInvalid/ org.eclipse.ocl.pivot.evaluation.@NonNull Executor executor = PivotUtil.getExecutor(this, context);
	final /@NonInvalid/ org.eclipse.ocl.pivot.values.@NonNull IntegerValue severity_0 = CGStringGetSeverityOperation.INSTANCE.evaluate(executor, QVTbaseTables.STR_Function_c_c_ReturnTypeIsQueryType);
	final /@NonInvalid/ boolean le = OclComparableLessThanEqualOperation.INSTANCE.evaluate(executor, severity_0, QVTbaseTables.INT_0).booleanValue();
	/@NonInvalid/ boolean symbol_0;
	if (le) {
	symbol_0 = ValueUtil.TRUE_VALUE;
	}
	else {
	/@Caught/ @NonNull Object CAUGHT_result;
	try {
	final /@NonInvalid/ org.eclipse.ocl.pivot.@Nullable OCLExpression queryExpression = this.getQueryExpression();
	final /@NonInvalid/ boolean ne = queryExpression != null;
	/@Thrown/ boolean result;
	if (ne) {
	if (queryExpression == null) {
	throw new InvalidValueException("Null source for \'TypedElement::type\'");
	}
	final /@Thrown/ org.eclipse.ocl.pivot.@Nullable Type type = queryExpression.getType();
	final /@NonInvalid/ org.eclipse.ocl.pivot.@Nullable Type type_0 = this.getType();
	final /@Thrown/ boolean conformsTo = OclTypeConformsToOperation.INSTANCE.evaluate(executor, type, type_0).booleanValue();
	result = conformsTo;
	}
	else {
	result = ValueUtil.TRUE_VALUE;
	}
	CAUGHT_result = result;
	}
	catch (Exception e) {
	CAUGHT_result = ValueUtil.createInvalidValue(e);
	}
	final /@NonInvalid/ boolean logDiagnostic = CGStringLogDiagnosticOperation.INSTANCE.evaluate(executor, TypeId.BOOLEAN, QVTbaseTables.STR_Function_c_c_ReturnTypeIsQueryType, this, (Object)null, diagnostics, context, (Object)null, severity_0, CAUGHT_result, QVTbaseTables.INT_0).booleanValue();
	symbol_0 = logDiagnostic;
	}
	return Boolean.TRUE == symbol_0;
	}
	catch (Throwable e) {
	return ValueUtil.validationFailedDiagnostic("Function::ReturnTypeIsQueryType", this, diagnostics, context, e);
	}
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
	switch (featureID) {
	case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
	return basicSetQueryExpression(null, msgs);
	}
	return super.eInverseRemove(otherEnd, featureID, msgs);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public Object eGet(int featureID, boolean resolve, boolean coreType) {
	switch (featureID) {
	case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
	return getQueryExpression();
	}
	return super.eGet(featureID, resolve, coreType);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public void eSet(int featureID, Object newValue) {
	switch (featureID) {
	case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
	setQueryExpression((OCLExpression)newValue);
	return;
	}
	super.eSet(featureID, newValue);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public void eUnset(int featureID) {
	switch (featureID) {
	case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
	setQueryExpression((OCLExpression)null);
	return;
	}
	super.eUnset(featureID);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public boolean eIsSet(int featureID) {
	switch (featureID) {
	case QVTbasePackage.FUNCTION__QUERY_EXPRESSION:
	return queryExpression != null;
	}
	return super.eIsSet(featureID);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	@SuppressWarnings("unchecked")
	public Object eInvoke(int operationID, EList<?> arguments) throws InvocationTargetException {
	switch (operationID) {
	case QVTbasePackage.FUNCTION___VALIDATE_PARAMETERS_ARE_FUNCTION_PARAMETER__DIAGNOSTICCHAIN_MAP:
	return validateParametersAreFunctionParameter((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
	case QVTbasePackage.FUNCTION___VALIDATE_RETURN_TYPE_IS_QUERY_TYPE__DIAGNOSTICCHAIN_MAP:
	return validateReturnTypeIsQueryType((DiagnosticChain)arguments.get(0), (Map<Object, Object>)arguments.get(1));
	}
	return super.eInvoke(operationID, arguments);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@SuppressWarnings("unchecked")
	@Override
	public <R> R accept(@NonNull Visitor<R> visitor) {
	return (R) ((QVTbaseVisitor<?>)visitor).visitFunction(this);
	}

	@Override
	public @Nullable CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary) {
	return null;
	}

	private final class Function_Body_481664 extends ExpressionInOCLImpl // FIXME Bug 481664 workaround
	{
	@Override
	public OCLExpression getOwnedBody() {
	return getQueryExpression();
	}

	@Override
	public Type getType() {
	OCLExpression queryExpression = getQueryExpression();
	return queryExpression != null ? queryExpression.getType() : null;
	}
	}

	@Override
	public LanguageExpression getBodyExpression() { // FIXME Bug 481664 workaround
	return new Function_Body_481664();
	}

	@Override
	public void setBodyExpression(LanguageExpression newBodyExpression) { // FIXME Bug 481664 workaround
	if (newBodyExpression.getClass() != Function_Body_481664.class) {
	throw new UnsupportedOperationException();
	}
	}
	} //FunctionImpl