Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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 Object.equals for which we cannot decide whether or not the target is an array type.

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

...