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

added extra utility method for warnings

update to expected messages for type pattern matching with generics

annotated lines that should produce compilation warnings

also support superinterfaces when converting an Eclipse TypeParameter into a TypeVariable

improved matching in canBeBoundTo to consider equality of all bounds when testing against a type variable reference

remember source location when faulting in generic type

changed the serialized form of a WildTypePattern to remember generic info... standby for mass updates of binary comparison tests.

fix #104212 very bad bug on static method call jp that has been around since java 1.4 is there

proper support for type variable across patterns in the Eclipse Source Type world. Still need serialization support for this.

new warnings for generics in patterns

change from isTypeVariable to isTypeVariableReference

more tests and refinement of existing tests

fixes bug in test case caught by improved error messages in compiler

dont go looking for generic types pre 1.5

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.

tidy up after a run...

fix in ltw log + test + some doc on custom message handler is evil

one more passing test...

wild type patterns with no type params ignore <...> when matching by name (raw match)

handle superinterfaces correctly for raw types

generics: testcase for decp'ing parameterized type onto a generic type that implements a parameterized type using a type variable type parameter ;)

commented out debug line...

ensure that when parameterizing a member, we handle any types that are themselves parameterized (eg. a return type List<N> should turn to List<String> when parameterized with String).

changes to construction and representation of parameterized types, and enforcement of the constraint that type mungers always operate on the generic type (never raw or parameterized)

organized imports - wanted to trigger a build :)

ltw reweavable test for Mattew bug, fix some wrong getCoreType that makes some stderr output when closure are encountered on ltw / dump

fix LTW for JMX stuff, rename messageHolder, some doc on that + dump

method name in weaver refactored.

More bits of fix for pr98901 (annotation copying)

@DeclareAnnotation and guard to not use it in M3, doc update for M3

First bits of fix for pr98901 (annotation copying)

testcases for pr98901 (annotations copied to targets of decannotation).  Not yet wired into the full 150 suite.

Fix for pr103266: allow for nulls in the visitor (can happen if there are syntax errors)

moves forGenericType from UnresolvedType to ResolvedType. Return value still needs changing... one step at a time!

makes fromBinding in EclipseFactory an instance rather than static method. This paves the way for fromBinding to return a ResolvedType (which needs the world that the instance contains) rather than an UnresolvedType.

This is the beginning of a significant refactoring needed to cleanly support generics. We need to be much crisper about when we have an unresolved type (plain old TypeX) and when we have a resolved type. This refactoring renames TypeX to UnresolvedType and ResolvedTypeX to ResolvedType. In addition, it moves a number of methods that were defined on TypeX but which can only be answered by resolved types down onto ResolvedType. At the moment, ResolvedType still extends UnresolvedType - but a ResolvedType is *not* a UnresolvedType and this inheritance of convenience will be broken down the line so that ResolvedType does not extend UnresolvedType. Full signature information can only be known for ResolvedTypes.

just comments (honest ;) ) describing the format of signatures for TypeXs.

organized imports

beginnings of support for matching against type variables

avoid losing type variable information when resolving bindings

now remembers its location for better error reporting

test case updates...

better error reporting when using type vars in inappropriate locations

added an additional message operation to tidy up weaver code

test for parameterized type usage

new message "a parameterized type pattern may not be used in a handler pointcut expression"

sometimes we get asked to resolve more than once, and that's ok...

more test cases covering generics in pointcut expressions

don't re-resolve already resolved types

teach a typex whether or not it represents a type variable

organized imports

Ant 1.6 antlib.xml support, per bug 103493

handles resolution of bindings when the pointcut uses type variables

a pointcut now has a simple list of type variable names in scope rather than a TypeVariableListPattern