]>
source.dussan.org Git - aspectj.git/log
aclement [Fri, 12 Aug 2005 10:58:37 +0000 (10:58 +0000)]
genericitds: dont lookup those type variables ...
aclement [Fri, 12 Aug 2005 10:57:38 +0000 (10:57 +0000)]
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...)
aclement [Fri, 12 Aug 2005 10:18:33 +0000 (10:18 +0000)]
genericitds: Using target type variables in your ITD field declarations.
aclement [Fri, 12 Aug 2005 10:15:30 +0000 (10:15 +0000)]
genericitds: fields using target types tvars: New parameterization class that wraps an intertype field binding, like the one that wraps a normal field binding
acolyer [Fri, 12 Aug 2005 10:10:03 +0000 (10:10 +0000)]
another case of ArrayStoreException - a bug that Java generics would actually have prevented.
aclement [Fri, 12 Aug 2005 10:08:09 +0000 (10:08 +0000)]
genericitds: Using target type variables in your ITD field declarations.
aclement [Fri, 12 Aug 2005 08:28:21 +0000 (08:28 +0000)]
genericitds: Using target type variables in your ITD field declarations.
acolyer [Fri, 12 Aug 2005 07:44:14 +0000 (07:44 +0000)]
patch from David Knibb (IBM) to make test more resilient to JVM differences in toString() implementation on annotations
acolyer [Fri, 12 Aug 2005 07:36:41 +0000 (07:36 +0000)]
remove dependency on 1.5 API and bizarre unwanted import
acolyer [Thu, 11 Aug 2005 15:30:37 +0000 (15:30 +0000)]
generic aspect testcases - woohoo!
acolyer [Thu, 11 Aug 2005 15:30:19 +0000 (15:30 +0000)]
initial "parameterizeWith" support for declares
acolyer [Thu, 11 Aug 2005 15:29:56 +0000 (15:29 +0000)]
early "parameterizeWith" support for type patterns
acolyer [Thu, 11 Aug 2005 15:29:35 +0000 (15:29 +0000)]
early "parameterizeWith" support for pointcuts
acolyer [Thu, 11 Aug 2005 14:59:50 +0000 (14:59 +0000)]
proper handling of type variable signatures ("Txxx;")
acolyer [Thu, 11 Aug 2005 14:59:14 +0000 (14:59 +0000)]
only collect declares from concrete aspects
acolyer [Thu, 11 Aug 2005 14:58:38 +0000 (14:58 +0000)]
implementation of parameterizeWith
acolyer [Thu, 11 Aug 2005 14:58:10 +0000 (14:58 +0000)]
declares from a parameterized super-aspect are now parameterized before returning to caller
acolyer [Thu, 11 Aug 2005 14:57:28 +0000 (14:57 +0000)]
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)
acolyer [Thu, 11 Aug 2005 14:54:52 +0000 (14:54 +0000)]
a declare parents in an abstract aspect has no effect unless at least one concrete sub-aspect exists in the world
avasseur [Thu, 11 Aug 2005 11:02:08 +0000 (11:02 +0000)]
forgot to add that one in my last commit
acolyer [Thu, 11 Aug 2005 10:40:28 +0000 (10:40 +0000)]
updated to test for non-parameterized super aspect
acolyer [Thu, 11 Aug 2005 10:39:30 +0000 (10:39 +0000)]
when unpacking the generic signature of a nested type, we also need to take into account formal type parameters declared on the outer type.
acolyer [Thu, 11 Aug 2005 10:38:59 +0000 (10:38 +0000)]
use $ not / to separate nested types in signatures
acolyer [Thu, 11 Aug 2005 10:38:15 +0000 (10:38 +0000)]
test case for pr106634 :
regression: argument causes BcelGenericSignatureToTypeXConverter.java:203
acolyer [Thu, 11 Aug 2005 10:37:26 +0000 (10:37 +0000)]
check that only abstract aspects can have type parameters, and that a generic super-aspect is fully parameterized in an extends clause.
acolyer [Thu, 11 Aug 2005 10:36:32 +0000 (10:36 +0000)]
includes fix in GenericSignatureParser to handle nested types properly.
acolyer [Thu, 11 Aug 2005 10:35:41 +0000 (10:35 +0000)]
removed hard-coded date of July 5th
acolyer [Thu, 11 Aug 2005 10:35:20 +0000 (10:35 +0000)]
removed import of non-existing file
acolyer [Thu, 11 Aug 2005 10:35:01 +0000 (10:35 +0000)]
fixed bug whereby we were adding a String into an array of Signature objects
avasseur [Thu, 11 Aug 2005 09:22:07 +0000 (09:22 +0000)]
add test for proxy weaving and jit class weaving, update ltw doc
acolyer [Wed, 10 Aug 2005 11:49:34 +0000 (11:49 +0000)]
tests and fix for bug pr106461:
"org.aspectj.weaver.patterns.WildTypePattern.maybeGetCleanName(WildTypePattern.java:500)"
acolyer [Wed, 10 Aug 2005 08:39:35 +0000 (08:39 +0000)]
support for binding of parameterized types in after returning().
acolyer [Wed, 10 Aug 2005 08:39:08 +0000 (08:39 +0000)]
test cases for after throwing and after returning with generic and parameterized types.
acolyer [Wed, 10 Aug 2005 08:38:32 +0000 (08:38 +0000)]
ensure that the generic signature information for advice is retained
acolyer [Tue, 9 Aug 2005 13:04:57 +0000 (13:04 +0000)]
tests for args - this completes the implementation of generic and parameterized type matching for ALL pointcuts in AspectJ 5. yay.
acolyer [Tue, 9 Aug 2005 13:04:18 +0000 (13:04 +0000)]
now handles resolving of generic wildcards in type patterns
acolyer [Tue, 9 Aug 2005 13:03:49 +0000 (13:03 +0000)]
make sure that "all exact" testing takes into account subtype flags
acolyer [Tue, 9 Aug 2005 13:03:22 +0000 (13:03 +0000)]
>> and >>> are lexed as tokens by the JDT parser. We always want >,> and >,>,> - yuck.
acolyer [Tue, 9 Aug 2005 13:02:45 +0000 (13:02 +0000)]
ensure we don't try and insert an instanceof test for a parameterized type
acolyer [Tue, 9 Aug 2005 13:02:11 +0000 (13:02 +0000)]
I only changed a comment, honestly, I only changed a comment....
acolyer [Tue, 9 Aug 2005 13:01:44 +0000 (13:01 +0000)]
args fully updated for generics and parameterized types
acolyer [Tue, 9 Aug 2005 13:00:38 +0000 (13:00 +0000)]
don't try and make BcelObjectTypes for parameterized types
acolyer [Tue, 9 Aug 2005 12:59:55 +0000 (12:59 +0000)]
resolved members never belong to raw types, but the backing generic type
acolyer [Tue, 9 Aug 2005 12:59:26 +0000 (12:59 +0000)]
added getSimpleName which looks better when used in error and warning messages
acolyer [Tue, 9 Aug 2005 12:58:59 +0000 (12:58 +0000)]
a type variable reference type should never be treated as a generic wildcard
acolyer [Tue, 9 Aug 2005 12:58:31 +0000 (12:58 +0000)]
a shadow now remembers the resolved version of its signature
acolyer [Tue, 9 Aug 2005 12:57:56 +0000 (12:57 +0000)]
support for coercion testing with parameterized types
acolyer [Tue, 9 Aug 2005 12:57:09 +0000 (12:57 +0000)]
added unchecked match warning
acolyer [Tue, 9 Aug 2005 12:56:54 +0000 (12:56 +0000)]
added toGenericString
acolyer [Tue, 9 Aug 2005 12:56:40 +0000 (12:56 +0000)]
support for coercion testing
acolyer [Tue, 9 Aug 2005 12:56:00 +0000 (12:56 +0000)]
new tests cases for args with generics and generic methods in general
aclement [Tue, 9 Aug 2005 10:19:41 +0000 (10:19 +0000)]
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.
aclement [Tue, 9 Aug 2005 10:08:07 +0000 (10:08 +0000)]
GenericAspects: from AJDK
acolyer [Tue, 9 Aug 2005 08:38:51 +0000 (08:38 +0000)]
this version is built with -1.3 ;)
acolyer [Mon, 8 Aug 2005 15:57:29 +0000 (15:57 +0000)]
some updates to make this sort-of-compile
acolyer [Mon, 8 Aug 2005 15:54:47 +0000 (15:54 +0000)]
updated rules that allow ITDs on generic types using type parameters
aclement [Mon, 8 Aug 2005 15:18:46 +0000 (15:18 +0000)]
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>>'
aclement [Mon, 8 Aug 2005 15:16:15 +0000 (15:16 +0000)]
genericitds: test programs for ITDs targetting the different kinds of type.
aclement [Mon, 8 Aug 2005 09:54:54 +0000 (09:54 +0000)]
Fix for pr98901: copying annotations to new members created via ITD !!
aclement [Mon, 8 Aug 2005 09:06:58 +0000 (09:06 +0000)]
genericitds:
aclement [Mon, 8 Aug 2005 08:37:08 +0000 (08:37 +0000)]
generic itds:
aclement [Mon, 8 Aug 2005 08:36:05 +0000 (08:36 +0000)]
genericitds: sharing type variables with generic type - parsing test
aclement [Mon, 8 Aug 2005 08:33:09 +0000 (08:33 +0000)]
genericitds: test programs
acolyer [Fri, 5 Aug 2005 10:19:23 +0000 (10:19 +0000)]
tests and implementation for calls to bridge methods. This completes the implementation of the call pointcut for generic and parameterized types.
acolyer [Fri, 5 Aug 2005 08:59:15 +0000 (08:59 +0000)]
tests and fix for call pointcut matching with various generic and parameterized types
aclement [Thu, 4 Aug 2005 16:11:03 +0000 (16:11 +0000)]
genericitds: lots of new support for recursive type variables and ITD ctors.
acolyer [Thu, 4 Aug 2005 15:51:50 +0000 (15:51 +0000)]
oops, this is the implementation that is needed for the execution tests I committed to pass...
acolyer [Thu, 4 Aug 2005 14:41:28 +0000 (14:41 +0000)]
test cases for execution pointcut with generic and parameterized types. This completes the implementation of the execution pcd with generics. :)
acolyer [Thu, 4 Aug 2005 14:17:12 +0000 (14:17 +0000)]
last couple of withincode tests - this completes the testing and implementation of withincode with generic and parameterized types
acolyer [Thu, 4 Aug 2005 14:06:09 +0000 (14:06 +0000)]
with the new matching algorithm, these tests now pass - hurrah!
acolyer [Thu, 4 Aug 2005 13:21:00 +0000 (13:21 +0000)]
signature matching algorithm simplified, sorted, and fully genericised.
acolyer [Thu, 4 Aug 2005 13:19:47 +0000 (13:19 +0000)]
improved and additional signature matching tests
acolyer [Thu, 4 Aug 2005 13:19:20 +0000 (13:19 +0000)]
changed Member to be an interface with impl MemberImpl. changed ResolvedMember to be an interface with impl ResolvedMemberImpl
acolyer [Thu, 4 Aug 2005 11:26:36 +0000 (11:26 +0000)]
fixed broken example wrt. annotation inheritance
aclement [Wed, 3 Aug 2005 10:50:44 +0000 (10:50 +0000)]
genericitds: more combinations
aclement [Wed, 3 Aug 2005 08:40:55 +0000 (08:40 +0000)]
genericitds: now we're getting silly..
aclement [Wed, 3 Aug 2005 07:39:34 +0000 (07:39 +0000)]
genericitds: more combinations
aclement [Fri, 29 Jul 2005 14:05:05 +0000 (14:05 +0000)]
genericitds: the possibilities are endless.
aclement [Fri, 29 Jul 2005 13:40:55 +0000 (13:40 +0000)]
genericitds: using wildcard '? extends Type' and '? extends <TypeVariable>'. Basically preserves wildcardbindings that are built by eclipse as boundedreferencetypes.
aclement [Fri, 29 Jul 2005 13:20:10 +0000 (13:20 +0000)]
genericitds: using wildcard '? extends' with typevariables.
acolyer [Fri, 29 Jul 2005 13:11:20 +0000 (13:11 +0000)]
changes for initialization and preinitialization join point matching with generic and parameterized types. This completes the implementation of these pointcuts.
acolyer [Fri, 29 Jul 2005 13:10:36 +0000 (13:10 +0000)]
tests for initialization and preinitialization pointcut matching with generics
aclement [Fri, 29 Jul 2005 12:50:05 +0000 (12:50 +0000)]
genericitds: using wildcard '? extends Type'
aclement [Fri, 29 Jul 2005 12:48:58 +0000 (12:48 +0000)]
genericitds: using wildcard '? extends' with typevariables.
acolyer [Fri, 29 Jul 2005 11:19:18 +0000 (11:19 +0000)]
ensure that wildcard bounds for things like ? extends and ? super are fully taken into account when matching.
acolyer [Fri, 29 Jul 2005 11:16:01 +0000 (11:16 +0000)]
consider the true (generic signature) type of a field when matching "return type".
acolyer [Fri, 29 Jul 2005 11:15:13 +0000 (11:15 +0000)]
the name says it all ;)
acolyer [Fri, 29 Jul 2005 11:14:52 +0000 (11:14 +0000)]
take type parameters into account for equality and hashCode
acolyer [Fri, 29 Jul 2005 11:14:18 +0000 (11:14 +0000)]
avoids creating field signature twice
acolyer [Fri, 29 Jul 2005 11:13:27 +0000 (11:13 +0000)]
removed some dead code
acolyer [Fri, 29 Jul 2005 11:13:06 +0000 (11:13 +0000)]
removed dead imports
acolyer [Fri, 29 Jul 2005 11:12:52 +0000 (11:12 +0000)]
fields now unpack their generic signature to determine the true field type
acolyer [Fri, 29 Jul 2005 11:12:21 +0000 (11:12 +0000)]
pruned some dead code
acolyer [Fri, 29 Jul 2005 11:11:58 +0000 (11:11 +0000)]
new messages emitted during pointcut resolution when parameterized type patterns are used in inappropriate places.
acolyer [Fri, 29 Jul 2005 11:11:29 +0000 (11:11 +0000)]
fixes paramerization for raw types so that List<T> goes to List and not List<Object>
acolyer [Fri, 29 Jul 2005 11:10:49 +0000 (11:10 +0000)]
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.
acolyer [Thu, 28 Jul 2005 10:56:48 +0000 (10:56 +0000)]
no more parameterized or type variable types for declaring type patterns (generics simplification plan).
acolyer [Thu, 28 Jul 2005 10:56:10 +0000 (10:56 +0000)]
parser updates for generics simplification plan
acolyer [Thu, 28 Jul 2005 10:55:30 +0000 (10:55 +0000)]
full support for generic wildcard (?, ? extends, ? super)
acolyer [Thu, 28 Jul 2005 10:55:10 +0000 (10:55 +0000)]
eliminates unwanted "genericSignature" attribute, and adds full support for generic wildcard (?, ? extends, ? super)