001: /*******************************************************************************
002: * Copyright (c) 2000, 2005 IBM Corporation and others.
003: * All rights reserved. This program and the accompanying materials
004: * are made available under the terms of the Eclipse Public License v1.0
005: * which accompanies this distribution, and is available at
006: * http://www.eclipse.org/legal/epl-v10.html
007: *
008: * Contributors:
009: * Robert M. Fuhrer (rfuhrer@watson.ibm.com), IBM Corporation - initial API and implementation
010: *******************************************************************************/package org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets;
011:
012: import java.util.Iterator;
013:
014: import org.eclipse.jdt.internal.corext.refactoring.typeconstraints.types.TType;
015:
016: public class EmptyTypeSet extends TypeSet {
017:
018: EmptyTypeSet(TypeSetEnvironment typeSetEnvironment) {
019: super (typeSetEnvironment);
020: }
021:
022: /* (non-Javadoc)
023: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isUniverse()
024: */
025: public boolean isUniverse() {
026: return false;
027: }
028:
029: /* (non-Javadoc)
030: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#makeClone()
031: */
032: public TypeSet makeClone() {
033: return this ;
034: }
035:
036: /* (non-Javadoc)
037: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#intersectedWith(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
038: */
039: protected TypeSet specialCasesIntersectedWith(TypeSet s2) {
040: return this ;
041: }
042:
043: /* (non-Javadoc)
044: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isEmpty()
045: */
046: public boolean isEmpty() {
047: return true;
048: }
049:
050: /* (non-Javadoc)
051: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#upperBound()
052: */
053: public TypeSet upperBound() {
054: return this ;
055: }
056:
057: /* (non-Javadoc)
058: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#lowerBound()
059: */
060: public TypeSet lowerBound() {
061: return this ;
062: }
063:
064: /* (non-Javadoc)
065: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueLowerBound()
066: */
067: public boolean hasUniqueLowerBound() {
068: return false;
069: }
070:
071: /* (non-Javadoc)
072: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#hasUniqueUpperBound()
073: */
074: public boolean hasUniqueUpperBound() {
075: return false;
076: }
077:
078: /* (non-Javadoc)
079: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueLowerBound()
080: */
081: public TType uniqueLowerBound() {
082: return null;
083: }
084:
085: /* (non-Javadoc)
086: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#uniqueUpperBound()
087: */
088: public TType uniqueUpperBound() {
089: return null;
090: }
091:
092: /* (non-Javadoc)
093: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#contains(TType)
094: */
095: public boolean contains(TType t) {
096: return false;
097: }
098:
099: /* (non-Javadoc)
100: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#containsAll(org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet)
101: */
102: public boolean containsAll(TypeSet s) {
103: return false;
104: }
105:
106: /* (non-Javadoc)
107: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#iterator()
108: */
109: public Iterator iterator() {
110: return new Iterator() {
111: public void remove() {
112: //do nothing
113: }
114:
115: public boolean hasNext() {
116: return false;
117: }
118:
119: public Object next() {
120: return null;
121: }
122: };
123: }
124:
125: /* (non-Javadoc)
126: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#isSingleton()
127: */
128: public boolean isSingleton() {
129: return false;
130: }
131:
132: /* (non-Javadoc)
133: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#anyMember()
134: */
135: public TType anyMember() {
136: return null;
137: }
138:
139: public String toString() {
140: return "{ }"; //$NON-NLS-1$
141: }
142:
143: /* (non-Javadoc)
144: * @see org.eclipse.jdt.internal.corext.refactoring.typeconstraints.typesets.TypeSet#enumerate()
145: */
146: public EnumeratedTypeSet enumerate() {
147: return new EnumeratedTypeSet(getTypeSetEnvironment());
148: }
149: }
|