⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 element.java

📁 java入门编程资料汇编
💻 JAVA
字号:
import java.awt.*;
import java.awt.geom.*;

public abstract class Element
{
  public Element(Color color)
  {
    this.color = color;
  }

  public Color getColor()
  {
    return color;
  }

  // Set or reset highlight color
  public void setHighlighted(boolean highlighted)
  {
    this.highlighted = highlighted;
  }

  public Point getPosition()
  {
    return position;
  }

  protected void draw(Graphics2D g2D, Shape element)
  {
    g2D.setPaint(highlighted ? Color.magenta : color);  // Set the element color
    AffineTransform old = g2D.getTransform();       // Save the current transform
    g2D.translate(position.x, position.y);          // Translate to position
    g2D.draw(element);                              // Draw the element
    g2D.setTransform(old);                          // Restore original transform
  }

  protected java.awt.Rectangle getBounds(java.awt.Rectangle bounds)
  { 
    AffineTransform at = AffineTransform.getTranslateInstance(
                                                           position.x, position.y);
    return at.createTransformedShape(bounds).getBounds();
  }

  public void move(int deltax, int deltay)
  {
    position.x += deltax;
    position.y += deltay;
  } 

  public abstract java.awt.Rectangle getBounds();
  public abstract void modify(Point start, Point last);
  public abstract void draw(Graphics2D g2D);

  protected Color color;                             // Color of a shape
  protected boolean highlighted = false;             // Highlight flag
  final static Point origin = new Point();           // Point 0,0
  protected Point position;                          // Element position

  // Nested class defining a line
  public static class Line extends Element
  {
    public Line(Point start, Point end, Color color)
    {
      super(color);
      position = start;
      line = new Line2D.Double(origin, new Point(end.x - position.x, 
                                                end.y - position.y));
    }

    public java.awt.Rectangle getBounds()
    { 
      return getBounds(line.getBounds());
    }

    public void modify(Point start, Point last)
    {
      line.x2 = last.x - position.x;
      line.y2 = last.y - position.y;
    }

    public void draw(Graphics2D g2D)
    {
        draw(g2D, line);                              // Call base draw method
    }

    private Line2D.Double line;
  }

  // Nested class defining a rectangle
  public static class Rectangle extends Element
  {
    public Rectangle(Point start, Point end, Color color)
    {
      super(color);
//      this.start = start;
      position = new Point(Math.min(start.x, end.x),
                           Math.min(start.y, end.y));
      rectangle = new Rectangle2D.Double(
                                  origin.x,
                                  origin.y,
                                  Math.abs(start.x - end.x),     // Width
                                  Math.abs(start.y - end.y));    // & height 
    }

    public java.awt.Rectangle getBounds()
    { 
      return getBounds(rectangle.getBounds());  
    }

    public void modify(Point start, Point last)
    {
      position.x = Math.min(start.x, last.x);
      position.y = Math.min(start.y, last.y);
      rectangle.width = Math.abs(start.x - last.x);
      rectangle.height = Math.abs(start.y - last.y);
    }

    public void draw(Graphics2D g2D)
    {
        draw(g2D, rectangle);                              // Call base draw method
    }

    private Rectangle2D.Double rectangle;
  }

  // Nested class defining a circle
  public static class Circle extends Element
  {
    public Circle(Point center, Point circum, Color color)
    {
      super(color);
  
      // Radius is distance from center to circumference
      double radius = center.distance(circum);
      position = new Point(center.x - (int)radius,
                           center.y - (int)radius);
      
      circle = new Ellipse2D.Double(origin.x, origin.y,     // Position - top-left
                                    2.*radius, 2.*radius ); // Width & height
    }

    public java.awt.Rectangle getBounds()
    { 
      return getBounds(circle.getBounds());  
    }

    public void modify(Point center, Point circum)
    {
      double radius = center.distance(circum);
      position.x = center.x - (int)radius;
      position.y = center.y - (int)radius;
      circle.width = circle.height = 2*radius;
    }

    public void draw(Graphics2D g2D)
    {
        draw(g2D, circle);                              // Call base draw method
    }

    private Ellipse2D.Double circle;
  }

  // Nested class defining a curve
  public static class Curve extends Element
  {
    public Curve(Point start, Point next, Color color)
    {
      super(color);
      curve = new GeneralPath();
      position = start;
      curve.moveTo(origin.x, origin.y);
      curve.lineTo(next.x - position.x,
                   next.y - position.y);
    }

    public void modify(Point start, Point next)
    {
      curve.lineTo(next.x - start.x,
                   next.y - start.y);
    }

    public java.awt.Rectangle getBounds()
    { 
      return getBounds(curve.getBounds());  
    }

    public void draw(Graphics2D g2D)
    {
        draw(g2D, curve);                              // Call base draw method
    }

    private GeneralPath curve;
  }

  // Class defining text element
  public static class Text extends Element
  {
    public Text(Font font, String text, Point position,
                                           Color color, java.awt.Rectangle bounds)
    {
      super(color);
      this.font = font;
      this.position = position;
      this.position.y -= (int)bounds.getHeight();
      this.text = text;
      this.bounds = new java.awt.Rectangle(origin.x, origin.y,
                                            bounds.width, bounds.height);
    }

    public java.awt.Rectangle getBounds()
    {
      return getBounds(bounds);
    }

    public void draw(Graphics2D g2D)
    {
      g2D.setPaint(highlighted ? Color.magenta : color);
      Font oldFont = g2D.getFont();                   // Save the old font
      g2D.setFont(font);                              // Set the new font

      AffineTransform old = g2D.getTransform();       // Save the current transform
      g2D.translate(position.x, position.y);          // Translate to position
      g2D.drawString(text, origin.x, origin.y+(int)bounds.getHeight());
      g2D.setTransform(old);                          // Restore original transform

      g2D.setFont(oldFont);                           // Restore the old font
    }

    public void modify(Point start, Point last)
    {
      // No code is required here, but we must supply a definition
    }

    private Font font;                             // The font to be used
    private String text;                           // Text to be displayed
 //   Point position;                                // The start of the text string
    java.awt.Rectangle bounds = null;              // The bounding rectangle
  }
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -