diff options
Diffstat (limited to 'javaparser-core/src/main/java/com/github/javaparser/resolution/types/ResolvedWildcard.java')
-rw-r--r-- | javaparser-core/src/main/java/com/github/javaparser/resolution/types/ResolvedWildcard.java | 183 |
1 files changed, 183 insertions, 0 deletions
diff --git a/javaparser-core/src/main/java/com/github/javaparser/resolution/types/ResolvedWildcard.java b/javaparser-core/src/main/java/com/github/javaparser/resolution/types/ResolvedWildcard.java new file mode 100644 index 000000000..51fd099e4 --- /dev/null +++ b/javaparser-core/src/main/java/com/github/javaparser/resolution/types/ResolvedWildcard.java @@ -0,0 +1,183 @@ +/* + * Copyright (C) 2007-2010 JĂșlio Vilmar Gesser. + * Copyright (C) 2011, 2013-2016 The JavaParser Team. + * + * This file is part of JavaParser. + * + * JavaParser can be used either under the terms of + * a) the GNU Lesser General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + * b) the terms of the Apache License + * + * You should have received a copy of both licenses in LICENCE.LGPL and + * LICENCE.APACHE. Please refer to those files for details. + * + * JavaParser is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU Lesser General Public License for more details. + */ + +package com.github.javaparser.resolution.types; + +import com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration; + +import java.util.List; +import java.util.Map; + +/** + * A wildcard can be: + * - unbounded (?) + * - have a lower bound (? super Number) + * - have an upper bound (? extends Number) + * It is not possible to have both a lower and an upper bound at the same time. + * + * @author Federico Tomassetti + */ +public class ResolvedWildcard implements ResolvedType { + + public static ResolvedWildcard UNBOUNDED = new ResolvedWildcard(null, null); + + private BoundType type; + private ResolvedType boundedType; + + private ResolvedWildcard(BoundType type, ResolvedType boundedType) { + if (type == null && boundedType != null) { + throw new IllegalArgumentException(); + } + if (type != null && boundedType == null) { + throw new IllegalArgumentException(); + } + this.type = type; + this.boundedType = boundedType; + } + + public static ResolvedWildcard superBound(ResolvedType type) { + return new ResolvedWildcard(BoundType.SUPER, type); + } + + public static ResolvedWildcard extendsBound(ResolvedType type) { + return new ResolvedWildcard(BoundType.EXTENDS, type); + } + + @Override + public String toString() { + return "WildcardUsage{" + + "type=" + type + + ", boundedType=" + boundedType + + '}'; + } + + public boolean isWildcard() { + return true; + } + + public ResolvedWildcard asWildcard() { + return this; + } + + @Override + public boolean equals(Object o) { + if (this == o) return true; + if (!(o instanceof ResolvedWildcard)) return false; + + ResolvedWildcard that = (ResolvedWildcard) o; + + if (boundedType != null ? !boundedType.equals(that.boundedType) : that.boundedType != null) return false; + if (type != that.type) return false; + + return true; + } + + @Override + public int hashCode() { + int result = type != null ? type.hashCode() : 0; + result = 31 * result + (boundedType != null ? boundedType.hashCode() : 0); + return result; + } + + @Override + public String describe() { + if (type == null) { + return "?"; + } else if (type == BoundType.SUPER) { + return "? super " + boundedType.describe(); + } else if (type == BoundType.EXTENDS) { + return "? extends " + boundedType.describe(); + } else { + throw new UnsupportedOperationException(); + } + } + + public boolean isSuper() { + return type == BoundType.SUPER; + } + + public boolean isExtends() { + return type == BoundType.EXTENDS; + } + + public boolean isBounded() { + return isSuper() || isExtends(); + } + + public ResolvedType getBoundedType() { + if (boundedType == null) { + throw new IllegalStateException(); + } + return boundedType; + } + + @Override + public boolean isAssignableBy(ResolvedType other) { + if (boundedType == null) { + //return other.isReferenceType() && other.asReferenceType().getQualifiedName().equals(Object.class.getCanonicalName()); + return false; + } else if (type == BoundType.SUPER) { + return boundedType.isAssignableBy(other); + } else if (type == BoundType.EXTENDS) { + return false; + } else { + throw new RuntimeException(); + } + } + + @Override + public ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes) { + if (replaced == null) { + throw new IllegalArgumentException(); + } + if (boundedType == null) { + return this; + } + ResolvedType boundedTypeReplaced = boundedType.replaceTypeVariables(tpToReplace, replaced, inferredTypes); + if (boundedTypeReplaced == null) { + throw new RuntimeException(); + } + if (boundedTypeReplaced != boundedType) { + return new ResolvedWildcard(type, boundedTypeReplaced); + } else { + return this; + } + } + + @Override + public boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters) { + return boundedType != null && boundedType.mention(typeParameters); + } + + public boolean isUpperBounded() { + return isSuper(); + } + + public boolean isLowerBounded() { + return isExtends(); + } + + public enum BoundType { + SUPER, + EXTENDS + } + +} |