Lines Matching defs:times
1371 * end rule is an exclusive limit point. That is, the range of times that
1526 * Adjust the start and end times to wall time. This works perfectly
1604 * Pack the start and end times into an array of bytes. This is required
1608 int[] times = new int[2];
1609 times[0] = startTime;
1610 times[1] = endTime;
1611 return times;
1615 * Unpack the start and end times from an array of bytes. This is required
1618 private void unpackTimes(int[] times) {
1619 startTime = times[0];
1620 endTime = times[1];
1644 int[] times = packTimes();
1655 stream.writeObject(times);
1660 unpackTimes(times);
1700 int[] times = (int[]) stream.readObject();
1701 unpackTimes(times);