Ideas - Abnaxos/contracts GitHub Wiki

This page keeps track of ideas.

@Equivalent

The @Equivalent annotation is currently a purely informational meta annotation. This could be extended to a way of defining new annotations:

@Equivalent(
    asEnsure = "@result()==42",
    onParameter = "@param()==42")
public @interface MustEqual42 {
}