org.aspectj.weaver.UnresolvedTypeVariableReferenceType 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) 2005-2010 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
 * ******************************************************************/
package org.aspectj.weaver;

/**
 * @author Adrian Colyer
 * @author Andy Clement
 */
public class UnresolvedTypeVariableReferenceType extends UnresolvedType implements TypeVariableReference {

	private TypeVariable typeVariable;

	// constructor used as place-holder when dealing with circular refs such as Enum
	public UnresolvedTypeVariableReferenceType() {
		super("Ljava/lang/Object;");
	}

	public UnresolvedTypeVariableReferenceType(TypeVariable aTypeVariable) {
		super("T" + aTypeVariable.getName() + ";", aTypeVariable.getFirstBound().getErasureSignature());//aTypeVariable.getFirstBound().getSignature());
		this.typeVariable = aTypeVariable;
	}

	// only used when resolving circular refs...
	public void setTypeVariable(TypeVariable aTypeVariable) {
		this.signature = "T" + aTypeVariable.getName() + ";"; // aTypeVariable.getUpperBound().getSignature();
		this.signatureErasure = aTypeVariable.getFirstBound().getErasureSignature();
		this.typeVariable = aTypeVariable;
		this.typeKind = TypeKind.TYPE_VARIABLE;
	}

	@Override
	public ResolvedType resolve(World world) {
		TypeVariableDeclaringElement typeVariableScope = world.getTypeVariableLookupScope();
		TypeVariable resolvedTypeVariable = null;
		TypeVariableReferenceType tvrt = null;
		if (typeVariableScope == null) {
			// throw new BCException("There is no scope in which to lookup type variables!");
			// FIXME asc correct thing to do is go bang, but to limp along, lets cope with the scope missing
			resolvedTypeVariable = typeVariable.resolve(world);
			tvrt = new TypeVariableReferenceType(resolvedTypeVariable, world);
		} else {
			boolean foundOK = false;
			resolvedTypeVariable = typeVariableScope.getTypeVariableNamed(typeVariable.getName());
			// FIXME asc remove this when the shared type var stuff is sorted
			if (resolvedTypeVariable == null) {
				resolvedTypeVariable = typeVariable.resolve(world);
			} else {
				foundOK = true;
			}
			tvrt = new TypeVariableReferenceType(resolvedTypeVariable, world);
		}

		return tvrt;
	}

	@Override
	public boolean isTypeVariableReference() {
		return true;
	}

	public TypeVariable getTypeVariable() {
		return typeVariable;
	}

	@Override
	public String toString() {
		if (typeVariable == null) {
			return "";
		} else {
			return "T" + typeVariable.getName() + ";";
		}
	}

	@Override
	public String toDebugString() {
		return typeVariable.getName();
	}

	@Override
	public String getErasureSignature() {
		return typeVariable.getFirstBound().getSignature();
	}

}