equal
deleted
inserted
replaced
702 |
702 |
703 switch (in.read()) { |
703 switch (in.read()) { |
704 case 1: |
704 case 1: |
705 final String[] names = (String[])in.readObject(); |
705 final String[] names = (String[])in.readObject(); |
706 |
706 |
707 if (names.length == 0) { |
707 final Object[] values = (Object[]) in.readObject(); |
708 descriptor = ImmutableDescriptor.EMPTY_DESCRIPTOR; |
708 descriptor = (names.length == 0) ? |
709 } else { |
709 ImmutableDescriptor.EMPTY_DESCRIPTOR : |
710 final Object[] values = (Object[])in.readObject(); |
710 new ImmutableDescriptor(names, values); |
711 descriptor = new ImmutableDescriptor(names, values); |
|
712 } |
|
713 |
711 |
714 break; |
712 break; |
715 case 0: |
713 case 0: |
716 descriptor = (Descriptor)in.readObject(); |
714 descriptor = (Descriptor)in.readObject(); |
717 |
715 |