(ObjectOutput out)
| 607 | } |
| 608 | |
| 609 | private void writeMachineTime(ObjectOutput out) |
| 610 | throws IOException { |
| 611 | |
| 612 | MachineTime<?> mt = MachineTime.class.cast(this.obj); |
| 613 | int header = MACHINE_TIME_TYPE; |
| 614 | header <<= 4; |
| 615 | |
| 616 | if (mt.getScale() == TimeScale.UTC) { |
| 617 | header |= 1; |
| 618 | } |
| 619 | |
| 620 | if (mt.getFraction() == 0) { |
| 621 | out.writeByte(header); |
| 622 | out.writeLong(mt.getSeconds()); |
| 623 | } else { |
| 624 | header |= 2; |
| 625 | out.writeByte(header); |
| 626 | out.writeLong(mt.getSeconds()); |
| 627 | out.writeInt(mt.getFraction()); |
| 628 | } |
| 629 | |
| 630 | } |
| 631 | |
| 632 | private Object readMachineTime( |
| 633 | ObjectInput in, |
no test coverage detected