test cases for all examples in the new generics chapter of the ajdk

test case for user list reported problem with annotations on an intermediate type in a hierarchy

fix for bug 98952: @AJ if pointcut

re-enabling tests with @AJ processing in ajc since these now pass.

@AJ PTW polish as per aj$getInstance does not rethrow the exc but return null #92880

fix for Bugzilla Bug 107059
   parser crashes on call(void (@a *)(..)

implementation of parameterize with for EllipsisTypePattern

implementation of parameterize with

added isAny() to enable easy testing for full wildcard

test for declare soft with type vars

tests for pr106130 and pr107059

ajc-test drivers for 106130, 107059, and declare soft in generic aspect

test for declare soft in a generic aspect when using type vars

tests for pr106130

test for Bugzilla Bug 107059
   parser crashes on call(void (@a *)(..)

updated message text...

removed 1.3 testing temporarily to keep build happy?

fix for 98952 : @AJ if pointcut

debug?

updated to push on genericIdentifiersLength stack rather than just move the stack pointer.

Fix for pr92880: I've removed the exception clause from the declaration of ajc$getInstance() and modified the internals to return null if an exception occurs rather than rethrowing it.  I've only changed the code gen in the compiler layer, not in the weaver layer.  (interestingly with only my compiler layer change, no tests fail...)

updated parsing of type parameters in OnType of ITDs

genericitds: more method/ctor ITDs that use their target types generic type variables. plus some basic generic aspects that combine the building blocks

genericitds: more method/ctor ITDs that use their target types generic type variables.

genericitds: more combinations...

genericitds: method ITDs that use their target types generic type variables.

for one little change, this sure was a hell of a lot of work to track down. Fixes bug pr106130 where methods using iinc instructions with > 255 local vars were failing to generate wide versions of iinc instruction correctly.  Only change in the jar is to IINC class.

for one little change, this sure was a hell of a lot of work to track down. Fixes bug pr106130 where methods using iinc instructions with > 255 local vars were failing to generate wide versions of iinc instruction correctly.

-Xlint:xxx and -Xlintfile:xxx in aop.xml

test cases for generic aspects can now be included in main suite

test case and fix for (.....)+ type pattern parsing

genericitds: field type mungers now understand a map from type variable names to positions (for generic itds).  Some changes to assignable rules to support the new possibilities.

genericitds: when the compiler asks for a member that is in fact from an ITD on a generic type, we fix up the field and return it parameterized for the particular type.

genericitds: loads of checks added for when specifying a generic target type for an ITD.  Also builds the map from the names used in the ITD to the positions of the type variables in the generic type.

genericitds: tells the member finder to remember the munger so it can correctly replace type variable refs for a target type.

genericitds: dont lookup those type variables ...

genericitds: on first construction of the ITD, it builds some 'placeholder' type parameters to keep the eclipse compiler happy, these will be replaced later by the InterTypeMemberFinder when the compiler asks for the field (if anyone uses it...)

genericitds: Using target type variables in your ITD field declarations.

genericitds: fields using target types tvars: New parameterization class that wraps an intertype field binding, like the one that wraps a normal field binding

another case of ArrayStoreException - a bug that Java generics would actually have prevented.

genericitds: Using target type variables in your ITD field declarations.

genericitds: Using target type variables in your ITD field declarations.

patch from David Knibb (IBM) to make test more resilient to JVM differences in toString() implementation on annotations

remove dependency on 1.5 API and bizarre unwanted import

generic aspect testcases - woohoo!

initial "parameterizeWith" support for declares

early "parameterizeWith" support for type patterns

early "parameterizeWith" support for pointcuts

proper handling of type variable signatures ("Txxx;")

only collect declares from concrete aspects

implementation of parameterizeWith

declares from a parameterized super-aspect are now parameterized before returning to caller

fixed completely broken implementation of findAspectDeclaringParents and made sure that no declares can end up in the list of declares known to the world twice (this needed because declares are now added from concrete aspects so two concrete sub-aspects of the same abstract aspect will both pick up the same super declare)

a declare parents in an abstract aspect has no effect unless at least one concrete sub-aspect exists in the world

forgot to add that one in my last commit

updated to test for non-parameterized super aspect

when unpacking the generic signature of a nested type, we also need to take into account formal type parameters declared on the outer type.

use $ not / to separate nested types in signatures

test case for pr106634 :
  regression: argument causes BcelGenericSignatureToTypeXConverter.java:203

check that only abstract aspects can have type parameters, and that a generic super-aspect is fully parameterized in an extends clause.

includes fix in GenericSignatureParser to handle nested types properly.

removed hard-coded date of July 5th

removed import of non-existing file

fixed bug whereby we were adding a String into an array of Signature objects

add test for proxy weaving and jit class weaving, update ltw doc

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