Method writeObject

src/main/java/gate/util/RBTreeMap.java:1527–1542

Save the state of the RBTreeMap instance to a stream (i.e., serialize it). @serialData The size of the RBTreeMap (the number of key-value mappings) is emitted (int), followed by the key (Object) and value (Object) for each key-value mapping represented by the RBTreeMap.

(java.io.ObjectOutputStream s)

    *             Comparator).
    */
  private void writeObject(java.io.ObjectOutputStream s)
      throws java.io.IOException {

    // Write out the Comparator and any hidden stuff
    s.defaultWriteObject();

    // Write out size (number of Mappings)
    s.writeInt(size);

          // Write out keys and values (alternating)
    for (java.util.Iterator<Map.Entry<K,V>> i = entrySet().iterator(); i.hasNext(); ) {
              Map.Entry<K,V> e = i.next();
              s.writeObject(e.getKey());
              s.writeObject(e.getValue());
    }
  } // writeObject