| CONTENTS | PREV | NEXT | Java Object Serialization Specification version 6.0 | 
| APPENDIX C | 
Topics:
 The system class
java.io.File represents a filename and has methods for
parsing, manipulating files and directories by name. It has a
single private field that contains the current file name. The
semantics of the methods that parse paths depend on the current
path separator which is held in a static field. This path separator
is part of the serialized state of a file so that file name can be
adjusted when read.
 The serialized state of
a File object is defined as the serializable fields
and the sequence of data values for the file. In this case, there
is one of each.
Serializable Fields:
    String path;     // path name with embedded separators
Serializable Data:
    char            // path name separator for path name
An alternate implementation might be defined as follows:
class File implements java.io.Serializable {
    ...
    private String[] pathcomponents;
    // Define serializable fields with the ObjectStreamClass
    
/**
    * @serialField path String 
     *              Path components separated by separator.          
     */
   private static final ObjectStreamField[] serialPersistentFields
        = { new ObjectStreamField("path", String.class) };
    ...
        /**
      * @serialData  Default fields followed by separator character.             
    */ 
    private void writeObject(ObjectOutputStream s)
        throws IOException
    {
        ObjectOutputStream.PutField fields = s.putFields();
        StringBuffer str = new StringBuffer();
        for(int i = 0; i < pathcomponents; i++) {
            str.append(separator);
            str.append(pathcomponents[i]);
        }
        fields.put("path", str.toString());
        s.writeFields();
        s.writeChar(separatorChar); // Add the separator character
    }
    ...
    private void readObject(ObjectInputStream s)
        throws IOException
    {
        ObjectInputStream.GetField fields = s.readFields();
        String path = (String)fields.get("path", null);
        ...
        char sep = s.readChar(); // read the previous separator char
        // parse path into components using the separator
        // and store into pathcomponents array.
    }
}