Details
-
Bug
-
Resolution: Fixed
-
P4
-
16
-
b28
-
Verified
Description
A DESCRIPTION OF THE PROBLEM :
java.io.DataOutputStream has a field
private byte writeBuffer[] = new byte[8];
which is used as temporary buffer by writeLong(long) method. While contents of this array get modified, the array reference itself is once set on object's instantiation and never gets mutated. Thus it is reasonable to make this field final.
FREQUENCY : always
java.io.DataOutputStream has a field
private byte writeBuffer[] = new byte[8];
which is used as temporary buffer by writeLong(long) method. While contents of this array get modified, the array reference itself is once set on object's instantiation and never gets mutated. Thus it is reasonable to make this field final.
FREQUENCY : always