public void write(ObjectOutputStream out) throws IOException { out.writeInt(LocationDecoder.TAB); out.writeInt(index); super.write(out); }
public void write(ObjectOutputStream out) throws IOException { out.writeInt(LocationDecoder.SPLIT); direction.write(out); out.writeFloat(dividerLocation); super.write(out); }