org.aspectj.weaver.WildcardedUnresolvedType Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of aspectjtools Show documentation

AspectJ tools most notably contains the AspectJ compiler (AJC). AJC applies aspects to Java classes during compilation, fully replacing Javac for plain Java classes and also compiling native AspectJ or annotation-based @AspectJ syntax. Furthermore, AJC can weave aspects into existing class files in a post-compile binary weaving step. This library is a superset of AspectJ weaver and hence also of AspectJ runtime.

There is a newer version: 1.9.22.1

Show newest version

/* *******************************************************************
 * Copyright (c) 2008 Contributors
 * All rights reserved.
 * This program and the accompanying materials are made available
 * under the terms of the Eclipse Public License v 2.0
 * which accompanies this distribution and is available at
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.txt
 *
 * Contributors:
 *     Andy Clement     initial implementation
 * ******************************************************************/
package org.aspectj.weaver;

/**
 * Represents a wildcarded bound for a generic type, this can be unbounded '?' or bounded via extends '? extends Foo' or super '?
 * super Foo'. The signature for a ? is in fact "*" and the erasure signature is the upper bound which defaults to java.lang.Object
 * if nothing is specified. On resolution, this becomes a BoundedReferenceType
 *
 * @author Andy Clement
 */
public class WildcardedUnresolvedType extends UnresolvedType {

	// TODO does not cope with extra bounds '? extends A & B & C'

	public static final int UNBOUND = 0;
	public static final int EXTENDS = 1;
	public static final int SUPER = 2;

	public static final WildcardedUnresolvedType QUESTIONMARK = new WildcardedUnresolvedType("*", UnresolvedType.OBJECT, null);

	private int boundKind = UNBOUND; // UNBOUND, EXTENDS, SUPER

	private UnresolvedType lowerBound;

	private UnresolvedType upperBound;

	public WildcardedUnresolvedType(String signature, UnresolvedType upperBound, UnresolvedType lowerBound) {
		super(signature, (upperBound == null ? UnresolvedType.OBJECT.signature : upperBound.signatureErasure));
		this.typeKind = TypeKind.WILDCARD;
		this.upperBound = upperBound;
		this.lowerBound = lowerBound;
		if (signature.charAt(0) == '-') {
			boundKind = SUPER;
		}
		if (signature.charAt(0) == '+') {
			boundKind = EXTENDS;
		}
	}

	public UnresolvedType getUpperBound() {
		return upperBound;
	}

	public UnresolvedType getLowerBound() {
		return lowerBound;
	}

	public boolean isExtends() {
		return boundKind == EXTENDS;
	}

	public boolean isSuper() {
		return boundKind == SUPER;
	}

	public boolean isUnbound() {
		return boundKind == UNBOUND;
	}

}