fix 83935 where Jp / Pjp is an arg and bound in a formal binding as well as another (or 2+) used as implicit bindings in @AJ

add unresolved TypeVariableRefTypes which are created by EclipseFactory during conversion of bindings to TypeX, and resolved to TypeVariableReferenceTypes by the world.

a simple type pattern for a generic type should match any parameterization of that type

added one simple test for matching members of a parameterized type.
Took me 3 days to get it to pass!!!

changed EclipseFactory.makeResolvedMember from static to non-static member and fully resolved all types involved.

generics: use raw type of iterator

generics: modified to use built in types since otherwise world setup is painful.

generics: temporarily use the raw type when matching until the type pattern logic is aware

generics: polices the combinations of decp when using generics/raws/parameterized types

generics: writes out correct class signature

generics: improved type resolution, aware of raw/simple/parameterized/generic

generics: dont assume bcelmethod, it cant be resolvedmember

generics: signature unpacking.

generics: dont assume its a bcelmethod.  When working with generic methods they are merely 'resolvedmembers'

generics: now promotes simple types to raw types if we discover they are generic during resolution.

generics: copes with '+' '-' in the signature, less than ideal...

generics: allow for type variables that arrive in static methods and don't come from the declaring type

generics: few bug fixes to ensure typex's know if they represent generics/raws or simples.

generics: lots of generic decp tests.

generics: ask for the appropriate TypeX depending on the binding

but i only changed a comment...

fixes dumb array cast

ability to replace upper bound (used when fixing up circular dependencies)

test case for Enum conversions

answer correct superclass and superinterfaces taking into account generic signature

handle recursive type variables such as Enum

beginnings of proper type variable support in Eclipse type world

do the right thing with ":" in an ftp

generics: includes fix for generic signatures

expose generic ClassTypeSignature for member resolving

support for unpacking generic signature

avoid needless resolving

improved tolerance for generics signature chars

simplify signature processing and remove implicit extends

added getTypeVariables to interface

give back parameterized versions of members for parameterized types

change signature until we figure out the right thing to do in TypeX

raise inner type visibility for subclasses

moved some tests with 1.5 dependencies

dummy implementation of getTypeVariables

added test for broken primitive case

fix in GenericSigParser when tokenising primitives

generics: more accurate generic type test.

generics: can determine if java class is generic.

create a typeX from a set of TypeX parameters

some /. confusion cleared up

small signature change in JavaClass

test cases for generics updates made by amc

include new test suites for generics updates

support for generics and type variables

proper implementation of canBeParameterized

utility class that converts from Bcel signature world to TypeX world

added support for canBeParameterized

can create a parameterized type from an array of TypeX's

supports isGeneric

TypeX hierarchy members for bounded reference types and type variables

simple implementation of isGeneric

copyright statement

lazy loading and parsing of generic signature

generics: new message

generics: decp tests, binary weaving

generics: decp tests

organized imports

temp removal of the call to build runtime with 11 javac.  WILL NEED TO FIX RUNTIME before finishing 1.5.0

add offset in MethodDeclarationAttribute for @AJ in AJDT

On the build machine, code to test is in jars, not in 'bin' folders - so the aj.path for the LTW tests needs to have an entry for asm.jar in addition to the asm/bin it currently has.  Otherwise they fail with 'NoClassDefFoundError: org/aspectj/asm/IRelationship$Kind'

generics: promoted getGenericType up to ResolvedTypeX - it will throw an exception if you ask a type that is not parameterized or raw

generics:  First simple change to ensure the pattern I<String> results in an ExactTypePattern that remembers the parameterization.

generics: one fix to ensure the class we output says 'class X implement I' rather than 'class X implements I<String>' when the I<String> is added via declare parents.  (I<String> should be captured in the signature attribute on the class X).  Also some placeholder code added (commented out) that we'll need when trying to fix up the signature attribute when binary weaving.

generics: implementation of getDeclaredGenericSignature()

generics: loads of changes to make the resolution process generics aware

generics: TypeXs are much more aware of generics.  The only method in this class not finished now is forGenericTypeSignature() - it does not quite capture all the information from the parsed generic signature in the TypeX it creates.  It currently captures enough for the testcases I've written - no doubt will need extending for other testcases.

nasty clone method fix for 83311

generics:

generics: delegates should be able to supply their declared generic signature.

generics: Going from eclipse type bindings to AspectJ TypeXs (and back again) is now generics aware.  Also modified the code that adds source type bindings into the 'world map' of types to be a little more generics aware.

generics: comments added to indicate whats gone wrong *should* there be an NPE at a particular line...  TODO left in so we can look to remove it later if it doesnt cause problems when generics is complete.

generics: simple decp test, woooo !

generics: first bit of making the compiler/weaver more aware - includes signature attribute parsing code.

JRockit agent for LTW with 1.3/1.4 + update in doc

generics: decp testcases

testcase

make weaveradapter available to tests...

fix source location for @AJ + fix the AsmManager behavior for @AJ (still no luck in AJDT though)

generics: trivial decp implements.

signature parsing for methods and fields now complete also

updates to Signature parsing for generics

For build machine - fixed classpath to include built jars.

-- here be dragons --
this is an early check-in for handover to Andy. I've added code to parse the generic signature attributes, but only completed parsing for class signature so far, method and field to do although these will reuse many of the same building blocks.
Needs test cases and probably some more rework. Would not normally check-in at this stage.
-- end of dragons --

added getGenericSignature method

renamed "getRealSignatureFromAttribute" to "getGenericSignature" (which is what it is).

Fixed classpath for build machine.

licensing fix.

generics: helper methods

Classpath set for running tests on build machine

generics: some of the new fields/members added

copyright added.

generics: Holds a generic type reference (used by the raw or parameterized variants)

rename weaver.patterns.TypeVariable to weaver.patterns.TypeVariablePattern

test cases for TypeVariable implementation -- AMC