/* *******************************************************************
 * Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
 * All rights reserved. 
 * This program and the accompanying materials are made available 
 * under the terms of the Eclipse Public License v1.0 
 * which accompanies this distribution and is available at 
 * http://www.eclipse.org/legal/epl-v10.html 
 *  
 * Contributors: 
 *     PARC     initial implementation 
 * ******************************************************************/

package org.aspectj.weaver.patterns;

import java.io.IOException;
import java.util.ArrayList;
import java.util.List;
import java.util.Map;
import java.util.StringTokenizer;

import org.aspectj.bridge.IMessage;
import org.aspectj.bridge.ISourceLocation;
import org.aspectj.bridge.Message;
import org.aspectj.bridge.MessageUtil;
import org.aspectj.util.FileUtil;
import org.aspectj.util.FuzzyBoolean;
import org.aspectj.weaver.AjAttribute;
import org.aspectj.weaver.BCException;
import org.aspectj.weaver.BoundedReferenceType;
import org.aspectj.weaver.CompressingDataOutputStream;
import org.aspectj.weaver.IHasPosition;
import org.aspectj.weaver.ISourceContext;
import org.aspectj.weaver.ReferenceType;
import org.aspectj.weaver.ResolvedType;
import org.aspectj.weaver.TypeFactory;
import org.aspectj.weaver.TypeVariable;
import org.aspectj.weaver.TypeVariableReference;
import org.aspectj.weaver.UnresolvedType;
import org.aspectj.weaver.UnresolvedTypeVariableReferenceType;
import org.aspectj.weaver.VersionedDataInputStream;
import org.aspectj.weaver.WeaverMessages;
import org.aspectj.weaver.World;

The PatternParser always creates WildTypePatterns for type patterns in pointcut expressions (apart from *, which is sometimes
directly turned into TypePattern.ANY). resolveBindings() tries to work out what we've really got and turn it into a type pattern
that we can use for matching. This will normally be either an ExactTypePattern or a WildTypePattern.
Here's how the process pans out for various generic and parameterized patterns: (see GenericsWildTypePatternResolvingTestCase)
Foo where Foo exists and is generic Parser creates WildTypePattern namePatterns={Foo} resolveBindings resolves Foo to RT(Foo -
raw) return ExactTypePattern(LFoo;)
Foo where Foo exists and String meets the bounds Parser creates WildTypePattern namePatterns = {Foo},
typeParameters=WTP{String} resolveBindings resolves typeParameters to ExactTypePattern(String) resolves Foo to RT(Foo) returns
ExactTypePattern(PFoo; - parameterized)
Foo where Foo exists and takes one bound Parser creates WildTypePattern namePatterns = {Foo}, typeParameters=WTP{Str*}
resolveBindings resolves typeParameters to WTP{Str*} resolves Foo to RT(Foo) returns WildTypePattern(name = Foo, typeParameters =
WTP{Str*} isGeneric=false)
Fo* Parser creates WildTypePattern namePatterns = {Fo*}, typeParameters=WTP{String} resolveBindings resolves
typeParameters to ETP{String} returns WildTypePattern(name = Fo*, typeParameters = ETP{String} isGeneric=false)
Foo
Foo
Foo
Foo
/**
 * The PatternParser always creates WildTypePatterns for type patterns in pointcut expressions (apart from *, which is sometimes
 * directly turned into TypePattern.ANY). resolveBindings() tries to work out what we've really got and turn it into a type pattern
 * that we can use for matching. This will normally be either an ExactTypePattern or a WildTypePattern.
 * 
 * Here's how the process pans out for various generic and parameterized patterns: (see GenericsWildTypePatternResolvingTestCase)
 * 
 * Foo where Foo exists and is generic Parser creates WildTypePattern namePatterns={Foo} resolveBindings resolves Foo to RT(Foo -
 * raw) return ExactTypePattern(LFoo;)
 * 
 * Foo<String> where Foo exists and String meets the bounds Parser creates WildTypePattern namePatterns = {Foo},
 * typeParameters=WTP{String} resolveBindings resolves typeParameters to ExactTypePattern(String) resolves Foo to RT(Foo) returns
 * ExactTypePattern(PFoo<String>; - parameterized)
 * 
 * Foo<Str*> where Foo exists and takes one bound Parser creates WildTypePattern namePatterns = {Foo}, typeParameters=WTP{Str*}
 * resolveBindings resolves typeParameters to WTP{Str*} resolves Foo to RT(Foo) returns WildTypePattern(name = Foo, typeParameters =
 * WTP{Str*} isGeneric=false)
 * 
 * Fo*<String> Parser creates WildTypePattern namePatterns = {Fo*}, typeParameters=WTP{String} resolveBindings resolves
 * typeParameters to ETP{String} returns WildTypePattern(name = Fo*, typeParameters = ETP{String} isGeneric=false)
 * 
 * 
 * Foo<?>
 * 
 * Foo<? extends Number>
 * 
 * Foo<? extends Number+>
 * 
 * Foo<? super Number>
 * 
 */
public class WildTypePattern extends TypePattern {
	private static final String GENERIC_WILDCARD_CHARACTER = "?"; // signature of ? is *
	private static final String GENERIC_WILDCARD_SIGNATURE_CHARACTER = "*"; // signature of ? is *
	private NamePattern[] namePatterns;
	private boolean failedResolution = false;
	int ellipsisCount;
	String[] importedPrefixes;
	String[] knownMatches;
	int dim;

	// SECRETAPI - just for testing, turns off boundschecking temporarily...
	public static boolean boundscheckingoff = false;

	// these next three are set if the type pattern is constrained by extends or super clauses, in which case the
	// namePatterns must have length 1
	// TODO AMC: read/write/resolve of these fields
	TypePattern upperBound; // extends Foo
	TypePattern[] additionalInterfaceBounds; // extends Foo & A,B,C
	TypePattern lowerBound; // super Foo

	// if we have type parameters, these fields indicate whether we should be a generic type pattern or a parameterized
	// type pattern. We can only tell during resolve bindings.
	private boolean isGeneric = true;

	WildTypePattern(NamePattern[] namePatterns, boolean includeSubtypes, int dim, boolean isVarArgs, TypePatternList typeParams) {
		super(includeSubtypes, isVarArgs, typeParams);
		this.namePatterns = namePatterns;
		this.dim = dim;
		ellipsisCount = 0;
		for (int i = 0; i < namePatterns.length; i++) {
			if (namePatterns[i] == NamePattern.ELLIPSIS) {
				ellipsisCount++;
			}
		}
		setLocation(namePatterns[0].getSourceContext(), namePatterns[0].getStart(), namePatterns[namePatterns.length - 1].getEnd());
	}

