...
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.
...