如何在 AspectJ 中删除/重新定义类型间声明？

Question

我使用解析器生成器，它生成表示编程语言语法节点的 java 类，以及用于向这些类添加语义的 AspectJ 方面。 我已经扩展/更改了该语言的语法，并且我想重用旧语法的各个方面并修改/扩展它们以应对节点类的更改。

例如，一个旧的节点类及其方面：

class A {
  public T a1;
  public U a2;
  ...
}

aspect Accessors1 {
  public T A.getT() {return a1;}
  public U A.getU() {return a2;}
}

通过语法修改，类 A 发生以下更改：

class A {
  public T a1;
  public V a2;
  public U a3;
  ...
}

我想重用 Accessors1 方面并添加另一个方面：

aspect Accessors2 {
  public V A.getV() {return a2;} // new accessor for new field
  public U A.getU() {return a3;} // modification of old accessor
}

我尝试了这个：

declare precedence: *2, *1;

但我仍然收到此错误： Type不匹配：无法从第一方面从 V 转换为 U。即使不使用 Accessors1.getU()，它仍然会进行类型检查，这会导致编译失败。

为什么会这样呢？如何用新的 getU() 覆盖原来的 getU() ？有没有办法告诉 AspectJ 忽略/删除 Accessors1.getU() ？

Answer 1

如果您尝试在第二类中使用以下更改会怎么样：

class A {
  public T a1;
  public U a2;
  public V a3;
  ...
}

第二个方面：

aspect Accessors2 {
  public V A.getV() {return a3;} // new accessor for new field
  public U A.getU() {return a2;} // modification of old accessor
}