(byte[] a)
| 234 | } |
| 235 | |
| 236 | public static void increment(byte[] a) { |
| 237 | for (int i = a.length - 1; i >= 0; --i) { |
| 238 | if (++a[i] != 0) { |
| 239 | break; |
| 240 | } |
| 241 | } |
| 242 | } |
| 243 | |
| 244 | /** |
| 245 | * Pads the front of the specified byte array with zeros if necessary, returning a new padded result, or the |