	public WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim) {
		this((NamePattern[]) names.toArray(new NamePattern[names.size()]), includeSubtypes, dim, false, TypePatternList.EMPTY);

	}

	public WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos) {
		this(names, includeSubtypes, dim);
		this.end = endPos;
	}

	public WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg) {
		this(names, includeSubtypes, dim);
		this.end = endPos;
		this.isVarArgs = isVarArg;
	}

	public WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams,
			TypePattern upperBound, TypePattern[] additionalInterfaceBounds, TypePattern lowerBound) {
		this((NamePattern[]) names.toArray(new NamePattern[names.size()]), includeSubtypes, dim, isVarArg, typeParams);
		this.end = endPos;
		this.upperBound = upperBound;
		this.lowerBound = lowerBound;
		this.additionalInterfaceBounds = additionalInterfaceBounds;
	}

	public WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams) {
		this((NamePattern[]) names.toArray(new NamePattern[names.size()]), includeSubtypes, dim, isVarArg, typeParams);
		this.end = endPos;
	}

	public NamePattern[] getNamePatterns() {
		return namePatterns;
	}

	public TypePattern getUpperBound() {
		return upperBound;
	}

	public TypePattern getLowerBound() {
		return lowerBound;
	}

	public TypePattern[] getAdditionalIntefaceBounds() {
		return additionalInterfaceBounds;
	}

	// called by parser after parsing a type pattern, must bump dim as well as setting flag
	@Override
	public void setIsVarArgs(boolean isVarArgs) {
		this.isVarArgs = isVarArgs;
		if (isVarArgs) {
			this.dim += 1;
		}
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see org.aspectj.weaver.patterns.TypePattern#couldEverMatchSameTypesAs(org.aspectj.weaver.patterns.TypePattern)
	 */
	@Override
	protected boolean couldEverMatchSameTypesAs(TypePattern other) {
		if (super.couldEverMatchSameTypesAs(other)) {
			return true;
		}
		// false is necessary but not sufficient
		UnresolvedType otherType = other.getExactType();
		if (!ResolvedType.isMissing(otherType)) {
			if (namePatterns.length > 0) {
				if (!namePatterns[0].matches(otherType.getName())) {
					return false;
				}
			}
		}
		if (other instanceof WildTypePattern) {
			WildTypePattern owtp = (WildTypePattern) other;
			String mySimpleName = namePatterns[0].maybeGetSimpleName();
			String yourSimpleName = owtp.namePatterns[0].maybeGetSimpleName();
			if (mySimpleName != null && yourSimpleName != null) {
				return (mySimpleName.startsWith(yourSimpleName) || yourSimpleName.startsWith(mySimpleName));
			}
		}
		return true;
	}

	// XXX inefficient implementation
	// we don't know whether $ characters are from nested types, or were
	// part of the declared type name (generated code often uses $s in type
	// names). More work required on our part to get this right...
	public static char[][] splitNames(String s, boolean convertDollar) {
		List<char[]> ret = new ArrayList<char[]>();
		int startIndex = 0;
		while (true) {
			int breakIndex = s.indexOf('.', startIndex); // what about /
			if (convertDollar && (breakIndex == -1)) {
				breakIndex = s.indexOf('$', startIndex); // we treat $ like . here
			}
			if (breakIndex == -1) {
				break;
			}
			char[] name = s.substring(startIndex, breakIndex).toCharArray();
			ret.add(name);
			startIndex = breakIndex + 1;
		}
		ret.add(s.substring(startIndex).toCharArray());
		return ret.toArray(new char[ret.size()][]);
	}

	
See Also:
matchesExactly.matchesExactly(IType)/**
	 * @see org.aspectj.weaver.TypePattern#matchesExactly(IType)
	 */
	@Override
	protected boolean matchesExactly(ResolvedType type) {
		return matchesExactly(type, type);
	}

	@Override
	protected boolean matchesExactly(ResolvedType type, ResolvedType annotatedType) {
		String targetTypeName = type.getName();

		// System.err.println("match: " + targetTypeName + ", " + knownMatches); //Arrays.asList(importedPrefixes));
		// Ensure the annotation pattern is resolved
		annotationPattern.resolve(type.getWorld());

		return matchesExactlyByName(targetTypeName, type.isAnonymous(), type.isNested()) && matchesParameters(type, STATIC)
				&& matchesBounds(type, STATIC)
				&& annotationPattern.matches(annotatedType, type.temporaryAnnotationTypes).alwaysTrue();
	}

	// we've matched against the base (or raw) type, but if this type pattern specifies parameters or
	// type variables we need to make sure we match against them too
	private boolean matchesParameters(ResolvedType aType, MatchKind staticOrDynamic) {
		if (!isGeneric && typeParameters.size() > 0) {
			if (!aType.isParameterizedType()) {
				return false;
			}
			// we have to match type parameters
			return typeParameters.matches(aType.getResolvedTypeParameters(), staticOrDynamic).alwaysTrue();
		}
		return true;
	}

	// we've matched against the base (or raw) type, but if this type pattern specifies bounds because
	// it is a ? extends or ? super deal then we have to match them too.
	private boolean matchesBounds(ResolvedType aType, MatchKind staticOrDynamic) {
		if (!(aType instanceof BoundedReferenceType)) {
			return true;
		}
		BoundedReferenceType boundedRT = (BoundedReferenceType) aType;
		if (upperBound == null && boundedRT.getUpperBound() != null) {
			// for upper bound, null can also match against Object - but anything else and we're out.
			if (!boundedRT.getUpperBound().getName().equals(UnresolvedType.OBJECT.getName())) {
				return false;
			}
		}
		if (lowerBound == null && boundedRT.getLowerBound() != null) {
			return false;
		}
		if (upperBound != null) {
			// match ? extends
			if (aType.isGenericWildcard() && boundedRT.isSuper()) {
				return false;
			}
			if (boundedRT.getUpperBound() == null) {
				return false;
			}
			return upperBound.matches((ResolvedType) boundedRT.getUpperBound(), staticOrDynamic).alwaysTrue();
		}
		if (lowerBound != null) {
			// match ? super
			if (!(boundedRT.isGenericWildcard() && boundedRT.isSuper())) {
				return false;
			}
			return lowerBound.matches((ResolvedType) boundedRT.getLowerBound(), staticOrDynamic).alwaysTrue();
		}
		return true;
	}

	
Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '*' or '*[]' which are different !
/**
	 * Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '*' or '*[]' which are different !
	 */
	public int getDimensions() {
		return dim;
	}

	@Override
	public boolean isArray() {
		return dim > 1;
	}

	
Params:
targetTypeName – 
Returns:
/**
	 * @param targetTypeName
	 * @return
	 */
	private boolean matchesExactlyByName(String targetTypeName, boolean isAnonymous, boolean isNested) {
		// we deal with parameter matching separately...
		if (targetTypeName.indexOf('<') != -1) {
			targetTypeName = targetTypeName.substring(0, targetTypeName.indexOf('<'));
		}
		// we deal with bounds matching separately too...
		if (targetTypeName.startsWith(GENERIC_WILDCARD_CHARACTER)) {
			targetTypeName = GENERIC_WILDCARD_CHARACTER;
		}
		// XXX hack
		if (knownMatches == null && importedPrefixes == null) {
			return innerMatchesExactly(targetTypeName, isAnonymous, isNested);
		}

		if (isNamePatternStar()) {
			// we match if the dimensions match
			int numDimensionsInTargetType = 0;
			if (dim > 0) {
				int index;
				while ((index = targetTypeName.indexOf('[')) != -1) {
					numDimensionsInTargetType++;
					targetTypeName = targetTypeName.substring(index + 1);
				}
				if (numDimensionsInTargetType == dim) {
					return true;
				} else {
					return false;
				}
			}
		}

		// if our pattern is length 1, then known matches are exact matches
		// if it's longer than that, then known matches are prefixes of a sort
		if (namePatterns.length == 1) {
			if (isAnonymous) {
				// we've already ruled out "*", and no other name pattern should match an anonymous type
				return false;
			}
			for (int i = 0, len = knownMatches.length; i < len; i++) {
				if (knownMatches[i].equals(targetTypeName)) {
					return true;
				}
			}
		} else {
			for (int i = 0, len = knownMatches.length; i < len; i++) {
				String knownMatch = knownMatches[i];
				// String knownPrefix = knownMatches[i] + "$";
				// if (targetTypeName.startsWith(knownPrefix)) {
				if (targetTypeName.startsWith(knownMatch) && targetTypeName.length() > knownMatch.length()
						&& targetTypeName.charAt(knownMatch.length()) == '$') {
					int pos = lastIndexOfDotOrDollar(knownMatch);
					if (innerMatchesExactly(targetTypeName.substring(pos + 1), isAnonymous, isNested)) {
						return true;
					}
				}
			}
		}

		// if any prefixes match, strip the prefix and check that the rest matches
		// assumes that prefixes have a dot at the end
		for (int i = 0, len = importedPrefixes.length; i < len; i++) {
			String prefix = importedPrefixes[i];
			// System.err.println("prefix match? " + prefix + " to " + targetTypeName);
			if (targetTypeName.startsWith(prefix)) {

				if (innerMatchesExactly(targetTypeName.substring(prefix.length()), isAnonymous, isNested)) {
					return true;
				}
			}
		}

		return innerMatchesExactly(targetTypeName, isAnonymous, isNested);
	}

	private int lastIndexOfDotOrDollar(String string) {
		for (int pos = string.length() - 1; pos > -1; pos--) {
			char ch = string.charAt(pos);
			if (ch == '.' || ch == '$') {
				return pos;
			}
		}
		return -1;
	}

	private boolean innerMatchesExactly(String s, boolean isAnonymous, boolean convertDollar /* isNested */) {

		List<char[]> ret = new ArrayList<char[]>();
		int startIndex = 0;
		while (true) {
			int breakIndex = s.indexOf('.', startIndex); // what about /
			if (convertDollar && (breakIndex == -1)) {
				breakIndex = s.indexOf('$', startIndex); // we treat $ like . here
			}
			if (breakIndex == -1) {
				break;
			}
			char[] name = s.substring(startIndex, breakIndex).toCharArray();
			ret.add(name);
			startIndex = breakIndex + 1;
		}
		ret.add(s.substring(startIndex).toCharArray());

		int namesLength = ret.size();
		int patternsLength = namePatterns.length;

		int namesIndex = 0;
		int patternsIndex = 0;

		if ((!namePatterns[patternsLength - 1].isAny()) && isAnonymous) {
			return false;
		}

		if (ellipsisCount == 0) {
			if (namesLength != patternsLength) {
				return false;
			}
			while (patternsIndex < patternsLength) {
				if (!namePatterns[patternsIndex++].matches(ret.get(namesIndex++))) {
					return false;
				}
			}
			return true;
		} else if (ellipsisCount == 1) {
			if (namesLength < patternsLength - 1) {
				return false;
			}
			while (patternsIndex < patternsLength) {
				NamePattern p = namePatterns[patternsIndex++];
				if (p == NamePattern.ELLIPSIS) {
					namesIndex = namesLength - (patternsLength - patternsIndex);
				} else {
					if (!p.matches(ret.get(namesIndex++))) {
						return false;
					}
				}
			}
			return true;
		} else {
			// System.err.print("match(\"" + Arrays.asList(namePatterns) + "\", \"" + Arrays.asList(names) + "\") -> ");
			boolean b = outOfStar(namePatterns, ret.toArray(new char[ret.size()][]), 0, 0, patternsLength - ellipsisCount,
					namesLength, ellipsisCount);
			// System.err.println(b);
			return b;
		}
	}

	private static boolean outOfStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, int pLeft, int tLeft,
			final int starsLeft) {
		if (pLeft > tLeft) {
			return false;
		}
		while (true) {
			// invariant: if (tLeft > 0) then (ti < target.length && pi < pattern.length)
			if (tLeft == 0) {
				return true;
			}
			if (pLeft == 0) {
				return (starsLeft > 0);
			}
			if (pattern[pi] == NamePattern.ELLIPSIS) {
				return inStar(pattern, target, pi + 1, ti, pLeft, tLeft, starsLeft - 1);
			}
			if (!pattern[pi].matches(target[ti])) {
				return false;
			}
			pi++;
			ti++;
			pLeft--;
			tLeft--;
		}
	}

	private static boolean inStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, final int pLeft, int tLeft,
			int starsLeft) {
		// invariant: pLeft > 0, so we know we'll run out of stars and find a real char in pattern
		// of course, we probably can't parse multiple ..'s in a row, but this keeps the algorithm
		// exactly parallel with that in NamePattern
		NamePattern patternChar = pattern[pi];
		while (patternChar == NamePattern.ELLIPSIS) {
			starsLeft--;
			patternChar = pattern[++pi];
		}
		while (true) {
			// invariant: if (tLeft > 0) then (ti < target.length)
			if (pLeft > tLeft) {
				return false;
			}
			if (patternChar.matches(target[ti])) {
				if (outOfStar(pattern, target, pi + 1, ti + 1, pLeft - 1, tLeft - 1, starsLeft)) {
					return true;
				}
			}
			ti++;
			tLeft--;
		}
	}

	
