View of /java/Line.java

Parent Directory

Revision Log

MinchoRendererのへんこう瘢雹

import java.util.*;
public class Line extends OutlineComponent{
  Point p0,p1;
  Line(Point p0,Point p1){
    this.p0=p0; this.p1=p1;
  }
  public void render(Vector ret,double limit){
    ret.addElement(p0);
    ret.addElement(p1);
  }
  public OutlineComponent plus(Point point){
    return new Line(p0.plus(point),p1.plus(point));
  }
  public OutlineComponent rot(double theta){
    return new Line(p0.rot(theta),p1.rot(theta));
  }
  public OutlineComponent times(double ratio){
    return new Line(p0.times(ratio),p1.times(ratio));
  }
  public OutlineComponent timesY(double ratio){
    return new Line(p0.timesY(ratio),p1.timesY(ratio));
  }
  public Point firstPoint(){ return p0;}
  public Point lastPoint(){ return p1;}
  public String toString(){
    return "Line("+p0+","+p1+")";
  }
}