case-study/jdt-after/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/typesets/EmptyTypeSet.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2011 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *   Robert M. Fuhrer (rfuhrer@watson.ibm.com), IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets;
  12
  13 import java.util.Iterator;
  14
  15 import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType;
  16
  17 public class EmptyTypeSet extends TypeSet {
  18
  19         EmptyTypeSet(TypeSetEnvironment typeSetEnvironment) {
  20                 super(typeSetEnvironment);
  21         }
  22
  23         /* (non-Javadoc)
  24          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isUniverse()
  25          */
  26         @Override
  27         public boolean isUniverse() {
  28                 return false;
  29         }
  30
  31         /* (non-Javadoc)
  32          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#makeClone()
  33          */
  34         @Override
  35         public TypeSet makeClone() {
  36                 return this;
  37         }
  38
  39         /* (non-Javadoc)
  40          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#intersectedWith(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
  41          */
  42         @Override
  43         protected TypeSet specialCasesIntersectedWith(TypeSet s2) {
  44                 return this;
  45         }
  46
  47         /* (non-Javadoc)
  48          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isEmpty()
  49          */
  50         @Override
  51         public boolean isEmpty() {
  52                 return true;
  53         }
  54
  55         /* (non-Javadoc)
  56          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#upperBound()
  57          */
  58         @Override
  59         public TypeSet upperBound() {
  60                 return this;
  61         }
  62
  63         /* (non-Javadoc)
  64          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#lowerBound()
  65          */
  66         @Override
  67         public TypeSet lowerBound() {
  68                 return this;
  69         }
  70
  71         /* (non-Javadoc)
  72          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueLowerBound()
  73          */
  74         @Override
  75         public boolean hasUniqueLowerBound() {
  76                 return false;
  77         }
  78
  79         /* (non-Javadoc)
  80          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueUpperBound()
  81          */
  82         @Override
  83         public boolean hasUniqueUpperBound() {
  84                 return false;
  85         }
  86
  87         /* (non-Javadoc)
  88          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueLowerBound()
  89          */
  90         @Override
  91         public TType uniqueLowerBound() {
  92                 return null;
  93         }
  94
  95         /* (non-Javadoc)
  96          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueUpperBound()
  97          */
  98         @Override
  99         public TType uniqueUpperBound() {
 100                 return null;
 101         }
 102
 103         /* (non-Javadoc)
 104          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#contains(TType)
 105          */
 106         @Override
 107         public boolean contains(TType t) {
 108                 return false;
 109         }
 110
 111         /* (non-Javadoc)
 112          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#containsAll(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
 113          */
 114         @Override
 115         public boolean containsAll(TypeSet s) {
 116                 return false;
 117         }
 118
 119         /* (non-Javadoc)
 120          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#iterator()
 121          */
 122         @Override
 123         public Iterator<TType> iterator() {
 124                 return new Iterator<TType>() {
 125                         public void remove() {
 126                                 //do nothing
 127                         }
 128                         public boolean hasNext() {
 129                                 return false;
 130                         }
 131                         public TType next() {
 132                                 return null;
 133                         }
 134                 };
 135         }
 136
 137         /* (non-Javadoc)
 138          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isSingleton()
 139          */
 140         @Override
 141         public boolean isSingleton() {
 142                 return false;
 143         }
 144
 145         /* (non-Javadoc)
 146          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#anyMember()
 147          */
 148         @Override
 149         public TType anyMember() {
 150                 return null;
 151         }
 152
 153         @Override
 154         public String toString() {
 155                 return "{ }"; //$NON-NLS-1$
 156         }
 157
 158         /* (non-Javadoc)
 159          * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#enumerate()
 160          */
 161         @Override
 162         public EnumeratedTypeSet enumerate() {
 163                 return new EnumeratedTypeSet(getTypeSetEnvironment());
 164         }
 165
 166         @Override
 167         public boolean equals(Object obj) {
 168                 return obj instanceof EmptyTypeSet;
 169         }
 170
 171         @Override
 172         public int hashCode() {
 173                 return 42;
 174         }
 175 }