See Also:
matchesInstanceof.matchesInstanceof(IType)/**
	 * @see org.aspectj.weaver.TypePattern#matchesInstanceof(IType)
	 */
	@Override
	public FuzzyBoolean matchesInstanceof(ResolvedType type) {
		// XXX hack to let unmatched types just silently remain so
		if (maybeGetSimpleName() != null) {
			return FuzzyBoolean.NO;
		}

		type.getWorld().getMessageHandler().handleMessage(
				new Message("can't do instanceof matching on patterns with wildcards", IMessage.ERROR, null, getSourceLocation()));
		return FuzzyBoolean.NO;
	}

	public NamePattern extractName() {
		if (isIncludeSubtypes() || isVarArgs() || isArray() || (typeParameters.size() > 0)) {
			// we can't extract a name, the pattern is something like Foo+ and therefore
			// it is not ok to treat Foo as a method name!
			return null;
		}
		// System.err.println("extract from : " + Arrays.asList(namePatterns));
		int len = namePatterns.length;
		if (len == 1 && !annotationPattern.isAny()) {
			return null; // can't extract
		}
		NamePattern ret = namePatterns[len - 1];
		NamePattern[] newNames = new NamePattern[len - 1];
		System.arraycopy(namePatterns, 0, newNames, 0, len - 1);
		namePatterns = newNames;
		// System.err.println("    left : " + Arrays.asList(namePatterns));
		return ret;
	}

	
