Description Simone Gianni 2009-09-22 00:04:42 EDT

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.5) Gecko/2009010218 Gentoo Firefox/3.0.5
Build Identifier: 20090619-0625 AspectJ 1.6.5

I have the following set of classes :

public class Bean {}
public class GenericParent<T> {
  public GenericParent(Class<? extend T> clazz) {}
}
public class BeanChild extends GenericParent<Bean> {
  public BeanChild(Class<? extends Bean> c) {
    super(c);
  }
}

I have them in a jar, which is added to the inpath of another project. In this second project I have the following classes :

public interface Interface {}
public class InterfaceParent<T extends Interface> extends GenericParent<T> {
  public InterfaceParent(Class<? extends T> c) {
    super(c);
  }
}

And then an aspect that instruments Bean and BeanChild like this :
public aspect BeanHasInterface {
  declare parents : Bean implements Interface;
  declare parents : BeanChild extends InterfaceParent<Bean>;
}

I obtain a VerifyError on BeanChild, caused by the fact that even if it now extends InterfaceParent, it still calls GenericParent.<init> in its constructor.


Reproducible: Always

Steps to Reproduce:
1. Unzip the two atteched projects
2. If you want to, build the first one (TestDifferentParent) and then export it to its jar, otherwise the jar is already there.
3. Build the second one, having the jar from the first one on the inpath.
4. javap -verbose oaj.test.BeanChild to see the error inside the constructor



This works perfectly in 1.6.3.

I noticed this error in 1.6.4, but it was unclear what was going on and then it disappeared changing the code. I'm now facing it again in 1.6.5 .

It happens on both load time weaving and compile time weaving.

It DOES NOT happen if all classes are in a single project, so it seems like it's somewhat related to processing bytecode. 

I'm reporting it as major cause of the VerifyError.