| GateObjectOutputStream |

    1   package gate.util.persistence;
    2
    3   import java.io.*;
    4
    5   /**
    6    * Title:        Gate2
    7    * Description:
    8    * Copyright:    Copyright (c) 2000
    9    * Company:      University Of Sheffield
    10   * @author
    11   * @version 1.0
    12   */
    13
    14  public class GateObjectOutputStream extends ObjectOutputStream {
    15
    16    public GateObjectOutputStream(OutputStream out) throws IOException{
    17      super();
    18      this.out = out;
    19    }
    20
    21    public void writeObjectOverride(Object obj) throws IOException{
    22  System.out.println("Write Obj");
    23  super.writeObject(obj);
    24    }
    25  private OutputStream out; /* Stream to write the data to */
    26  }

| GateObjectOutputStream |