plugins/org.eclipse.ocl.ecore/src/org/eclipse/ocl/ecore/impl/CollectionTypeImpl.java - ocl/org.eclipse.ocl - Git at Google

 /*******************************************************************************
  * Copyright (c) 2006, 2018 IBM Corporation, Zeligsoft Inc. 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:
  *   IBM - Initial API and implementation
  *   Zeligsoft - Bugs 248869, 207365
  *******************************************************************************/
 package org.eclipse.ocl.ecore.impl;

 import java.util.Collection;
 import java.util.Map;

 import org.eclipse.emf.common.notify.Notification;
 import org.eclipse.emf.common.util.BasicEList;
 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.EClassifier;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.emf.ecore.EOperation;
 import org.eclipse.emf.ecore.InternalEObject;
 import org.eclipse.emf.ecore.impl.EDataTypeImpl;
 import org.eclipse.emf.ecore.impl.ENotificationImpl;
 import org.eclipse.ocl.ecore.CollectionType;
 import org.eclipse.ocl.ecore.EcorePackage;
 import org.eclipse.ocl.ecore.internal.OCLStandardLibraryImpl;
 import org.eclipse.ocl.expressions.CollectionKind;
 import org.eclipse.ocl.types.BagType;
 import org.eclipse.ocl.types.OrderedSetType;
 import org.eclipse.ocl.types.SequenceType;
 import org.eclipse.ocl.types.SetType;
 import org.eclipse.ocl.types.TypesPackage;
 import org.eclipse.ocl.types.operations.CollectionTypeOperations;
 import org.eclipse.ocl.utilities.ASTNode;
 import org.eclipse.ocl.utilities.PredefinedType;
 import org.eclipse.ocl.utilities.TypedASTNode;
 import org.eclipse.ocl.utilities.UtilitiesPackage;

 /**
  * <!-- begin-user-doc -->
  * An implementation of the model object '<em><b>Collection Type</b></em>'.
  * <!-- end-user-doc -->
  * <p>
  * The following features are implemented:
  * </p>
  * <ul>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getStartPosition <em>Start Position</em>}</li>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getEndPosition <em>End Position</em>}</li>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getTypeStartPosition <em>Type Start Position</em>}</li>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getTypeEndPosition <em>Type End Position</em>}</li>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getElementType <em>Element Type</em>}</li>
  *   <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getKind <em>Kind</em>}</li>
  * </ul>
  *
  * @generated
  */
 public class CollectionTypeImpl
 		extends EDataTypeImpl
 		implements CollectionType {

 	/**
 	 * The default value of the '{@link #getStartPosition() <em>Start Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getStartPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected static final int START_POSITION_EDEFAULT = -1;

 	/**
 	 * The cached value of the '{@link #getStartPosition() <em>Start Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getStartPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected int startPosition = START_POSITION_EDEFAULT;

 	/**
 	 * The default value of the '{@link #getEndPosition() <em>End Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getEndPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected static final int END_POSITION_EDEFAULT = -1;

 	/**
 	 * The cached value of the '{@link #getEndPosition() <em>End Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getEndPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected int endPosition = END_POSITION_EDEFAULT;

 	/**
 	 * The default value of the '{@link #getTypeStartPosition() <em>Type Start Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getTypeStartPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected static final int TYPE_START_POSITION_EDEFAULT = -1;

 	/**
 	 * The cached value of the '{@link #getTypeStartPosition() <em>Type Start Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getTypeStartPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected int typeStartPosition = TYPE_START_POSITION_EDEFAULT;

 	/**
 	 * The default value of the '{@link #getTypeEndPosition() <em>Type End Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getTypeEndPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected static final int TYPE_END_POSITION_EDEFAULT = -1;

 	/**
 	 * The cached value of the '{@link #getTypeEndPosition() <em>Type End Position</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getTypeEndPosition()
 	 * @generated
 	 * @ordered
 	 */
 	protected int typeEndPosition = TYPE_END_POSITION_EDEFAULT;

 	/**
 	 * The cached value of the '{@link #getElementType() <em>Element Type</em>}' reference.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getElementType()
 	 * @generated
 	 * @ordered
 	 */
 	protected EClassifier elementType;

 	/**
 	 * The default value of the '{@link #getKind() <em>Kind</em>}' attribute.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @see #getKind()
 	 * @generated
 	 * @ordered
 	 */
 	protected static final CollectionKind KIND_EDEFAULT = CollectionKind.SET_LITERAL;

 	private EList<EOperation> operations;

 	private EList<EOperation> iterators;

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	protected CollectionTypeImpl() {
 		super();
 		setInstanceClass(Collection.class);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	protected CollectionTypeImpl(EClassifier elementType) {
 		this();

 		this.elementType = elementType;
 	}

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

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public int getStartPosition() {
 		return startPosition;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public void setStartPosition(int newStartPosition) {
 		int oldStartPosition = startPosition;
 		startPosition = newStartPosition;
 		if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET,
 				EcorePackage.COLLECTION_TYPE__START_POSITION, oldStartPosition,
 				startPosition));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public int getEndPosition() {
 		return endPosition;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public void setEndPosition(int newEndPosition) {
 		int oldEndPosition = endPosition;
 		endPosition = newEndPosition;
 		if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET,
 				EcorePackage.COLLECTION_TYPE__END_POSITION, oldEndPosition,
 				endPosition));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public int getTypeStartPosition() {
 		return typeStartPosition;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public void setTypeStartPosition(int newTypeStartPosition) {
 		int oldTypeStartPosition = typeStartPosition;
 		typeStartPosition = newTypeStartPosition;
 		if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET,
 				EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION,
 				oldTypeStartPosition, typeStartPosition));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public int getTypeEndPosition() {
 		return typeEndPosition;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public void setTypeEndPosition(int newTypeEndPosition) {
 		int oldTypeEndPosition = typeEndPosition;
 		typeEndPosition = newTypeEndPosition;
 		if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET,
 				EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION,
 				oldTypeEndPosition, typeEndPosition));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public EClassifier getElementType() {
 		if (elementType != null && ((EObject) elementType).eIsProxy()) {
 			InternalEObject oldElementType = (InternalEObject) elementType;
 			elementType = (EClassifier) eResolveProxy(oldElementType);
 			if (elementType != oldElementType) {
 				if (eNotificationRequired())
 					eNotify(new ENotificationImpl(this, Notification.RESOLVE,
 						EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE,
 						oldElementType, elementType));
 			}
 		}
 		return elementType;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public EClassifier basicGetElementType() {
 		return elementType;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	public void setElementType(EClassifier newElementType) {
 		EClassifier oldElementType = elementType;
 		elementType = newElementType;
 		if (eNotificationRequired())
 			eNotify(new ENotificationImpl(this, Notification.SET,
 				EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE, oldElementType,
 				elementType));
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	public CollectionKind getKind() {
 		return CollectionKind.COLLECTION_LITERAL;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	public boolean checkCollectionTypeName(DiagnosticChain diagnostics,
 			Map<Object, Object> context) {
 		return CollectionTypeOperations.checkCollectionTypeName(this,
 			diagnostics, context);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	public boolean checkNoInvalidValues(DiagnosticChain diagnostics,
 			Map<Object, Object> context) {
 		return CollectionTypeOperations.checkNoInvalidValues(this, diagnostics,
 			context);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	@Override
 	public String getName() {
 		if (name == null) {
 			StringBuffer myName = new StringBuffer();

 			switch (getKind()) {
 				case SET_LITERAL :
 					myName.append(SetType.SINGLETON_NAME);
 					break;
 				case ORDERED_SET_LITERAL :
 					myName.append(OrderedSetType.SINGLETON_NAME);
 					break;
 				case BAG_LITERAL :
 					myName.append(BagType.SINGLETON_NAME);
 					break;
 				case SEQUENCE_LITERAL :
 					myName.append(SequenceType.SINGLETON_NAME);
 					break;
 				default :
 					myName.append(
 						org.eclipse.ocl.types.CollectionType.SINGLETON_NAME);
 					break;
 			}

 			myName.append('(');

 			EClassifier elementType = getElementType();
 			String elementTypeName;
 			if (elementType != null) {
 				elementTypeName = elementType.getName();
 			} else {
 				elementTypeName = ""; //$NON-NLS-1$
 			}

 			myName.append(elementTypeName);
 			myName.append(')');

 			name = myName.toString();
 		}

 		return name;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	public EList<EOperation> oclOperations() {
 		if (operations == null) {
 			CollectionType prototype;

 			switch (getKind()) {
 				case SET_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getSet();
 					break;
 				case ORDERED_SET_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getOrderedSet();
 					break;
 				case BAG_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getBag();
 					break;
 				case SEQUENCE_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getSequence();
 					break;
 				default :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getCollection();
 					break;
 			}

 			if (prototype == this) {
 				// I *am* the standard library type!
 				operations = new BasicEList.FastCompare<EOperation>(
 					OCLStandardLibraryImpl.getExistingOperations(this));
 				operations.removeAll(oclIterators());
 			} else {
 				// the prototype defines my operations for me
 				operations = prototype.oclOperations();
 			}
 		}

 		return operations;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated NOT
 	 */
 	public EList<EOperation> oclIterators() {
 		if (iterators == null) {
 			CollectionType prototype;

 			switch (getKind()) {
 				case SET_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getSet();
 					break;
 				case ORDERED_SET_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getOrderedSet();
 					break;
 				case BAG_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getBag();
 					break;
 				case SEQUENCE_LITERAL :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getSequence();
 					break;
 				default :
 					prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
 						.getCollection();
 					break;
 			}

 			if (prototype == this) {
 				// I *am* the standard library type!
 				iterators = new BasicEList.FastCompare<EOperation>(
 					OCLStandardLibraryImpl.getExistingOperations(this));
 				iterators = OCLStandardLibraryImpl.selectIterators(iterators);
 			} else {
 				// the prototype defines my iterators for me
 				iterators = prototype.oclIterators();
 			}
 		}

 		return iterators;
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public Object eGet(int featureID, boolean resolve, boolean coreType) {
 		switch (featureID) {
 			case EcorePackage.COLLECTION_TYPE__START_POSITION :
 				return getStartPosition();
 			case EcorePackage.COLLECTION_TYPE__END_POSITION :
 				return getEndPosition();
 			case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
 				return getTypeStartPosition();
 			case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
 				return getTypeEndPosition();
 			case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
 				if (resolve)
 					return getElementType();
 				return basicGetElementType();
 			case EcorePackage.COLLECTION_TYPE__KIND :
 				return getKind();
 		}
 		return super.eGet(featureID, resolve, coreType);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public void eSet(int featureID, Object newValue) {
 		switch (featureID) {
 			case EcorePackage.COLLECTION_TYPE__START_POSITION :
 				setStartPosition((Integer) newValue);
 				return;
 			case EcorePackage.COLLECTION_TYPE__END_POSITION :
 				setEndPosition((Integer) newValue);
 				return;
 			case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
 				setTypeStartPosition((Integer) newValue);
 				return;
 			case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
 				setTypeEndPosition((Integer) newValue);
 				return;
 			case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
 				setElementType((EClassifier) newValue);
 				return;
 		}
 		super.eSet(featureID, newValue);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public void eUnset(int featureID) {
 		switch (featureID) {
 			case EcorePackage.COLLECTION_TYPE__START_POSITION :
 				setStartPosition(START_POSITION_EDEFAULT);
 				return;
 			case EcorePackage.COLLECTION_TYPE__END_POSITION :
 				setEndPosition(END_POSITION_EDEFAULT);
 				return;
 			case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
 				setTypeStartPosition(TYPE_START_POSITION_EDEFAULT);
 				return;
 			case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
 				setTypeEndPosition(TYPE_END_POSITION_EDEFAULT);
 				return;
 			case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
 				setElementType((EClassifier) null);
 				return;
 		}
 		super.eUnset(featureID);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public boolean eIsSet(int featureID) {
 		switch (featureID) {
 			case EcorePackage.COLLECTION_TYPE__START_POSITION :
 				return startPosition != START_POSITION_EDEFAULT;
 			case EcorePackage.COLLECTION_TYPE__END_POSITION :
 				return endPosition != END_POSITION_EDEFAULT;
 			case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
 				return typeStartPosition != TYPE_START_POSITION_EDEFAULT;
 			case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
 				return typeEndPosition != TYPE_END_POSITION_EDEFAULT;
 			case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
 				return elementType != null;
 			case EcorePackage.COLLECTION_TYPE__KIND :
 				return getKind() != KIND_EDEFAULT;
 		}
 		return super.eIsSet(featureID);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public int eBaseStructuralFeatureID(int derivedFeatureID,
 			Class<?> baseClass) {
 		if (baseClass == PredefinedType.class) {
 			switch (derivedFeatureID) {
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == ASTNode.class) {
 			switch (derivedFeatureID) {
 				case EcorePackage.COLLECTION_TYPE__START_POSITION :
 					return UtilitiesPackage.AST_NODE__START_POSITION;
 				case EcorePackage.COLLECTION_TYPE__END_POSITION :
 					return UtilitiesPackage.AST_NODE__END_POSITION;
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == TypedASTNode.class) {
 			switch (derivedFeatureID) {
 				case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
 					return UtilitiesPackage.TYPED_AST_NODE__TYPE_START_POSITION;
 				case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
 					return UtilitiesPackage.TYPED_AST_NODE__TYPE_END_POSITION;
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == org.eclipse.ocl.types.CollectionType.class) {
 			switch (derivedFeatureID) {
 				case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
 					return TypesPackage.COLLECTION_TYPE__ELEMENT_TYPE;
 				case EcorePackage.COLLECTION_TYPE__KIND :
 					return TypesPackage.COLLECTION_TYPE__KIND;
 				default :
 					return -1;
 			}
 		}
 		return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public int eDerivedStructuralFeatureID(int baseFeatureID,
 			Class<?> baseClass) {
 		if (baseClass == PredefinedType.class) {
 			switch (baseFeatureID) {
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == ASTNode.class) {
 			switch (baseFeatureID) {
 				case UtilitiesPackage.AST_NODE__START_POSITION :
 					return EcorePackage.COLLECTION_TYPE__START_POSITION;
 				case UtilitiesPackage.AST_NODE__END_POSITION :
 					return EcorePackage.COLLECTION_TYPE__END_POSITION;
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == TypedASTNode.class) {
 			switch (baseFeatureID) {
 				case UtilitiesPackage.TYPED_AST_NODE__TYPE_START_POSITION :
 					return EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION;
 				case UtilitiesPackage.TYPED_AST_NODE__TYPE_END_POSITION :
 					return EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION;
 				default :
 					return -1;
 			}
 		}
 		if (baseClass == org.eclipse.ocl.types.CollectionType.class) {
 			switch (baseFeatureID) {
 				case TypesPackage.COLLECTION_TYPE__ELEMENT_TYPE :
 					return EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE;
 				case TypesPackage.COLLECTION_TYPE__KIND :
 					return EcorePackage.COLLECTION_TYPE__KIND;
 				default :
 					return -1;
 			}
 		}
 		return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
 	}

 	/**
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
 	@Override
 	public String toString() {
 		if (eIsProxy())
 			return super.toString();

 		StringBuilder result = new StringBuilder(super.toString());
 		result.append(" (startPosition: "); //$NON-NLS-1$
 		result.append(startPosition);
 		result.append(", endPosition: "); //$NON-NLS-1$
 		result.append(endPosition);
 		result.append(", typeStartPosition: "); //$NON-NLS-1$
 		result.append(typeStartPosition);
 		result.append(", typeEndPosition: "); //$NON-NLS-1$
 		result.append(typeEndPosition);
 		result.append(')');
 		return result.toString();
 	}

 } //CollectionTypeImpl
	/*******************************************************************************
	* Copyright (c) 2006, 2018 IBM Corporation, Zeligsoft Inc. 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:
	* IBM - Initial API and implementation
	* Zeligsoft - Bugs 248869, 207365
	*******************************************************************************/
	package org.eclipse.ocl.ecore.impl;

	import java.util.Collection;
	import java.util.Map;

	import org.eclipse.emf.common.notify.Notification;
	import org.eclipse.emf.common.util.BasicEList;
	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.EClassifier;
	import org.eclipse.emf.ecore.EObject;
	import org.eclipse.emf.ecore.EOperation;
	import org.eclipse.emf.ecore.InternalEObject;
	import org.eclipse.emf.ecore.impl.EDataTypeImpl;
	import org.eclipse.emf.ecore.impl.ENotificationImpl;
	import org.eclipse.ocl.ecore.CollectionType;
	import org.eclipse.ocl.ecore.EcorePackage;
	import org.eclipse.ocl.ecore.internal.OCLStandardLibraryImpl;
	import org.eclipse.ocl.expressions.CollectionKind;
	import org.eclipse.ocl.types.BagType;
	import org.eclipse.ocl.types.OrderedSetType;
	import org.eclipse.ocl.types.SequenceType;
	import org.eclipse.ocl.types.SetType;
	import org.eclipse.ocl.types.TypesPackage;
	import org.eclipse.ocl.types.operations.CollectionTypeOperations;
	import org.eclipse.ocl.utilities.ASTNode;
	import org.eclipse.ocl.utilities.PredefinedType;
	import org.eclipse.ocl.utilities.TypedASTNode;
	import org.eclipse.ocl.utilities.UtilitiesPackage;

	/**
	* <!-- begin-user-doc -->
	* An implementation of the model object '<em><b>Collection Type</b></em>'.
	* <!-- end-user-doc -->
	* <p>
	* The following features are implemented:
	* </p>
	* <ul>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getStartPosition <em>Start Position</em>}</li>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getEndPosition <em>End Position</em>}</li>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getTypeStartPosition <em>Type Start Position</em>}</li>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getTypeEndPosition <em>Type End Position</em>}</li>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getElementType <em>Element Type</em>}</li>
	* <li>{@link org.eclipse.ocl.ecore.impl.CollectionTypeImpl#getKind <em>Kind</em>}</li>
	* </ul>
	*
	* @generated
	*/
	public class CollectionTypeImpl
	extends EDataTypeImpl
	implements CollectionType {

	/**
	* The default value of the '{@link #getStartPosition() <em>Start Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getStartPosition()
	* @generated
	* @ordered
	*/
	protected static final int START_POSITION_EDEFAULT = -1;

	/**
	* The cached value of the '{@link #getStartPosition() <em>Start Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getStartPosition()
	* @generated
	* @ordered
	*/
	protected int startPosition = START_POSITION_EDEFAULT;

	/**
	* The default value of the '{@link #getEndPosition() <em>End Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getEndPosition()
	* @generated
	* @ordered
	*/
	protected static final int END_POSITION_EDEFAULT = -1;

	/**
	* The cached value of the '{@link #getEndPosition() <em>End Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getEndPosition()
	* @generated
	* @ordered
	*/
	protected int endPosition = END_POSITION_EDEFAULT;

	/**
	* The default value of the '{@link #getTypeStartPosition() <em>Type Start Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getTypeStartPosition()
	* @generated
	* @ordered
	*/
	protected static final int TYPE_START_POSITION_EDEFAULT = -1;

	/**
	* The cached value of the '{@link #getTypeStartPosition() <em>Type Start Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getTypeStartPosition()
	* @generated
	* @ordered
	*/
	protected int typeStartPosition = TYPE_START_POSITION_EDEFAULT;

	/**
	* The default value of the '{@link #getTypeEndPosition() <em>Type End Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getTypeEndPosition()
	* @generated
	* @ordered
	*/
	protected static final int TYPE_END_POSITION_EDEFAULT = -1;

	/**
	* The cached value of the '{@link #getTypeEndPosition() <em>Type End Position</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getTypeEndPosition()
	* @generated
	* @ordered
	*/
	protected int typeEndPosition = TYPE_END_POSITION_EDEFAULT;

	/**
	* The cached value of the '{@link #getElementType() <em>Element Type</em>}' reference.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getElementType()
	* @generated
	* @ordered
	*/
	protected EClassifier elementType;

	/**
	* The default value of the '{@link #getKind() <em>Kind</em>}' attribute.
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @see #getKind()
	* @generated
	* @ordered
	*/
	protected static final CollectionKind KIND_EDEFAULT = CollectionKind.SET_LITERAL;

	private EList<EOperation> operations;

	private EList<EOperation> iterators;

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	protected CollectionTypeImpl() {
	super();
	setInstanceClass(Collection.class);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	protected CollectionTypeImpl(EClassifier elementType) {
	this();

	this.elementType = elementType;
	}

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

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public int getStartPosition() {
	return startPosition;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public void setStartPosition(int newStartPosition) {
	int oldStartPosition = startPosition;
	startPosition = newStartPosition;
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET,
	EcorePackage.COLLECTION_TYPE__START_POSITION, oldStartPosition,
	startPosition));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public int getEndPosition() {
	return endPosition;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public void setEndPosition(int newEndPosition) {
	int oldEndPosition = endPosition;
	endPosition = newEndPosition;
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET,
	EcorePackage.COLLECTION_TYPE__END_POSITION, oldEndPosition,
	endPosition));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public int getTypeStartPosition() {
	return typeStartPosition;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public void setTypeStartPosition(int newTypeStartPosition) {
	int oldTypeStartPosition = typeStartPosition;
	typeStartPosition = newTypeStartPosition;
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET,
	EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION,
	oldTypeStartPosition, typeStartPosition));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public int getTypeEndPosition() {
	return typeEndPosition;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public void setTypeEndPosition(int newTypeEndPosition) {
	int oldTypeEndPosition = typeEndPosition;
	typeEndPosition = newTypeEndPosition;
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET,
	EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION,
	oldTypeEndPosition, typeEndPosition));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public EClassifier getElementType() {
	if (elementType != null && ((EObject) elementType).eIsProxy()) {
	InternalEObject oldElementType = (InternalEObject) elementType;
	elementType = (EClassifier) eResolveProxy(oldElementType);
	if (elementType != oldElementType) {
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.RESOLVE,
	EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE,
	oldElementType, elementType));
	}
	}
	return elementType;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public EClassifier basicGetElementType() {
	return elementType;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	public void setElementType(EClassifier newElementType) {
	EClassifier oldElementType = elementType;
	elementType = newElementType;
	if (eNotificationRequired())
	eNotify(new ENotificationImpl(this, Notification.SET,
	EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE, oldElementType,
	elementType));
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	public CollectionKind getKind() {
	return CollectionKind.COLLECTION_LITERAL;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	public boolean checkCollectionTypeName(DiagnosticChain diagnostics,
	Map<Object, Object> context) {
	return CollectionTypeOperations.checkCollectionTypeName(this,
	diagnostics, context);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	public boolean checkNoInvalidValues(DiagnosticChain diagnostics,
	Map<Object, Object> context) {
	return CollectionTypeOperations.checkNoInvalidValues(this, diagnostics,
	context);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	@Override
	public String getName() {
	if (name == null) {
	StringBuffer myName = new StringBuffer();

	switch (getKind()) {
	case SET_LITERAL :
	myName.append(SetType.SINGLETON_NAME);
	break;
	case ORDERED_SET_LITERAL :
	myName.append(OrderedSetType.SINGLETON_NAME);
	break;
	case BAG_LITERAL :
	myName.append(BagType.SINGLETON_NAME);
	break;
	case SEQUENCE_LITERAL :
	myName.append(SequenceType.SINGLETON_NAME);
	break;
	default :
	myName.append(
	org.eclipse.ocl.types.CollectionType.SINGLETON_NAME);
	break;
	}

	myName.append('(');

	EClassifier elementType = getElementType();
	String elementTypeName;
	if (elementType != null) {
	elementTypeName = elementType.getName();
	} else {
	elementTypeName = ""; //$NON-NLS-1$
	}

	myName.append(elementTypeName);
	myName.append(')');

	name = myName.toString();
	}

	return name;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	public EList<EOperation> oclOperations() {
	if (operations == null) {
	CollectionType prototype;

	switch (getKind()) {
	case SET_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getSet();
	break;
	case ORDERED_SET_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getOrderedSet();
	break;
	case BAG_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getBag();
	break;
	case SEQUENCE_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getSequence();
	break;
	default :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getCollection();
	break;
	}

	if (prototype == this) {
	// I am the standard library type!
	operations = new BasicEList.FastCompare<EOperation>(
	OCLStandardLibraryImpl.getExistingOperations(this));
	operations.removeAll(oclIterators());
	} else {
	// the prototype defines my operations for me
	operations = prototype.oclOperations();
	}
	}

	return operations;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated NOT
	*/
	public EList<EOperation> oclIterators() {
	if (iterators == null) {
	CollectionType prototype;

	switch (getKind()) {
	case SET_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getSet();
	break;
	case ORDERED_SET_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getOrderedSet();
	break;
	case BAG_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getBag();
	break;
	case SEQUENCE_LITERAL :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getSequence();
	break;
	default :
	prototype = (CollectionType) OCLStandardLibraryImpl.INSTANCE
	.getCollection();
	break;
	}

	if (prototype == this) {
	// I am the standard library type!
	iterators = new BasicEList.FastCompare<EOperation>(
	OCLStandardLibraryImpl.getExistingOperations(this));
	iterators = OCLStandardLibraryImpl.selectIterators(iterators);
	} else {
	// the prototype defines my iterators for me
	iterators = prototype.oclIterators();
	}
	}

	return iterators;
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public Object eGet(int featureID, boolean resolve, boolean coreType) {
	switch (featureID) {
	case EcorePackage.COLLECTION_TYPE__START_POSITION :
	return getStartPosition();
	case EcorePackage.COLLECTION_TYPE__END_POSITION :
	return getEndPosition();
	case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
	return getTypeStartPosition();
	case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
	return getTypeEndPosition();
	case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
	if (resolve)
	return getElementType();
	return basicGetElementType();
	case EcorePackage.COLLECTION_TYPE__KIND :
	return getKind();
	}
	return super.eGet(featureID, resolve, coreType);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public void eSet(int featureID, Object newValue) {
	switch (featureID) {
	case EcorePackage.COLLECTION_TYPE__START_POSITION :
	setStartPosition((Integer) newValue);
	return;
	case EcorePackage.COLLECTION_TYPE__END_POSITION :
	setEndPosition((Integer) newValue);
	return;
	case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
	setTypeStartPosition((Integer) newValue);
	return;
	case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
	setTypeEndPosition((Integer) newValue);
	return;
	case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
	setElementType((EClassifier) newValue);
	return;
	}
	super.eSet(featureID, newValue);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public void eUnset(int featureID) {
	switch (featureID) {
	case EcorePackage.COLLECTION_TYPE__START_POSITION :
	setStartPosition(START_POSITION_EDEFAULT);
	return;
	case EcorePackage.COLLECTION_TYPE__END_POSITION :
	setEndPosition(END_POSITION_EDEFAULT);
	return;
	case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
	setTypeStartPosition(TYPE_START_POSITION_EDEFAULT);
	return;
	case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
	setTypeEndPosition(TYPE_END_POSITION_EDEFAULT);
	return;
	case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
	setElementType((EClassifier) null);
	return;
	}
	super.eUnset(featureID);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public boolean eIsSet(int featureID) {
	switch (featureID) {
	case EcorePackage.COLLECTION_TYPE__START_POSITION :
	return startPosition != START_POSITION_EDEFAULT;
	case EcorePackage.COLLECTION_TYPE__END_POSITION :
	return endPosition != END_POSITION_EDEFAULT;
	case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
	return typeStartPosition != TYPE_START_POSITION_EDEFAULT;
	case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
	return typeEndPosition != TYPE_END_POSITION_EDEFAULT;
	case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
	return elementType != null;
	case EcorePackage.COLLECTION_TYPE__KIND :
	return getKind() != KIND_EDEFAULT;
	}
	return super.eIsSet(featureID);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public int eBaseStructuralFeatureID(int derivedFeatureID,
	Class<?> baseClass) {
	if (baseClass == PredefinedType.class) {
	switch (derivedFeatureID) {
	default :
	return -1;
	}
	}
	if (baseClass == ASTNode.class) {
	switch (derivedFeatureID) {
	case EcorePackage.COLLECTION_TYPE__START_POSITION :
	return UtilitiesPackage.AST_NODE__START_POSITION;
	case EcorePackage.COLLECTION_TYPE__END_POSITION :
	return UtilitiesPackage.AST_NODE__END_POSITION;
	default :
	return -1;
	}
	}
	if (baseClass == TypedASTNode.class) {
	switch (derivedFeatureID) {
	case EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION :
	return UtilitiesPackage.TYPED_AST_NODE__TYPE_START_POSITION;
	case EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION :
	return UtilitiesPackage.TYPED_AST_NODE__TYPE_END_POSITION;
	default :
	return -1;
	}
	}
	if (baseClass == org.eclipse.ocl.types.CollectionType.class) {
	switch (derivedFeatureID) {
	case EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE :
	return TypesPackage.COLLECTION_TYPE__ELEMENT_TYPE;
	case EcorePackage.COLLECTION_TYPE__KIND :
	return TypesPackage.COLLECTION_TYPE__KIND;
	default :
	return -1;
	}
	}
	return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public int eDerivedStructuralFeatureID(int baseFeatureID,
	Class<?> baseClass) {
	if (baseClass == PredefinedType.class) {
	switch (baseFeatureID) {
	default :
	return -1;
	}
	}
	if (baseClass == ASTNode.class) {
	switch (baseFeatureID) {
	case UtilitiesPackage.AST_NODE__START_POSITION :
	return EcorePackage.COLLECTION_TYPE__START_POSITION;
	case UtilitiesPackage.AST_NODE__END_POSITION :
	return EcorePackage.COLLECTION_TYPE__END_POSITION;
	default :
	return -1;
	}
	}
	if (baseClass == TypedASTNode.class) {
	switch (baseFeatureID) {
	case UtilitiesPackage.TYPED_AST_NODE__TYPE_START_POSITION :
	return EcorePackage.COLLECTION_TYPE__TYPE_START_POSITION;
	case UtilitiesPackage.TYPED_AST_NODE__TYPE_END_POSITION :
	return EcorePackage.COLLECTION_TYPE__TYPE_END_POSITION;
	default :
	return -1;
	}
	}
	if (baseClass == org.eclipse.ocl.types.CollectionType.class) {
	switch (baseFeatureID) {
	case TypesPackage.COLLECTION_TYPE__ELEMENT_TYPE :
	return EcorePackage.COLLECTION_TYPE__ELEMENT_TYPE;
	case TypesPackage.COLLECTION_TYPE__KIND :
	return EcorePackage.COLLECTION_TYPE__KIND;
	default :
	return -1;
	}
	}
	return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
	}

	/**
	* <!-- begin-user-doc -->
	* <!-- end-user-doc -->
	* @generated
	*/
	@Override
	public String toString() {
	if (eIsProxy())
	return super.toString();

	StringBuilder result = new StringBuilder(super.toString());
	result.append(" (startPosition: "); //$NON-NLS-1$
	result.append(startPosition);
	result.append(", endPosition: "); //$NON-NLS-1$
	result.append(endPosition);
	result.append(", typeStartPosition: "); //$NON-NLS-1$
	result.append(typeStartPosition);
	result.append(", typeEndPosition: "); //$NON-NLS-1$
	result.append(typeEndPosition);
	result.append(')');
	return result.toString();
	}

	} //CollectionTypeImpl