Method maybeExtractName.
Params:
string – 
Returns:
boolean/**
	 * Method maybeExtractName.
	 * 
	 * @param string
	 * @return boolean
	 */
	public boolean maybeExtractName(String string) {
		int len = namePatterns.length;
		NamePattern ret = namePatterns[len - 1];
		String simple = ret.maybeGetSimpleName();
		if (simple != null && simple.equals(string)) {
			extractName();
			return true;
		}
		return false;
	}

	
If this type pattern has no '.' or '*' in it, then return a simple string
otherwise, this will return null;
/**
	 * If this type pattern has no '.' or '*' in it, then return a simple string
	 * 
	 * otherwise, this will return null;
	 */
	public String maybeGetSimpleName() {
		if (namePatterns.length == 1) {
			return namePatterns[0].maybeGetSimpleName();
		}
		return null;
	}

	
If this type pattern has no '*' or '..' in it
/**
	 * If this type pattern has no '*' or '..' in it
	 */
	public String maybeGetCleanName() {
		if (namePatterns.length == 0) {
			throw new RuntimeException("bad name: " + namePatterns);
		}
		// System.out.println("get clean: " + this);
		StringBuffer buf = new StringBuffer();
		for (int i = 0, len = namePatterns.length; i < len; i++) {
			NamePattern p = namePatterns[i];
			String simpleName = p.maybeGetSimpleName();
			if (simpleName == null) {
				return null;
			}
			if (i > 0) {
				buf.append(".");
			}
			buf.append(simpleName);
		}
		// System.out.println(buf);
		return buf.toString();
	}

	@Override
	public TypePattern parameterizeWith(Map<String,UnresolvedType> typeVariableMap, World w) {
		NamePattern[] newNamePatterns = new NamePattern[namePatterns.length];
		for (int i = 0; i < namePatterns.length; i++) {
			newNamePatterns[i] = namePatterns[i];
		}
		if (newNamePatterns.length == 1) {
			String simpleName = newNamePatterns[0].maybeGetSimpleName();
			if (simpleName != null) {
				if (typeVariableMap.containsKey(simpleName)) {
					String newName = ((ReferenceType) typeVariableMap.get(simpleName)).getName().replace('$', '.');
					StringTokenizer strTok = new StringTokenizer(newName, ".");
					newNamePatterns = new NamePattern[strTok.countTokens()];
					int index = 0;
					while (strTok.hasMoreTokens()) {
						newNamePatterns[index++] = new NamePattern(strTok.nextToken());
					}
				}
			}
		}
		WildTypePattern ret = new WildTypePattern(newNamePatterns, includeSubtypes, dim, isVarArgs, typeParameters
				.parameterizeWith(typeVariableMap, w));
		ret.annotationPattern = this.annotationPattern.parameterizeWith(typeVariableMap, w);
		if (additionalInterfaceBounds == null) {
			ret.additionalInterfaceBounds = null;
		} else {
			ret.additionalInterfaceBounds = new TypePattern[additionalInterfaceBounds.length];
			for (int i = 0; i < additionalInterfaceBounds.length; i++) {
				ret.additionalInterfaceBounds[i] = additionalInterfaceBounds[i].parameterizeWith(typeVariableMap, w);
			}
		}
		ret.upperBound = upperBound != null ? upperBound.parameterizeWith(typeVariableMap, w) : null;
		ret.lowerBound = lowerBound != null ? lowerBound.parameterizeWith(typeVariableMap, w) : null;
		ret.isGeneric = isGeneric;
		ret.knownMatches = knownMatches;
		ret.importedPrefixes = importedPrefixes;
		ret.copyLocationFrom(this);
		return ret;
	}

	
Need to determine if I'm really a pattern or a reference to a formal
We may wish to further optimize the case of pattern vs. non-pattern
We will be replaced by what we return
/**
	 * Need to determine if I'm really a pattern or a reference to a formal
	 * 
	 * We may wish to further optimize the case of pattern vs. non-pattern
	 * 
	 * We will be replaced by what we return
	 */
	@Override
	public TypePattern resolveBindings(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType) {
		if (isNamePatternStar()) {
			TypePattern anyPattern = maybeResolveToAnyPattern(scope, bindings, allowBinding, requireExactType);
			if (anyPattern != null) {
				if (requireExactType) {
					scope.getWorld().getMessageHandler().handleMessage(
							MessageUtil.error(WeaverMessages.format(WeaverMessages.WILDCARD_NOT_ALLOWED), getSourceLocation()));
					return NO;
				} else {
					return anyPattern;
				}
			}
		}

		TypePattern bindingTypePattern = maybeResolveToBindingTypePattern(scope, bindings, allowBinding, requireExactType);
		if (bindingTypePattern != null) {
			return bindingTypePattern;
		}

		annotationPattern = annotationPattern.resolveBindings(scope, bindings, allowBinding);

		// resolve any type parameters
		if (typeParameters != null && typeParameters.size() > 0) {
			typeParameters.resolveBindings(scope, bindings, allowBinding, requireExactType);
			isGeneric = false;
		}

		// resolve any bounds
		if (upperBound != null) {
			upperBound = upperBound.resolveBindings(scope, bindings, allowBinding, requireExactType);
		}
		if (lowerBound != null) {
			lowerBound = lowerBound.resolveBindings(scope, bindings, allowBinding, requireExactType);
			// amc - additional interface bounds only needed if we support type vars again.
		}

		String fullyQualifiedName = maybeGetCleanName();
		if (fullyQualifiedName != null) {
			return resolveBindingsFromFullyQualifiedTypeName(fullyQualifiedName, scope, bindings, allowBinding, requireExactType);
		} else {
			if (requireExactType) {
				scope.getWorld().getMessageHandler().handleMessage(
						MessageUtil.error(WeaverMessages.format(WeaverMessages.WILDCARD_NOT_ALLOWED), getSourceLocation()));
				return NO;
			}
			importedPrefixes = scope.getImportedPrefixes();
			knownMatches = preMatch(scope.getImportedNames());
			return this; // pattern contains wildcards so can't be resolved to an ExactTypePattern...
			// XXX need to implement behavior for Lint.invalidWildcardTypeName
		}
	}

	private TypePattern maybeResolveToAnyPattern(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType) {
		// If there is an annotation specified we have to
		// use a special variant of Any TypePattern called
		// AnyWithAnnotation
		if (annotationPattern == AnnotationTypePattern.ANY) {
			if (dim == 0 && !isVarArgs && upperBound == null && lowerBound == null
					&& (additionalInterfaceBounds == null || additionalInterfaceBounds.length == 0)) { // pr72531
				return TypePattern.ANY; // ??? loses source location
			}
		} else if (!isVarArgs) {
			annotationPattern = annotationPattern.resolveBindings(scope, bindings, allowBinding);
			AnyWithAnnotationTypePattern ret = new AnyWithAnnotationTypePattern(annotationPattern);
			ret.setLocation(sourceContext, start, end);
			return ret;
		}
		return null; // can't resolve to a simple "any" pattern
	}

	private TypePattern maybeResolveToBindingTypePattern(IScope scope, Bindings bindings, boolean allowBinding,
			boolean requireExactType) {
		String simpleName = maybeGetSimpleName();
		if (simpleName != null) {
			FormalBinding formalBinding = scope.lookupFormal(simpleName);
			if (formalBinding != null) {
				if (bindings == null) {
					scope.message(IMessage.ERROR, this, "negation doesn't allow binding");
					return this;
				}
				if (!allowBinding) {
					scope.message(IMessage.ERROR, this, "name binding only allowed in target, this, and args pcds");
					return this;
				}

				BindingTypePattern binding = new BindingTypePattern(formalBinding, isVarArgs);
				binding.copyLocationFrom(this);
				bindings.register(binding, scope);

				return binding;
			}
		}
		return null; // not possible to resolve to a binding type pattern
	}

	private TypePattern resolveBindingsFromFullyQualifiedTypeName(String fullyQualifiedName, IScope scope, Bindings bindings,
			boolean allowBinding, boolean requireExactType) {
		String originalName = fullyQualifiedName;
		ResolvedType resolvedTypeInTheWorld = null;
		UnresolvedType type;

		// System.out.println("resolve: " + cleanName);
		// ??? this loop has too many inefficiencies to count
		resolvedTypeInTheWorld = lookupTypeInWorldIncludingPrefixes(scope.getWorld(), fullyQualifiedName, scope
				.getImportedPrefixes());

		if (resolvedTypeInTheWorld.isGenericWildcard()) {
			type = resolvedTypeInTheWorld;
		} else {
			type = lookupTypeInScope(scope, fullyQualifiedName, this);
		}
		if ((type instanceof ResolvedType) && ((ResolvedType) type).isMissing()) {
			return resolveBindingsForMissingType(resolvedTypeInTheWorld, originalName, scope, bindings, allowBinding,
					requireExactType);
		} else {
			return resolveBindingsForExactType(scope, type, fullyQualifiedName, requireExactType);
		}
	}

	private UnresolvedType lookupTypeInScope(IScope scope, String typeName, IHasPosition location) {
		UnresolvedType type = null;
		while (ResolvedType.isMissing(type = scope.lookupType(typeName, location))) {
			int lastDot = typeName.lastIndexOf('.');
			if (lastDot == -1) {
				break;
			}
			typeName = typeName.substring(0, lastDot) + '$' + typeName.substring(lastDot + 1);
		}
		return type;
	}

	
