tests and fix for bug pr106461:
 "org.aspectj.weaver.patterns.WildTypePattern.maybeGetCleanName(WildTypePattern.java:500)"

support for binding of parameterized types in after returning().

test cases for after throwing and after returning with generic and parameterized types.

ensure that the generic signature information for advice is retained

tests for args - this completes the implementation of generic and parameterized type matching for ALL pointcuts in AspectJ 5. yay.

now handles resolving of generic wildcards in type patterns

make sure that "all exact" testing takes into account subtype flags

>> and >>> are lexed as tokens by the JDT parser. We always want >,> and >,>,> - yuck.

ensure we don't try and insert an instanceof test for a parameterized type

I only changed a comment, honestly, I only changed a comment....

args fully updated for generics and parameterized types

don't try and make BcelObjectTypes for parameterized types

resolved members never belong to raw types, but the backing generic type

added getSimpleName which looks better when used in error and warning messages

a type variable reference type should never be treated as a generic wildcard

a shadow now remembers the resolved version of its signature

support for coercion testing with parameterized types

added unchecked match warning

added toGenericString

support for coercion testing

new tests cases for args with generics and generic methods in general

genericitds:  2 big changes here:  I've modifed the super/extends stuff so its only in one place (UnresolvedType) - making it available through the type hierarchy.  I've modified the TypeMap in the World to avoid putting entries in the type map which might confuse us later.  This fix stops us putting parameterized types that are parameterized by type variables from a generic member into the typemap, since we may look them up later for another member that happened to use the same variable name but had different bounds specified.  I'm sure its not perfect yet, but it is definetly improved.  things like Enum<E> still go in the typemap since E is not a generic member type variable.

GenericAspects: from AJDK

this version is built with -1.3 ;)

some updates to make this sort-of-compile

updated rules that allow ITDs on generic types using type parameters

genericitds: reusing similar specifications for type variables in the same aspect 'Comparable<? super T/P>'.  If our logic isnt working correctly, it reports a problem with calls to the second ITD thinking it is specified as '<P extends Object & Comparable<? super T>>'

genericitds: test programs for ITDs targetting the different kinds of type.

Fix for pr98901: copying annotations to new members created via ITD !!

genericitds:

generic itds:

genericitds: sharing type variables with generic type - parsing test

genericitds: test programs

tests and implementation for calls to bridge methods. This completes the implementation of the call pointcut for generic and parameterized types.

tests and fix for call pointcut matching with various generic and parameterized types

genericitds: lots of new support for recursive type variables and ITD ctors.

oops, this is the implementation that is needed for the execution tests I committed to pass...

test cases for execution pointcut with generic and parameterized types. This completes the implementation of the execution pcd with generics. :)

last couple of withincode tests - this completes the testing and implementation of withincode with generic and parameterized types

with the new matching algorithm, these tests now pass - hurrah!

signature matching algorithm simplified, sorted, and fully genericised.

improved and additional signature matching tests

changed Member to be an interface with impl MemberImpl. changed ResolvedMember to be an interface with impl ResolvedMemberImpl

fixed broken example wrt. annotation inheritance

genericitds: more combinations

genericitds: now we're getting silly..

genericitds: more combinations

genericitds: the possibilities are endless.

genericitds: using wildcard '? extends Type' and '? extends <TypeVariable>'.  Basically preserves wildcardbindings that are built by eclipse as boundedreferencetypes.

genericitds: using wildcard '? extends' with typevariables.

changes for initialization and preinitialization join point matching with generic and parameterized types. This completes the implementation of these pointcuts.

tests for initialization and preinitialization pointcut matching with generics

genericitds: using wildcard '? extends Type'

genericitds: using wildcard '? extends' with typevariables.

ensure that wildcard bounds for things like ? extends and ? super are fully taken into account when matching.

consider the true (generic signature) type of a field when matching "return type".

the name says it all ;)

take type parameters into account for equality and hashCode

avoids creating field signature twice

removed some dead code

removed dead imports

fields now unpack their generic signature to determine the true field type

pruned some dead code

new messages emitted during pointcut resolution when parameterized type patterns are used in inappropriate places.

fixes paramerization for raw types so that List<T> goes to List and not List<Object>

test cases for get, set, staticinitialization, this, target, and within pointcuts matching with various generic and parameterized combos. The implementation of these pointcuts is now complete.

no more parameterized or type variable types for declaring type patterns (generics simplification plan).

parser updates for generics simplification plan

full support for generic wildcard (?, ? extends, ? super)

eliminates unwanted "genericSignature" attribute, and adds full support for generic wildcard (?, ? extends, ? super)

updates to tests in accordance with generics simplification plan

...

ajh02 initials removed !

part of fix for annotations appearing on public members: can now ask AnnotationX if it represents a runtime visible annotation

part of fix for annotations appearing on public members: new accessor method for obtaining dispatcher

organized imports

fix corrupted test failing on Jrockit, fix a ltw doc, ltw include are ORed as per doc

generic decp: now polices you supply the right number of parameters and they have the right bounds on your decp statement.

changed dumb testcase

genericmethoditd: implements tag interface

genericmethoditd: tag for type/method since either of those can declare a type variable.

genericmethoditd: record a rank/declaringelement, like their Eclipse counterparts.

genericmethoditd: VersionedDataInputStream

genericmethoditd: testcase

genericmethoditd: uses different ctor so tvariables arent lost

genericmethoditd: keep a note of rank/declaringelement in tvariable

genericmethoditd: helper methods for going to/from resolvedmembers/methodbindings, including typevariable conversions between TypeVariableReferences and TypeVariableBindings.

genericmethoditd: forces Resolvedmember to remember typevariables

rebuilt jars because of resolvedmember serialization change to remember type variables.

includes change so parameterizedgenericmethodbindings know about underlying ITD generic methods that they represent.

includes change so parameterizedgenericmethodbindings know about underlying ITD generic methods that they represent.

update to style sheet to fix unpleasant title wrapping on IE

add the version when we add either aspect/pointcut attributes.

sick sick sick generic itd tests.

minor versioning improvement.  dont add the version attribute if someone else already has.

fixing the versioning problem.  Up until now if we found no version in a class we 'assumed' it was the latest (1.5.0) - this is dumb.  No version really means it is probably 1.2.0 (as the version was added for 1.2.1).  These fixes mean that you can now safely check that version when reading in attributes, confident that checking for 1.5.0 *means* 1.5.0 was used to build it.

generics: testcase - static generic method ITD

generics: testcase - static generic method ITD

This commit simply makes the World a better place.

I've refactored, tidied, and commented. Members now have minimum necessary visibility (e.g fields are private). Some redundant methods are eliminated altogether. Also caches precedence calculations, but other than that there are no functional changes.

removed erroneous "s" from method name