Case Study: adding data and statistics

[ifi-stolz-refaktor.git] / case-study / jdt-after / core refactoring / org / eclipse / jdt / internal / corext / refactoring / typeconstraints / typesets / EmptyTypeSet.java

diff --git a/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/EmptyTypeSet.java b/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/EmptyTypeSet.java
new file mode 100644 (file)
index 0000000..ecb0906
--- /dev/null
+++ b/case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/EmptyTypeSet.java
@@ -0,0 +1,175 @@
+/*******************************************************************************
+ * 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.TType;
+
+public class EmptyTypeSet extends TypeSet {
+
+       EmptyTypeSet(TypeSetEnvironment typeSetEnvironment) {
+               super(typeSetEnvironment);
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isUniverse()
+        */
+       @Override
+       public boolean isUniverse() {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#makeClone()
+        */
+       @Override
+       public TypeSet makeClone() {
+               return this;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#intersectedWith(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
+        */
+       @Override
+       protected TypeSet specialCasesIntersectedWith(TypeSet s2) {
+               return this;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isEmpty()
+        */
+       @Override
+       public boolean isEmpty() {
+               return true;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#upperBound()
+        */
+       @Override
+       public TypeSet upperBound() {
+               return this;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#lowerBound()
+        */
+       @Override
+       public TypeSet lowerBound() {
+               return this;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueLowerBound()
+        */
+       @Override
+       public boolean hasUniqueLowerBound() {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueUpperBound()
+        */
+       @Override
+       public boolean hasUniqueUpperBound() {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueLowerBound()
+        */
+       @Override
+       public TType uniqueLowerBound() {
+               return null;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueUpperBound()
+        */
+       @Override
+       public TType uniqueUpperBound() {
+               return null;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#contains(TType)
+        */
+       @Override
+       public boolean contains(TType t) {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#containsAll(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
+        */
+       @Override
+       public boolean containsAll(TypeSet s) {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#iterator()
+        */
+       @Override
+       public Iterator<TType> iterator() {
+               return new Iterator<TType>() {
+                       public void remove() {
+                               //do nothing
+                       }
+                       public boolean hasNext() {
+                               return false;
+                       }
+                       public TType next() {
+                               return null;
+                       }
+               };
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isSingleton()
+        */
+       @Override
+       public boolean isSingleton() {
+               return false;
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#anyMember()
+        */
+       @Override
+       public TType anyMember() {
+               return null;
+       }
+
+       @Override
+       public String toString() {
+               return "{ }"; //$NON-NLS-1$
+       }
+
+       /* (non-Javadoc)
+        * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#enumerate()
+        */
+       @Override
+       public EnumeratedTypeSet enumerate() {
+               return new EnumeratedTypeSet(getTypeSetEnvironment());
+       }
+       
+       @Override
+       public boolean equals(Object obj) {
+               return obj instanceof EmptyTypeSet;
+       }
+       
+       @Override
+       public int hashCode() {
+               return 42;
+       }
+}