Searches the world for the ResolvedType with the given typeName. If one isn't found then for each of the supplied prefixes,
it prepends the typeName with the prefix and searches the world for the ResolvedType with this new name. If one still isn't
found then a MissingResolvedTypeWithKnownSignature is returned with the originally requested typeName (this ensures the
typeName makes sense).
/**
	 * Searches the world for the ResolvedType with the given typeName. If one isn't found then for each of the supplied prefixes,
	 * it prepends the typeName with the prefix and searches the world for the ResolvedType with this new name. If one still isn't
	 * found then a MissingResolvedTypeWithKnownSignature is returned with the originally requested typeName (this ensures the
	 * typeName makes sense).
	 */
	private ResolvedType lookupTypeInWorldIncludingPrefixes(World world, String typeName, String[] prefixes) {
		ResolvedType ret = lookupTypeInWorld(world, typeName);
		if (!ret.isMissing()) {
			return ret;
		}
		ResolvedType retWithPrefix = ret;
		int counter = 0;
		while (retWithPrefix.isMissing() && (counter < prefixes.length)) {
			retWithPrefix = lookupTypeInWorld(world, prefixes[counter] + typeName);
			counter++;
		}
		if (!retWithPrefix.isMissing()) {
			return retWithPrefix;
		}
		return ret;
	}

	private ResolvedType lookupTypeInWorld(World world, String typeName) {
		UnresolvedType ut = UnresolvedType.forName(typeName);
		ResolvedType ret = world.resolve(ut, true);
		while (ret.isMissing()) {
			int lastDot = typeName.lastIndexOf('.');
			if (lastDot == -1) {
				break;
			}
			typeName = typeName.substring(0, lastDot) + '$' + typeName.substring(lastDot + 1);
			ret = world.resolve(UnresolvedType.forName(typeName), true);
		}
		return ret;
	}

	private TypePattern resolveBindingsForExactType(IScope scope, UnresolvedType aType, String fullyQualifiedName,
			boolean requireExactType) {
		TypePattern ret = null;
		if (aType.isTypeVariableReference()) {
			// we have to set the bounds on it based on the bounds of this pattern
			ret = resolveBindingsForTypeVariable(scope, (UnresolvedTypeVariableReferenceType) aType);
		} else if (typeParameters.size() > 0) {
			ret = resolveParameterizedType(scope, aType, requireExactType);
		} else if (upperBound != null || lowerBound != null) {
			// this must be a generic wildcard with bounds
			ret = resolveGenericWildcard(scope, aType);
		} else {
			if (dim != 0) {
				aType = UnresolvedType.makeArray(aType, dim);
			}
			ret = new ExactTypePattern(aType, includeSubtypes, isVarArgs);
		}
		ret.setAnnotationTypePattern(annotationPattern);
		ret.copyLocationFrom(this);
		return ret;
	}

	private TypePattern resolveGenericWildcard(IScope scope, UnresolvedType aType) {
		if (!aType.getSignature().equals(GENERIC_WILDCARD_SIGNATURE_CHARACTER)) {
			throw new IllegalStateException("Can only have bounds for a generic wildcard");
		}
		boolean canBeExact = true;
		if ((upperBound != null) && ResolvedType.isMissing(upperBound.getExactType())) {
			canBeExact = false;
		}
		if ((lowerBound != null) && ResolvedType.isMissing(lowerBound.getExactType())) {
			canBeExact = false;
		}
		if (canBeExact) {
			ResolvedType type = null;
			if (upperBound != null) {
				if (upperBound.isIncludeSubtypes()) {
					canBeExact = false;
				} else {
					ReferenceType upper = (ReferenceType) upperBound.getExactType().resolve(scope.getWorld());
					type = new BoundedReferenceType(upper, true, scope.getWorld());
				}
			} else {
				if (lowerBound.isIncludeSubtypes()) {
					canBeExact = false;
				} else {
					ReferenceType lower = (ReferenceType) lowerBound.getExactType().resolve(scope.getWorld());
					type = new BoundedReferenceType(lower, false, scope.getWorld());
				}
			}
			if (canBeExact) {
				// might have changed if we find out include subtypes is set on one of the bounds...
				return new ExactTypePattern(type, includeSubtypes, isVarArgs);
			}
		}

		// we weren't able to resolve to an exact type pattern...
		// leave as wild type pattern
		importedPrefixes = scope.getImportedPrefixes();
		knownMatches = preMatch(scope.getImportedNames());
		return this;
	}

	private TypePattern resolveParameterizedType(IScope scope, UnresolvedType aType, boolean requireExactType) {
		ResolvedType rt = aType.resolve(scope.getWorld());
		if (!verifyTypeParameters(rt, scope, requireExactType)) {
			return TypePattern.NO; // messages already isued
		}
		// Only if the type is exact *and* the type parameters are exact should we create an
		// ExactTypePattern for this WildTypePattern
		if (typeParameters.areAllExactWithNoSubtypesAllowed()) {
			TypePattern[] typePats = typeParameters.getTypePatterns();
			UnresolvedType[] typeParameterTypes = new UnresolvedType[typePats.length];
			for (int i = 0; i < typeParameterTypes.length; i++) {
				typeParameterTypes[i] = ((ExactTypePattern) typePats[i]).getExactType();
			}
			// rt could be a parameterized type 156058
			if (rt.isParameterizedType()) {
				rt = rt.getGenericType();
			}
			ResolvedType type = TypeFactory.createParameterizedType(rt, typeParameterTypes, scope.getWorld());
			if (isGeneric) {
				type = type.getGenericType();
			}
			// UnresolvedType tx = UnresolvedType.forParameterizedTypes(aType,typeParameterTypes);
			// UnresolvedType type = scope.getWorld().resolve(tx,true);
			if (dim != 0) {
				type = ResolvedType.makeArray(type, dim);
			}
			return new ExactTypePattern(type, includeSubtypes, isVarArgs);
		} else {
			// AMC... just leave it as a wild type pattern then?
			importedPrefixes = scope.getImportedPrefixes();
			knownMatches = preMatch(scope.getImportedNames());
			return this;
		}
	}

	private TypePattern resolveBindingsForMissingType(ResolvedType typeFoundInWholeWorldSearch, String nameWeLookedFor,
			IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType) {
		if (requireExactType) {
			if (!allowBinding) {
				scope.getWorld().getMessageHandler().handleMessage(
						MessageUtil.error(WeaverMessages.format(WeaverMessages.CANT_BIND_TYPE, nameWeLookedFor),
								getSourceLocation()));
			} else if (scope.getWorld().getLint().invalidAbsoluteTypeName.isEnabled()) {
				scope.getWorld().getLint().invalidAbsoluteTypeName.signal(nameWeLookedFor, getSourceLocation());
			}
			return NO;
		} else if (scope.getWorld().getLint().invalidAbsoluteTypeName.isEnabled()) {
			// Only put the lint warning out if we can't find it in the world
			if (typeFoundInWholeWorldSearch.isMissing()) {
				scope.getWorld().getLint().invalidAbsoluteTypeName.signal(nameWeLookedFor, getSourceLocation());
				this.failedResolution = true;
			}
		}
		importedPrefixes = scope.getImportedPrefixes();
		knownMatches = preMatch(scope.getImportedNames());
		return this;
	}

	
