1 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 26 public boolean isUniverse() { 27 return false; 28 } 29 30 33 public TypeSet makeClone() { 34 return this; 35 } 36 37 40 protected TypeSet specialCasesIntersectedWith(TypeSet s2) { 41 return this; 42 } 43 44 47 public boolean isEmpty() { 48 return true; 49 } 50 51 54 public TypeSet upperBound() { 55 return this; 56 } 57 58 61 public TypeSet lowerBound() { 62 return this; 63 } 64 65 68 public boolean hasUniqueLowerBound() { 69 return false; 70 } 71 72 75 public boolean hasUniqueUpperBound() { 76 return false; 77 } 78 79 82 public TType uniqueLowerBound() { 83 return null; 84 } 85 86 89 public TType uniqueUpperBound() { 90 return null; 91 } 92 93 96 public boolean contains(TType t) { 97 return false; 98 } 99 100 103 public boolean containsAll(TypeSet s) { 104 return false; 105 } 106 107 110 public Iterator iterator() { 111 return new Iterator () { 112 public void remove() { 113 } 115 public boolean hasNext() { 116 return false; 117 } 118 public Object next() { 119 return null; 120 } 121 }; 122 } 123 124 127 public boolean isSingleton() { 128 return false; 129 } 130 131 134 public TType anyMember() { 135 return null; 136 } 137 138 public String toString() { 139 return "{ }"; } 141 142 145 public EnumeratedTypeSet enumerate() { 146 return new EnumeratedTypeSet(getTypeSetEnvironment()); 147 } 148 } 149 | Popular Tags |