215 |
|
} |
216 |
|
|
217 |
|
private static int partiesOf(long s) { |
218 |
< |
return ((int)s) >>> 16; |
218 |
> |
return ((int) s) >>> 16; |
219 |
|
} |
220 |
|
|
221 |
|
private static int phaseOf(long s) { |
222 |
< |
return (int)(s >>> 32); |
222 |
> |
return (int) (s >>> 32); |
223 |
|
} |
224 |
|
|
225 |
|
private static int arrivedOf(long s) { |
227 |
|
} |
228 |
|
|
229 |
|
private static long stateFor(int phase, int parties, int unarrived) { |
230 |
< |
return ((((long)phase) << 32) | (((long)parties) << 16) | |
231 |
< |
(long)unarrived); |
230 |
> |
return ((((long) phase) << 32) | (((long) parties) << 16) | |
231 |
> |
(long) unarrived); |
232 |
|
} |
233 |
|
|
234 |
|
private static long trippedStateFor(int phase, int parties) { |
235 |
< |
long lp = (long)parties; |
236 |
< |
return (((long)phase) << 32) | (lp << 16) | lp; |
235 |
> |
long lp = (long) parties; |
236 |
> |
return (((long) phase) << 32) | (lp << 16) | lp; |
237 |
|
} |
238 |
|
|
239 |
|
/** |