private void writeObject(java.io.ObjectOutputStream p_stream) throws java.io.IOException {
  p_stream.defaultWriteObject();
  p_stream.writeInt(trace_angle_restriction.get_no());
}

private void writeObject ( java . io . ObjectOutputStream p_stream ) throws java . io . IOException { p_stream . defaultWriteObject ( ) ; p_stream . writeInt ( trace_angle_restriction . get_no ( ) ) ; }
writes an instance of this class to a file
