equal
deleted
inserted
replaced
142 static { |
142 static { |
143 ZERO.makeImmutable(); |
143 ZERO.makeImmutable(); |
144 } |
144 } |
145 |
145 |
146 // Constant for casting an int to a long via bitwise AND. |
146 // Constant for casting an int to a long via bitwise AND. |
147 private final static long LONG_MASK = 0xffffffffL; |
147 private static final long LONG_MASK = 0xffffffffL; |
148 |
148 |
149 //@ spec_public non_null; |
149 //@ spec_public non_null; |
150 private int data[]; // value: data[0] is least significant |
150 private int data[]; // value: data[0] is least significant |
151 //@ spec_public; |
151 //@ spec_public; |
152 private int offset; // number of least significant zero padding ints |
152 private int offset; // number of least significant zero padding ints |