📄 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]+"]"; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -