@Documented @Target(TYPE) @Retention(RUNTIME) public @interface EqualityReference
An annotation that, when applied to a given class, implies that the class
uses reference equality. That is, for a given type C
, \u2200x y. x
<: C \u2227 y <: C \u2192 (x == y \u2194 x.equals(y))
.
Copyright © 2017 <code@io7m.com> http://io7m.com