We resolved the type to a type variable declared in the pointcut designator. Now we have to create either an exact type
pattern or a wild type pattern for it, with upper and lower bounds set accordingly. XXX none of this stuff gets serialized
yet
Params:
scope – 
tvrType – 
Returns:
/**
	 * We resolved the type to a type variable declared in the pointcut designator. Now we have to create either an exact type
	 * pattern or a wild type pattern for it, with upper and lower bounds set accordingly. XXX none of this stuff gets serialized
	 * yet
	 * 
	 * @param scope
	 * @param tvrType
	 * @return
	 */
	private TypePattern resolveBindingsForTypeVariable(IScope scope, UnresolvedTypeVariableReferenceType tvrType) {
		Bindings emptyBindings = new Bindings(0);
		if (upperBound != null) {
			upperBound = upperBound.resolveBindings(scope, emptyBindings, false, false);
		}
		if (lowerBound != null) {
			lowerBound = lowerBound.resolveBindings(scope, emptyBindings, false, false);
		}
		if (additionalInterfaceBounds != null) {
			TypePattern[] resolvedIfBounds = new TypePattern[additionalInterfaceBounds.length];
			for (int i = 0; i < resolvedIfBounds.length; i++) {
				resolvedIfBounds[i] = additionalInterfaceBounds[i].resolveBindings(scope, emptyBindings, false, false);
			}
			additionalInterfaceBounds = resolvedIfBounds;
		}
		if (upperBound == null && lowerBound == null && additionalInterfaceBounds == null) {
			// no bounds to worry about...
			ResolvedType rType = tvrType.resolve(scope.getWorld());
			if (dim != 0) {
				rType = ResolvedType.makeArray(rType, dim);
			}
			return new ExactTypePattern(rType, includeSubtypes, isVarArgs);
		} else {
			// we have to set bounds on the TypeVariable held by tvrType before resolving it
			boolean canCreateExactTypePattern = true;
			if (upperBound != null && ResolvedType.isMissing(upperBound.getExactType())) {
				canCreateExactTypePattern = false;
			}
			if (lowerBound != null && ResolvedType.isMissing(lowerBound.getExactType())) {
				canCreateExactTypePattern = false;
			}
			if (additionalInterfaceBounds != null) {
				for (int i = 0; i < additionalInterfaceBounds.length; i++) {
					if (ResolvedType.isMissing(additionalInterfaceBounds[i].getExactType())) {
						canCreateExactTypePattern = false;
					}
				}
			}
			if (canCreateExactTypePattern) {
				TypeVariable tv = tvrType.getTypeVariable();
				if (upperBound != null) {
					tv.setSuperclass(upperBound.getExactType());
				}
				if (additionalInterfaceBounds != null) {
					UnresolvedType[] ifBounds = new UnresolvedType[additionalInterfaceBounds.length];
					for (int i = 0; i < ifBounds.length; i++) {
						ifBounds[i] = additionalInterfaceBounds[i].getExactType();
					}
					tv.setAdditionalInterfaceBounds(ifBounds);
				}
				ResolvedType rType = tvrType.resolve(scope.getWorld());
				if (dim != 0) {
					rType = ResolvedType.makeArray(rType, dim);
				}
				return new ExactTypePattern(rType, includeSubtypes, isVarArgs);
			}
			return this; // leave as wild type pattern then
		}
	}

	
When this method is called, we have resolved the base type to an exact type. We also have a set of type patterns for the
parameters. Time to perform some basic checks: - can the base type be parameterized? (is it generic) - can the type parameter
pattern list match the number of parameters on the base type - do all parameter patterns meet the bounds of the respective
type variables If any of these checks fail, a warning message is issued and we return false.
Returns:
/**
	 * When this method is called, we have resolved the base type to an exact type. We also have a set of type patterns for the
	 * parameters. Time to perform some basic checks: - can the base type be parameterized? (is it generic) - can the type parameter
	 * pattern list match the number of parameters on the base type - do all parameter patterns meet the bounds of the respective
	 * type variables If any of these checks fail, a warning message is issued and we return false.
	 * 
	 * @return
	 */
	private boolean verifyTypeParameters(ResolvedType baseType, IScope scope, boolean requireExactType) {
		ResolvedType genericType = baseType.getGenericType();
		if (genericType == null) {
			// issue message "does not match because baseType.getName() is not generic"
			scope.message(MessageUtil.warn(WeaverMessages.format(WeaverMessages.NOT_A_GENERIC_TYPE, baseType.getName()),
					getSourceLocation()));
			return false;
		}
		int minRequiredTypeParameters = typeParameters.size();
		boolean foundEllipsis = false;
		TypePattern[] typeParamPatterns = typeParameters.getTypePatterns();
		for (int i = 0; i < typeParamPatterns.length; i++) {
			if (typeParamPatterns[i] instanceof WildTypePattern) {
				WildTypePattern wtp = (WildTypePattern) typeParamPatterns[i];
				if (wtp.ellipsisCount > 0) {
					foundEllipsis = true;
					minRequiredTypeParameters--;
				}
			}
		}
		TypeVariable[] tvs = genericType.getTypeVariables();
		if ((tvs.length < minRequiredTypeParameters) || (!foundEllipsis && minRequiredTypeParameters != tvs.length)) {
			// issue message "does not match because wrong no of type params"
			String msg = WeaverMessages.format(WeaverMessages.INCORRECT_NUMBER_OF_TYPE_ARGUMENTS, genericType.getName(),
					new Integer(tvs.length));
			if (requireExactType) {
				scope.message(MessageUtil.error(msg, getSourceLocation()));
			} else {
				scope.message(MessageUtil.warn(msg, getSourceLocation()));
			}
			return false;
		}

		// now check that each typeParameter pattern, if exact, matches the bounds
		// of the type variable.

		// pr133307 - delay verification until type binding completion, these next few lines replace
		// the call to checkBoundsOK
		if (!boundscheckingoff) {
			VerifyBoundsForTypePattern verification = new VerifyBoundsForTypePattern(scope, genericType, requireExactType,
					typeParameters, getSourceLocation());
			scope.getWorld().getCrosscuttingMembersSet().recordNecessaryCheck(verification);
		}
		// return checkBoundsOK(scope,genericType,requireExactType);

		return true;
	}

	
