content: /* Alloy Analyzer 4 -- Copyright (c) 2006-2009, Felix Chang
   *
   * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files
   * (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify,
   * merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
   * furnished to do so, subject to the following conditions:
   *
   * The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
   * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
   * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
   * OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   */
  
  package edu.mit.csail.sdg.alloy4;
  
  import java.awt.Color;
  import java.awt.Component;
  import java.awt.Graphics;
  import java.awt.Insets;
  
  import javax.swing.border.Border;
  
  /**
   * Graphical border on zero, one, two, three, or all four sides of a component.
   * <p>
   * <b>Thread Safety:</b> Can be called only by the AWT event thread.
   */
  
  public final class OurBorder implements Border {
  
      /**
       * non-null if we want to draw a border line of that Color above the component.
       */
      private final Color top;
  
      /**
       * non-null if we want to draw a border line of that Color to the left of the
       * component.
       */
      private final Color left;
  
      /**
       * non-null if we want to draw a border line of that Color below the component.
       */
      private final Color bottom;
  
      /**
       * non-null if we want to draw a border line of that Color to the right of the
       * component.
       */
      private final Color right;
  
      /**
       * Construct a Border object that draws a border on 0, 1, 2, 3, or all 4 sides
       * of the component. Note: it paints the borders top, bottom, left, then right.
       *
       * @param top - nonnull if we want to draw a border line (with that color) above
       *            the component
       * @param left - nonnull if we want to draw a border line (with that color) to
       *            the left of the component
       * @param bottom - nonnull if we want to draw a border line (with that color)
       *            below the component
       * @param right - nonnull if we want to draw a border line (with that color) to
       *            the right of the component
       */
      public OurBorder(Color top, Color left, Color bottom, Color right) {
          this.top = top;
          this.left = left;
          this.bottom = bottom;
          this.right = right;
      }
  
      /**
       * Construct a Border object that draws a light gray line on 0, 1, 2, 3, or all
       * 4 sides of the component. Note: it paints the borders top, bottom, left, then
       * right.
       *
       * @param top - true if we want to draw a Color.LIGHT_GRAY border line above the
       *            component
       * @param left - true if we want to draw a Color.LIGHT_GRAY border line to the
       *            left of the component
       * @param bottom - true if we want to draw a Color.LIGHT_GRAY border line below
       *            the component
       * @param right - true if we want to draw a Color.LIGHT_GRAY border line to the
       *            right of the component
       */
      public OurBorder(boolean top, boolean left, boolean bottom, boolean right) {
          this.top = top ? Color.LIGHT_GRAY : null;
          this.left = left ? Color.LIGHT_GRAY : null;
          this.bottom = bottom ? Color.LIGHT_GRAY : null;
          this.right = right ? Color.LIGHT_GRAY : null;
      }
  
      /**
       * This method is called by Swing to actually draw the borders.
       */
      @Override
      public void paintBorder(Component component, Graphics graphics, int x, int y, int width, int height) {
          if (width < 1 || height < 1)
              return;
          Color old = graphics.getColor();
          if (top != null) {
              graphics.setColor(top);
              graphics.drawLine(x, y, x + width - 1, y);
          }
          if (bottom != null) {
              graphics.setColor(bottom);
              graphics.drawLine(x, y + height - 1, x + width - 1, y + height - 1);
          }
          if (left != null) {
              graphics.setColor(left);
              graphics.drawLine(x, y, x, y + height - 1);
          }
          if (right != null) {
              graphics.setColor(right);
              graphics.drawLine(x + width - 1, y, x + width - 1, y + height - 1);
          }
          graphics.setColor(old);
      }
  
      /**
       * This method is called by Swing to retrieve the dimension of the border.
       */
      @Override
      public Insets getBorderInsets(Component c) {
          return new Insets(top != null ? 1 : 0, left != null ? 1 : 0, bottom != null ? 1 : 0, right != null ? 1 : 0);
      }
  
      /**
       * This method is called by Swing to find out whether this border object needs
       * to fill in its own background.
       */
      @Override
      public boolean isBorderOpaque() {
          return true;
      }
  }
  