]>
source.dussan.org Git - aspectj.git/log
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)
acolyer [Thu, 28 Jul 2005 10:54:17 +0000 (10:54 +0000)]
updates to tests in accordance with generics simplification plan
aclement [Thu, 28 Jul 2005 10:46:48 +0000 (10:46 +0000)]
...
aclement [Thu, 28 Jul 2005 10:38:51 +0000 (10:38 +0000)]
ajh02 initials removed !
aclement [Thu, 28 Jul 2005 10:38:09 +0000 (10:38 +0000)]
part of fix for annotations appearing on public members: can now ask AnnotationX if it represents a runtime visible annotation
aclement [Thu, 28 Jul 2005 10:27:51 +0000 (10:27 +0000)]
part of fix for annotations appearing on public members: new accessor method for obtaining dispatcher
aclement [Thu, 28 Jul 2005 10:27:09 +0000 (10:27 +0000)]
organized imports
avasseur [Thu, 28 Jul 2005 10:15:26 +0000 (10:15 +0000)]
fix corrupted test failing on Jrockit, fix a ltw doc, ltw include are ORed as per doc
aclement [Wed, 27 Jul 2005 13:43:29 +0000 (13:43 +0000)]
generic decp: now polices you supply the right number of parameters and they have the right bounds on your decp statement.
aclement [Wed, 27 Jul 2005 11:51:03 +0000 (11:51 +0000)]
changed dumb testcase
aclement [Wed, 27 Jul 2005 11:49:55 +0000 (11:49 +0000)]
genericmethoditd: implements tag interface
aclement [Wed, 27 Jul 2005 11:49:25 +0000 (11:49 +0000)]
genericmethoditd: tag for type/method since either of those can declare a type variable.
aclement [Wed, 27 Jul 2005 11:49:03 +0000 (11:49 +0000)]
genericmethoditd: record a rank/declaringelement, like their Eclipse counterparts.
aclement [Wed, 27 Jul 2005 11:48:35 +0000 (11:48 +0000)]
genericmethoditd: VersionedDataInputStream
aclement [Wed, 27 Jul 2005 11:48:16 +0000 (11:48 +0000)]
genericmethoditd: testcase
aclement [Wed, 27 Jul 2005 11:47:51 +0000 (11:47 +0000)]
genericmethoditd: uses different ctor so tvariables arent lost
aclement [Wed, 27 Jul 2005 11:47:29 +0000 (11:47 +0000)]
genericmethoditd: keep a note of rank/declaringelement in tvariable
aclement [Wed, 27 Jul 2005 11:47:04 +0000 (11:47 +0000)]
genericmethoditd: helper methods for going to/from resolvedmembers/methodbindings, including typevariable conversions between TypeVariableReferences and TypeVariableBindings.
aclement [Wed, 27 Jul 2005 11:46:22 +0000 (11:46 +0000)]
genericmethoditd: forces Resolvedmember to remember typevariables
aclement [Wed, 27 Jul 2005 11:45:23 +0000 (11:45 +0000)]
rebuilt jars because of resolvedmember serialization change to remember type variables.
aclement [Wed, 27 Jul 2005 11:14:42 +0000 (11:14 +0000)]
includes change so parameterizedgenericmethodbindings know about underlying ITD generic methods that they represent.
aclement [Wed, 27 Jul 2005 10:51:45 +0000 (10:51 +0000)]
includes change so parameterizedgenericmethodbindings know about underlying ITD generic methods that they represent.
acolyer [Wed, 27 Jul 2005 09:28:43 +0000 (09:28 +0000)]
update to style sheet to fix unpleasant title wrapping on IE
aclement [Tue, 26 Jul 2005 15:10:20 +0000 (15:10 +0000)]
add the version when we add either aspect/pointcut attributes.
aclement [Tue, 26 Jul 2005 14:17:04 +0000 (14:17 +0000)]
sick sick sick generic itd tests.
aclement [Tue, 26 Jul 2005 14:15:32 +0000 (14:15 +0000)]
minor versioning improvement. dont add the version attribute if someone else already has.
aclement [Tue, 26 Jul 2005 14:01:14 +0000 (14:01 +0000)]
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.
aclement [Tue, 26 Jul 2005 08:38:34 +0000 (08:38 +0000)]
generics: testcase - static generic method ITD
aclement [Tue, 26 Jul 2005 08:25:05 +0000 (08:25 +0000)]
generics: testcase - static generic method ITD
acolyer [Sat, 23 Jul 2005 07:10:18 +0000 (07:10 +0000)]
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.
acolyer [Sat, 23 Jul 2005 07:08:10 +0000 (07:08 +0000)]
removed erroneous "s" from method name
acolyer [Sat, 23 Jul 2005 07:07:16 +0000 (07:07 +0000)]
added extra utility method for warnings
acolyer [Fri, 22 Jul 2005 15:38:36 +0000 (15:38 +0000)]
update to expected messages for type pattern matching with generics
acolyer [Fri, 22 Jul 2005 15:38:00 +0000 (15:38 +0000)]
annotated lines that should produce compilation warnings
acolyer [Fri, 22 Jul 2005 15:37:06 +0000 (15:37 +0000)]
also support superinterfaces when converting an Eclipse TypeParameter into a TypeVariable
acolyer [Fri, 22 Jul 2005 15:36:32 +0000 (15:36 +0000)]
improved matching in canBeBoundTo to consider equality of all bounds when testing against a type variable reference
acolyer [Fri, 22 Jul 2005 15:35:54 +0000 (15:35 +0000)]
remember source location when faulting in generic type
acolyer [Fri, 22 Jul 2005 15:34:14 +0000 (15:34 +0000)]
changed the serialized form of a WildTypePattern to remember generic info... standby for mass updates of binary comparison tests.
avasseur [Fri, 22 Jul 2005 14:57:40 +0000 (14:57 +0000)]
fix #104212 very bad bug on static method call jp that has been around since java 1.4 is there
acolyer [Thu, 21 Jul 2005 13:27:37 +0000 (13:27 +0000)]
proper support for type variable across patterns in the Eclipse Source Type world. Still need serialization support for this.
acolyer [Thu, 21 Jul 2005 13:26:28 +0000 (13:26 +0000)]
new warnings for generics in patterns
acolyer [Thu, 21 Jul 2005 13:26:10 +0000 (13:26 +0000)]
change from isTypeVariable to isTypeVariableReference
acolyer [Thu, 21 Jul 2005 13:25:36 +0000 (13:25 +0000)]
more tests and refinement of existing tests
acolyer [Thu, 21 Jul 2005 13:25:14 +0000 (13:25 +0000)]
fixes bug in test case caught by improved error messages in compiler
aclement [Thu, 21 Jul 2005 10:13:00 +0000 (10:13 +0000)]
dont go looking for generic types pre 1.5
aclement [Thu, 21 Jul 2005 10:01:29 +0000 (10:01 +0000)]
generics: fixes for decp testcases involving generic types targeted by parameterized decps. Type variables now persist in the system for longer... also LazyClassGen generates correct generic signatures for modified types.
aclement [Thu, 21 Jul 2005 08:25:23 +0000 (08:25 +0000)]
tidy up after a run...
avasseur [Thu, 21 Jul 2005 08:13:24 +0000 (08:13 +0000)]
fix in ltw log + test + some doc on custom message handler is evil
acolyer [Wed, 20 Jul 2005 16:18:53 +0000 (16:18 +0000)]
one more passing test...
acolyer [Wed, 20 Jul 2005 16:18:21 +0000 (16:18 +0000)]
wild type patterns with no type params ignore <...> when matching by name (raw match)
acolyer [Wed, 20 Jul 2005 16:17:52 +0000 (16:17 +0000)]
handle superinterfaces correctly for raw types
aclement [Wed, 20 Jul 2005 16:07:25 +0000 (16:07 +0000)]
generics: testcase for decp'ing parameterized type onto a generic type that implements a parameterized type using a type variable type parameter ;)