X-Git-Url: http://git.uio.no/git/?a=blobdiff_plain;f=case-study%2Fjdt-before%2Fcore%20refactoring%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcorext%2Frefactoring%2Ftypeconstraints%2Ftypesets%2FArraySuperTypeSet.java;fp=case-study%2Fjdt-before%2Fcore%20refactoring%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcorext%2Frefactoring%2Ftypeconstraints%2Ftypesets%2FArraySuperTypeSet.java;h=31256e0d7d500a0369cbd183f30340e9d1338fd6;hb=1b2798f607d741df30e5197f427381cbff326adc;hp=0000000000000000000000000000000000000000;hpb=246231e4bd9b24345490f369747c0549ca308c4d;p=ifi-stolz-refaktor.git

diff --git a/case-study/jdt-before/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/ArraySuperTypeSet.java b/case-study/jdt-before/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/ArraySuperTypeSet.java
new file mode 100644
index 00000000..31256e0d
--- /dev/null
+++ b/case-study/jdt-before/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/ArraySuperTypeSet.java	
@@ -0,0 +1,213 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2011 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *   Robert M. Fuhrer (rfuhrer@watson.ibm.com), IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets;
+
+import java.util.Iterator;
+
+import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.ArrayType;
+import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType;
+import org.eclipse.jdt.internal.corext.refactoring.typeconstraints2.TTypes;
+
+/**
+ * Represents the super-types of a set of array types. Special because this set
+ * always includes Object.
+ */
+public class ArraySuperTypeSet extends ArrayTypeSet {
+	public ArraySuperTypeSet(TypeSet s) {
+		super(s.getTypeSetEnvironment());
+		if (s instanceof SuperTypesOfSingleton || s instanceof SuperTypesSet)
+			fElemTypeSet= s.lowerBound(); // optimization: array-super(super(s)) == array-super(s)
+		else
+			fElemTypeSet= s;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#anyMember()
+	 */
+	@Override
+	public TType anyMember() {
+		return getJavaLangObject();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#contains(TType)
+	 */
+	@Override
+	public boolean contains(TType t) {
+		if (t.equals(getJavaLangObject())) return true;
+		if (!(t instanceof ArrayType))
+			return false;
+
+		ArrayType at= (ArrayType) t;
+		TType atElemType= at.getComponentType();
+
+		if (fElemTypeSet.contains(atElemType)) // try to avoid enumeration
+			return true;
+
+		for(Iterator<TType> iter= fElemTypeSet.iterator(); iter.hasNext(); ) {
+			TType elemType= iter.next();
+
+			if (TTypes.canAssignTo(elemType, atElemType))
+				return true;
+		}
+		return false;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#containsAll(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
+	 */
+	@Override
+	public boolean containsAll(TypeSet s) {
+		if (s instanceof ArraySuperTypeSet) {
+			ArraySuperTypeSet ats= (ArraySuperTypeSet) s;
+
+			return fElemTypeSet.containsAll(ats.fElemTypeSet);
+		} else if (s instanceof ArrayTypeSet) {
+			ArrayTypeSet ats= (ArrayTypeSet) s;
+
+			return fElemTypeSet.containsAll(ats.fElemTypeSet);
+		} else
+			return enumerate().containsAll(s);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#specialCasesIntersectedWith(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
+	 */
+	@Override
+	protected TypeSet specialCasesIntersectedWith(TypeSet s2) {
+		if (s2 instanceof ArraySuperTypeSet) {
+			ArraySuperTypeSet ats2= (ArraySuperTypeSet) s2;
+
+			if (ats2.fElemTypeSet.isUniverse())
+				return new ArraySuperTypeSet(fElemTypeSet);
+		} else if (s2 instanceof ArrayTypeSet) {
+			ArrayTypeSet ats2= (ArrayTypeSet) s2;
+
+			if (ats2.fElemTypeSet.isUniverse())
+				return new ArrayTypeSet(fElemTypeSet); // intersection doesn't include Object, which is in 'this'
+		}
+		return super.specialCasesIntersectedWith(s2);
+	}
+
+	private EnumeratedTypeSet fEnumCache= null;
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#enumerate()
+	 */
+	@Override
+	public EnumeratedTypeSet enumerate() {
+		if (fEnumCache == null) {
+			fEnumCache= new EnumeratedTypeSet(getTypeSetEnvironment());
+			TypeSet elemSupers= fElemTypeSet.superTypes();
+
+			for(Iterator<TType> iter= elemSupers.iterator(); iter.hasNext(); ) {
+				TType elemSuper= iter.next();
+
+				fEnumCache.add(TTypes.createArrayType(elemSuper, 1));
+			}
+
+			fEnumCache.add(getJavaLangObject());
+			fEnumCache.initComplete();
+		}
+		return fEnumCache;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#hasUniqueUpperBound()
+	 */
+	@Override
+	public boolean hasUniqueUpperBound() {
+		return true; // Object is the unique upper bound of any set of array types
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#isSingleton()
+	 */
+	@Override
+	public boolean isSingleton() {
+		return false;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#isUniverse()
+	 */
+	@Override
+	public boolean isUniverse() {
+		return false;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#iterator()
+	 */
+	@Override
+	public Iterator<TType> iterator() {
+		return enumerate().iterator();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#makeClone()
+	 */
+	@Override
+	public TypeSet makeClone() {
+		return new ArraySuperTypeSet(fElemTypeSet);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#superTypes()
+	 */
+	@Override
+	public TypeSet superTypes() {
+		return makeClone();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#uniqueUpperBound()
+	 */
+	@Override
+	public TType uniqueUpperBound() {
+		return getJavaLangObject();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#upperBound()
+	 */
+	@Override
+	public TypeSet upperBound() {
+		return new SingletonTypeSet(getJavaLangObject(), getTypeSetEnvironment());
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.ArrayTypeSet#equals(java.lang.Object)
+	 */
+	@Override
+	public boolean equals(Object obj) {
+		if (obj == this) return true;
+		if (obj instanceof ArraySuperTypeSet) {
+			ArraySuperTypeSet other= (ArraySuperTypeSet) obj;
+
+			return fElemTypeSet.equals(other.fElemTypeSet);
+		}
+		return false;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#subTypes()
+	 */
+	@Override
+	public TypeSet subTypes() {
+		return getTypeSetEnvironment().getUniverseTypeSet();
+	}
+
+	@Override
+	public String toString() {
+		return "{" + fID + ": array-super(" + fElemTypeSet + ")}"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
+	}
+}