By capturing the verification in this class, rather than performing it in verifyTypeParameters(), we can cope with situations
where the interactions between generics and declare parents would otherwise cause us problems. For example, if verifying as
we go along we may report a problem which would have been fixed by a declare parents that we haven't looked at yet. If we
create and store a verification object, we can verify this later when the type system is considered 'complete'
/**
	 * By capturing the verification in this class, rather than performing it in verifyTypeParameters(), we can cope with situations
	 * where the interactions between generics and declare parents would otherwise cause us problems. For example, if verifying as
	 * we go along we may report a problem which would have been fixed by a declare parents that we haven't looked at yet. If we
	 * create and store a verification object, we can verify this later when the type system is considered 'complete'
	 */
	static class VerifyBoundsForTypePattern implements IVerificationRequired {

		private final IScope scope;
		private final ResolvedType genericType;
		private final boolean requireExactType;
		private TypePatternList typeParameters = TypePatternList.EMPTY;
		private final ISourceLocation sLoc;

		public VerifyBoundsForTypePattern(IScope scope, ResolvedType genericType, boolean requireExactType,
				TypePatternList typeParameters, ISourceLocation sLoc) {
			this.scope = scope;
			this.genericType = genericType;
			this.requireExactType = requireExactType;
			this.typeParameters = typeParameters;
			this.sLoc = sLoc;
		}

		public void verify() {
			TypeVariable[] tvs = genericType.getTypeVariables();
			TypePattern[] typeParamPatterns = typeParameters.getTypePatterns();
			if (typeParameters.areAllExactWithNoSubtypesAllowed()) {
				for (int i = 0; i < tvs.length; i++) {
					UnresolvedType ut = typeParamPatterns[i].getExactType();
					boolean continueCheck = true;
					// FIXME asc dont like this but ok temporary measure. If the type parameter
					// is itself a type variable (from the generic aspect) then assume it'll be
					// ok... (see pr112105) Want to break this? Run GenericAspectK test.
					if (ut.isTypeVariableReference()) {
						continueCheck = false;
					}

					// System.err.println("Verifying "+ut.getName()+" meets bounds for "+tvs[i]);
					if (continueCheck && !tvs[i].canBeBoundTo(ut.resolve(scope.getWorld()))) {
						// issue message that type parameter does not meet specification
						String parameterName = ut.getName();
						if (ut.isTypeVariableReference()) {
							parameterName = ((TypeVariableReference) ut).getTypeVariable().getDisplayName();
						}
						String msg = WeaverMessages.format(WeaverMessages.VIOLATES_TYPE_VARIABLE_BOUNDS, parameterName,
								new Integer(i + 1), tvs[i].getDisplayName(), genericType.getName());
						if (requireExactType) {
							scope.message(MessageUtil.error(msg, sLoc));
						} else {
							scope.message(MessageUtil.warn(msg, sLoc));
						}
					}
				}
			}
		}
	}

	// pr133307 - moved to verification object
	// public boolean checkBoundsOK(IScope scope,ResolvedType genericType,boolean requireExactType) {
	// if (boundscheckingoff) return true;
	// TypeVariable[] tvs = genericType.getTypeVariables();
	// TypePattern[] typeParamPatterns = typeParameters.getTypePatterns();
	// if (typeParameters.areAllExactWithNoSubtypesAllowed()) {
	// for (int i = 0; i < tvs.length; i++) {
	// UnresolvedType ut = typeParamPatterns[i].getExactType();
	// boolean continueCheck = true;
	// // FIXME asc dont like this but ok temporary measure. If the type parameter
	// // is itself a type variable (from the generic aspect) then assume it'll be
	// // ok... (see pr112105) Want to break this? Run GenericAspectK test.
	// if (ut.isTypeVariableReference()) {
	// continueCheck = false;
	// }
	//				
	// if (continueCheck &&
	// !tvs[i].canBeBoundTo(ut.resolve(scope.getWorld()))) {
	// // issue message that type parameter does not meet specification
	// String parameterName = ut.getName();
	// if (ut.isTypeVariableReference()) parameterName = ((TypeVariableReference)ut).getTypeVariable().getDisplayName();
	// String msg =
	// WeaverMessages.format(
	// WeaverMessages.VIOLATES_TYPE_VARIABLE_BOUNDS,
	// parameterName,
	// new Integer(i+1),
	// tvs[i].getDisplayName(),
	// genericType.getName());
	// if (requireExactType) scope.message(MessageUtil.error(msg,getSourceLocation()));
	// else scope.message(MessageUtil.warn(msg,getSourceLocation()));
	// return false;
	// }
	// }
	// }
	// return true;
	// }

	@Override
	public boolean isStar() {
		boolean annPatternStar = annotationPattern == AnnotationTypePattern.ANY;
		return (isNamePatternStar() && annPatternStar && dim == 0);
	}

	private boolean isNamePatternStar() {
		return namePatterns.length == 1 && namePatterns[0].isAny();
	}

	
