如何在Groovy编译器自动生成的getter或setter上添加批注？

Question

Groovy会自动生成getter和setter，例如当我输入：

int someField

我得到了field + getter + setter。现在我想在设置器上添加一个注释(例如@Requires/Ensures from GContracts)：

@Ensures({someField >= 0 && someField <= 100})
int someField

然后我得到了错误:元素字段上不允许注解groovy.lang.GrUnit - GrUnit和GContracts只能识别方法上的注解。解决这个问题的方法是显式地编写getter：

@Requires({...})
void setSomeField(int newValue) { ... }

有没有更好的解决方案？在Scala中有一个很好的解决方案：http://www.scala-lang.org/api/current/scala/annotation/target/package.html。

在Groovy中有类似的东西吗？或者:也许GContracts可以使用一些变通方法来允许这样的注解？

Answer 1

正如您已经注意到的，GContracts不提供字段注释(当前版本: 1.2.4)。它甚至不会在合成(生成)方法上执行AST转换，这些方法可能是在GContracts运行之前添加的。

简而言之:一个简单的变通方法是添加一个自定义的setter方法。

另一方面，如果您使用持有类不变量的@Invariant来注释一个类，它将为所有属性预先生成setter方法，以便在执行setter方法之前和之后检查类不变量。

话虽如此，可能值得考虑在该过程中包含@Requires和@Ensures我创建了一个问题：http://gcontracts.lighthouseapp.com/projects/71511-gcontracts-core/tickets/32

Answer 2

Groovy编译器有9个编译阶段。getters和setter是在编译阶段很晚生成的，它们是在GContracts运行之后生成的。

如果您想让您的代码看起来好像生成的getter/setter是带注释的，那么您必须自己生成getter/setter对并对它们进行注释。具体地说，向ClassNode中添加两个新的FieldNodes (只要它们还不存在)。字段节点是一个AnnotatedNode，因此您可以添加任何您想要的注释。只要在GContracts运行之前的某个阶段执行此操作，GContracts就永远不会知道其中的不同之处。

也就是说，这听起来像是一个GContracts特性请求。