Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: changed automated detection a bit. still not sure if it is right.

...

Static detection of calls to Arrays.equals(), as well as calls to Object.equals() and invocations of the == operator is straightforward. However, it is not always possible to statically resolve the class of a method invocation's target. Therefore, there can exist code that invokes Consequently, it may not always be possible to determine when Object.equals for which we cannot decide whether or not the target is () is invoked for an array type.

Also, it is not possible to determine whether or not use of reference equality (operators == and !=) is intentional.

...