Returns:
those possible matches which I match exactly the last element of/**
	 * @return those possible matches which I match exactly the last element of
	 */
	private String[] preMatch(String[] possibleMatches) {
		// if (namePatterns.length != 1) return CollectionUtil.NO_STRINGS;

		List<String> ret = new ArrayList<String>();
		for (int i = 0, len = possibleMatches.length; i < len; i++) {
			char[][] names = splitNames(possibleMatches[i], true); // ??? not most efficient
			if (namePatterns[0].matches(names[names.length - 1])) {
				ret.add(possibleMatches[i]);
				continue;
			}
			if (possibleMatches[i].indexOf("$") != -1) {
				names = splitNames(possibleMatches[i], false); // ??? not most efficient
				if (namePatterns[0].matches(names[names.length - 1])) {
					ret.add(possibleMatches[i]);
				}
			}
		}
		return ret.toArray(new String[ret.size()]);
	}

	// public void postRead(ResolvedType enclosingType) {
	// this.importedPrefixes = enclosingType.getImportedPrefixes();
	// this.knownNames = prematch(enclosingType.getImportedNames());
	// }

	@Override
	public String toString() {
		StringBuffer buf = new StringBuffer();
		if (annotationPattern != AnnotationTypePattern.ANY) {
			buf.append('(');
			buf.append(annotationPattern.toString());
			buf.append(' ');
		}
		for (int i = 0, len = namePatterns.length; i < len; i++) {
			NamePattern name = namePatterns[i];
			if (name == null) {
				buf.append(".");
			} else {
				if (i > 0) {
					buf.append(".");
				}
				buf.append(name.toString());
			}
		}
		if (upperBound != null) {
			buf.append(" extends ");
			buf.append(upperBound.toString());
		}
		if (lowerBound != null) {
			buf.append(" super ");
			buf.append(lowerBound.toString());
		}
		if (typeParameters != null && typeParameters.size() != 0) {
			buf.append("<");
			buf.append(typeParameters.toString());
			buf.append(">");
		}
		if (includeSubtypes) {
			buf.append('+');
		}
		if (isVarArgs) {
			buf.append("...");
		}
		if (annotationPattern != AnnotationTypePattern.ANY) {
			buf.append(')');
		}
		return buf.toString();
	}

	@Override
	public boolean equals(Object other) {
		if (!(other instanceof WildTypePattern)) {
			return false;
		}
		WildTypePattern o = (WildTypePattern) other;
		int len = o.namePatterns.length;
		if (len != this.namePatterns.length) {
			return false;
		}
		if (this.includeSubtypes != o.includeSubtypes) {
			return false;
		}
		if (this.dim != o.dim) {
			return false;
		}
		if (this.isVarArgs != o.isVarArgs) {
			return false;
		}
		if (this.upperBound != null) {
			if (o.upperBound == null) {
				return false;
			}
			if (!this.upperBound.equals(o.upperBound)) {
				return false;
			}
		} else {
			if (o.upperBound != null) {
				return false;
			}
		}
		if (this.lowerBound != null) {
			if (o.lowerBound == null) {
				return false;
			}
			if (!this.lowerBound.equals(o.lowerBound)) {
				return false;
			}
		} else {
			if (o.lowerBound != null) {
				return false;
			}
		}
		if (!typeParameters.equals(o.typeParameters)) {
			return false;
		}
		for (int i = 0; i < len; i++) {
			if (!o.namePatterns[i].equals(this.namePatterns[i])) {
				return false;
			}
		}
		return (o.annotationPattern.equals(this.annotationPattern));
	}

	@Override
	public int hashCode() {
		int result = 17;
		for (int i = 0, len = namePatterns.length; i < len; i++) {
			result = 37 * result + namePatterns[i].hashCode();
		}
		result = 37 * result + annotationPattern.hashCode();
		if (upperBound != null) {
			result = 37 * result + upperBound.hashCode();
		}
		if (lowerBound != null) {
			result = 37 * result + lowerBound.hashCode();
		}
		return result;
	}

	private static final byte VERSION = 1; // rev on change

	@Override
	public void write(CompressingDataOutputStream s) throws IOException {
		s.writeByte(TypePattern.WILD);
		s.writeByte(VERSION);
		s.writeShort(namePatterns.length);
		for (int i = 0; i < namePatterns.length; i++) {
			namePatterns[i].write(s);
		}
		s.writeBoolean(includeSubtypes);
		s.writeInt(dim);
		s.writeBoolean(isVarArgs);
		typeParameters.write(s); // ! change from M2
		// ??? storing this information with every type pattern is wasteful of .class
		// file size. Storing it on enclosing types would be more efficient
		FileUtil.writeStringArray(knownMatches, s);
		FileUtil.writeStringArray(importedPrefixes, s);
		writeLocation(s);
		annotationPattern.write(s);
		// generics info, new in M3
		s.writeBoolean(isGeneric);
		s.writeBoolean(upperBound != null);
		if (upperBound != null) {
			upperBound.write(s);
		}
		s.writeBoolean(lowerBound != null);
		if (lowerBound != null) {
			lowerBound.write(s);
		}
		s.writeInt(additionalInterfaceBounds == null ? 0 : additionalInterfaceBounds.length);
		if (additionalInterfaceBounds != null) {
			for (int i = 0; i < additionalInterfaceBounds.length; i++) {
				additionalInterfaceBounds[i].write(s);
			}
		}
	}

	public static TypePattern read(VersionedDataInputStream s, ISourceContext context) throws IOException {
		if (s.getMajorVersion() >= AjAttribute.WeaverVersionInfo.WEAVER_VERSION_MAJOR_AJ150) {
			return readTypePattern150(s, context);
		} else {
			return readTypePatternOldStyle(s, context);
		}
	}

	public static TypePattern readTypePattern150(VersionedDataInputStream s, ISourceContext context) throws IOException {
		byte version = s.readByte();
		if (version > VERSION) {
			throw new BCException("WildTypePattern was written by a more recent version of AspectJ, cannot read");
		}
		int len = s.readShort();
		NamePattern[] namePatterns = new NamePattern[len];
		for (int i = 0; i < len; i++) {
			namePatterns[i] = NamePattern.read(s);
		}
		boolean includeSubtypes = s.readBoolean();
		int dim = s.readInt();
		boolean varArg = s.readBoolean();
		TypePatternList typeParams = TypePatternList.read(s, context);
		WildTypePattern ret = new WildTypePattern(namePatterns, includeSubtypes, dim, varArg, typeParams);
		ret.knownMatches = FileUtil.readStringArray(s);
		ret.importedPrefixes = FileUtil.readStringArray(s);
		ret.readLocation(context, s);
		ret.setAnnotationTypePattern(AnnotationTypePattern.read(s, context));
		// generics info, new in M3
		ret.isGeneric = s.readBoolean();
		if (s.readBoolean()) {
			ret.upperBound = TypePattern.read(s, context);
		}
		if (s.readBoolean()) {
			ret.lowerBound = TypePattern.read(s, context);
		}
		int numIfBounds = s.readInt();
		if (numIfBounds > 0) {
			ret.additionalInterfaceBounds = new TypePattern[numIfBounds];
			for (int i = 0; i < numIfBounds; i++) {
				ret.additionalInterfaceBounds[i] = TypePattern.read(s, context);
			}
		}
		return ret;
	}

	public static TypePattern readTypePatternOldStyle(VersionedDataInputStream s, ISourceContext context) throws IOException {
		int len = s.readShort();
		NamePattern[] namePatterns = new NamePattern[len];
		for (int i = 0; i < len; i++) {
			namePatterns[i] = NamePattern.read(s);
		}
		boolean includeSubtypes = s.readBoolean();
		int dim = s.readInt();
		WildTypePattern ret = new WildTypePattern(namePatterns, includeSubtypes, dim, false, null);
		ret.knownMatches = FileUtil.readStringArray(s);
		ret.importedPrefixes = FileUtil.readStringArray(s);
		ret.readLocation(context, s);
		return ret;
	}

	@Override
	public Object accept(PatternNodeVisitor visitor, Object data) {
		return visitor.visit(this, data);
	}

	public boolean hasFailedResolution() {
		return failedResolution;
	}

}