Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | early "parameterizeWith" support for pointcuts | acolyer | 2005-08-11 | 8 | -2/+72 |
| | |||||
* | proper handling of type variable signatures ("Txxx;") | acolyer | 2005-08-11 | 2 | -2/+8 |
| | |||||
* | only collect declares from concrete aspects | acolyer | 2005-08-11 | 1 | -17/+31 |
| | |||||
* | implementation of parameterizeWith | acolyer | 2005-08-11 | 1 | -0/+7 |
| | |||||
* | declares from a parameterized super-aspect are now parameterized before ↵ | acolyer | 2005-08-11 | 1 | -4/+26 |
| | | | | returning to caller | ||||
* | fixed completely broken implementation of findAspectDeclaringParents and ↵ | acolyer | 2005-08-11 | 1 | -12/+16 |
| | | | | 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) | ||||
* | when unpacking the generic signature of a nested type, we also need to take ↵ | acolyer | 2005-08-11 | 1 | -2/+44 |
| | | | | into account formal type parameters declared on the outer type. | ||||
* | use $ not / to separate nested types in signatures | acolyer | 2005-08-11 | 1 | -2/+2 |
| | |||||
* | add test for proxy weaving and jit class weaving, update ltw doc | avasseur | 2005-08-11 | 2 | -1/+2 |
| | |||||
* | tests and fix for bug pr106461: | acolyer | 2005-08-10 | 2 | -0/+6 |
| | | | | "org.aspectj.weaver.patterns.WildTypePattern.maybeGetCleanName(WildTypePattern.java:500)" | ||||
* | support for binding of parameterized types in after returning(). | acolyer | 2005-08-10 | 3 | -3/+49 |
| | |||||
* | now handles resolving of generic wildcards in type patterns | acolyer | 2005-08-09 | 1 | -9/+32 |
| | |||||
* | make sure that "all exact" testing takes into account subtype flags | acolyer | 2005-08-09 | 1 | -2/+7 |
| | |||||
* | >> and >>> are lexed as tokens by the JDT parser. We always want >,> and ↵ | acolyer | 2005-08-09 | 1 | -1/+17 |
| | | | | >,>,> - yuck. | ||||
* | ensure we don't try and insert an instanceof test for a parameterized type | acolyer | 2005-08-09 | 1 | -3/+6 |
| | |||||
* | I only changed a comment, honestly, I only changed a comment.... | acolyer | 2005-08-09 | 1 | -0/+1 |
| | |||||
* | args fully updated for generics and parameterized types | acolyer | 2005-08-09 | 1 | -4/+38 |
| | |||||
* | don't try and make BcelObjectTypes for parameterized types | acolyer | 2005-08-09 | 1 | -1/+1 |
| | |||||
* | resolved members never belong to raw types, but the backing generic type | acolyer | 2005-08-09 | 1 | -0/+1 |
| | |||||
* | added getSimpleName which looks better when used in error and warning messages | acolyer | 2005-08-09 | 1 | -0/+29 |
| | |||||
* | a type variable reference type should never be treated as a generic wildcard | acolyer | 2005-08-09 | 1 | -0/+3 |
| | |||||
* | a shadow now remembers the resolved version of its signature | acolyer | 2005-08-09 | 1 | -0/+21 |
| | |||||
* | support for coercion testing with parameterized types | acolyer | 2005-08-09 | 1 | -2/+88 |
| | |||||
* | added unchecked match warning | acolyer | 2005-08-09 | 2 | -1/+5 |
| | |||||
* | added toGenericString | acolyer | 2005-08-09 | 4 | -0/+30 |
| | |||||
* | support for coercion testing | acolyer | 2005-08-09 | 1 | -1/+52 |
| | |||||
* | genericitds: 2 big changes here: I've modifed the super/extends stuff so ↵ | aclement | 2005-08-09 | 7 | -30/+159 |
| | | | | 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. | ||||
* | Fix for pr98901: copying annotations to new members created via ITD !! | aclement | 2005-08-08 | 3 | -152/+314 |
| | |||||
* | tests and implementation for calls to bridge methods. This completes the ↵ | acolyer | 2005-08-05 | 5 | -23/+23 |
| | | | | implementation of the call pointcut for generic and parameterized types. | ||||
* | tests and fix for call pointcut matching with various generic and ↵ | acolyer | 2005-08-05 | 1 | -7/+11 |
| | | | | parameterized types | ||||
* | genericitds: lots of new support for recursive type variables and ITD ctors. | aclement | 2005-08-04 | 10 | -35/+138 |
| | |||||
* | oops, this is the implementation that is needed for the execution tests I ↵ | acolyer | 2005-08-04 | 3 | -2/+43 |
| | | | | committed to pass... | ||||
* | signature matching algorithm simplified, sorted, and fully genericised. | acolyer | 2005-08-04 | 2 | -0/+1028 |
| | |||||
* | changed Member to be an interface with impl MemberImpl. changed ↵ | acolyer | 2005-08-04 | 43 | -1641/+1874 |
| | | | | ResolvedMember to be an interface with impl ResolvedMemberImpl | ||||
* | genericitds: using wildcard '? extends Type' and '? extends <TypeVariable>'. ↵ | aclement | 2005-07-29 | 2 | -1/+7 |
| | | | | Basically preserves wildcardbindings that are built by eclipse as boundedreferencetypes. | ||||
* | changes for initialization and preinitialization join point matching with ↵ | acolyer | 2005-07-29 | 7 | -6/+43 |
| | | | | generic and parameterized types. This completes the implementation of these pointcuts. | ||||
* | ensure that wildcard bounds for things like ? extends and ? super are fully ↵ | acolyer | 2005-07-29 | 1 | -3/+28 |
| | | | | taken into account when matching. | ||||
* | consider the true (generic signature) type of a field when matching "return ↵ | acolyer | 2005-07-29 | 1 | -2/+8 |
| | | | | type". | ||||
* | the name says it all ;) | acolyer | 2005-07-29 | 1 | -0/+50 |
| | |||||
* | take type parameters into account for equality and hashCode | acolyer | 2005-07-29 | 1 | -0/+1 |
| | |||||
* | avoids creating field signature twice | acolyer | 2005-07-29 | 1 | -6/+6 |
| | |||||
* | removed some dead code | acolyer | 2005-07-29 | 1 | -2/+0 |
| | |||||
* | removed dead imports | acolyer | 2005-07-29 | 1 | -2/+0 |
| | |||||
* | fields now unpack their generic signature to determine the true field type | acolyer | 2005-07-29 | 1 | -0/+28 |
| | |||||
* | pruned some dead code | acolyer | 2005-07-29 | 2 | -17/+10 |
| | |||||
* | new messages emitted during pointcut resolution when parameterized type ↵ | acolyer | 2005-07-29 | 5 | -4/+42 |
| | | | | patterns are used in inappropriate places. | ||||
* | fixes paramerization for raw types so that List<T> goes to List and not ↵ | acolyer | 2005-07-29 | 2 | -9/+16 |
| | | | | List<Object> | ||||
* | no more parameterized or type variable types for declaring type patterns ↵ | acolyer | 2005-07-28 | 2 | -23/+23 |
| | | | | (generics simplification plan). | ||||
* | parser updates for generics simplification plan | acolyer | 2005-07-28 | 2 | -134/+161 |
| | |||||
* | full support for generic wildcard (?, ? extends, ? super) | acolyer | 2005-07-28 | 5 | -129/+590 |
| |