Description Matthew Adams 2013-09-26 14:31:09 EDT

Created attachment 235865 [details]
eclipse AspectJ testcase

An aspect is introducing a field and a method.  Introducing an annotation onto the introduced field works fine; introducing an annotation onto the introduced **method** fails with the message "The method '...' does not exist" (where '...' is the method pattern).

Aspect follows trait pattern:

public interface Behavior { String hello(); }

=====

@Target(ElementType.TYPE)
@Retention(RetentionPolicy.RUNTIME)
public @interface Behaved {}

=====

public aspect Trait {

	public interface I extends Behavior {}
	
	declare parents: @Behaved * implements I;
	
	private String I.name = getClass().getName();
	
	public String I.hello() {
		return "hello" + name;
	}
}

=====

@Behaved
public class Target {
	public static aspect A {
		declare @field: * Target.name: @Tagged; // WORKY
		declare @method: * Target.hello(..): @Tagged; // NO WORKY
	}
}

=====

@Target({ ElementType.TYPE, ElementType.METHOD, ElementType.FIELD,
		ElementType.CONSTRUCTOR })
@Retention(RetentionPolicy.RUNTIME)
public @interface Tagged {}

Test eclipse AspectJ project attached.