数据库系统

开发平台：

Unix_Linux

PGline.java：源码内容

							package postgresql.geometric;
import java.io.*;
import java.sql.*;
import postgresql.util.*;
/**
 * This implements a line consisting of two points.
 *
 * Currently line is not yet implemented in the backend, but this class
 * ensures that when it's done were ready for it.
 */
public class PGline extends PGobject implements Serializable,Cloneable
{
  /**
   * These are the two points.
   */
  public PGpoint point[] = new PGpoint[2];
  
  /**
   * @param x1 coordinate for first point
   * @param y1 coordinate for first point
   * @param x2 coordinate for second point
   * @param y2 coordinate for second point
   */
  public PGline(double x1,double y1,double x2,double y2)
  {
    this(new PGpoint(x1,y1),new PGpoint(x2,y2));
  }
  
  /**
   * @param p1 first point
   * @param p2 second point
   */
  public PGline(PGpoint p1,PGpoint p2)
  {
    this();
    this.point[0] = p1;
    this.point[1] = p2;
  }
  
  /**
   * @param s definition of the circle in PostgreSQL's syntax.
   * @exception SQLException on conversion failure
   */
  public PGline(String s) throws SQLException
  {
    this();
    setValue(s);
  }
  
  /**
   * reuired by the driver
   */
  public PGline()
  {
    setType("line");
  }
  
  /**
   * @param s Definition of the line segment in PostgreSQL's syntax
   * @exception SQLException on conversion failure
   */
  public void setValue(String s) throws SQLException
  {
    PGtokenizer t = new PGtokenizer(PGtokenizer.removeBox(s),',');
    if(t.getSize() != 2)
      throw new PSQLException("postgresql.geo.line",s);
    
    point[0] = new PGpoint(t.getToken(0));
    point[1] = new PGpoint(t.getToken(1));
  }
  
  /**
   * @param obj Object to compare with
   * @return true if the two boxes are identical
   */
  public boolean equals(Object obj)
  {
    if(obj instanceof PGline) {
      PGline p = (PGline)obj;
      return (p.point[0].equals(point[0]) && p.point[1].equals(point[1])) ||
	(p.point[0].equals(point[1]) && p.point[1].equals(point[0]));
    }
    return false;
  }
  
  /**
   * This must be overidden to allow the object to be cloned
   */
  public Object clone()
  {
    return new PGline((PGpoint)point[0].clone(),(PGpoint)point[1].clone());
  }
  
  /**
   * @return the PGline in the syntax expected by postgresql
   */
  public String getValue()
  {
    return "["+point[0]+","+point[1]+"]";
  }
}

						