/* 
    P/P   *  Method: com.dmdirc.addons.ui_swing.components.EtchedLineBorder__static_init
          */
     1  /*
     2   * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
     3   * 
     4   * Permission is hereby granted, free of charge, to any person obtaining a copy
     5   * of this software and associated documentation files (the "Software"), to deal
     6   * in the Software without restriction, including without limitation the rights
     7   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     8   * copies of the Software, and to permit persons to whom the Software is
     9   * furnished to do so, subject to the following conditions:
    10   * 
    11   * The above copyright notice and this permission notice shall be included in
    12   * all copies or substantial portions of the Software.
    13   * 
    14   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    15   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    16   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
    17   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    18   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    19   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    20   * SOFTWARE.
    21   */
    22  
    23  package com.dmdirc.addons.ui_swing.components;
    24  
    25  import java.awt.Component;
    26  import java.awt.Graphics;
    27  
    28  import javax.swing.border.EtchedBorder;
    29  
    30  /**
    31   * An etched line border.
    32   */
    33  public class EtchedLineBorder extends EtchedBorder {
    34  
    35      /**
    36       * A version number for this class. It should be changed whenever the class
    37       * structure is changed (or anything else that would prevent serialized
    38       * objects being unserialized with the new class).
    39       */
    40      private static final long serialVersionUID = 1;
    41      /** Border side. */
    42      private final BorderSide side;
    43      /** Border side. */
             /* 
    P/P       *  Method: void com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide(String, int)
              */
    44      public enum BorderSide {
    45          /** Creates a border at the top. */
                 /* 
    P/P           *  Method: com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide__static_init
                  * 
                  *  Postconditions:
                  *    $VALUES == &new EtchedLineBorder$BorderSide[](EtchedLineBorder$BorderSide__static_init#3)
                  *    BOTTOM == &new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#2)
                  *    $VALUES[1] == &new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#2)
                  *    TOP == &new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#1)
                  *    $VALUES[0] == &new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#1)
                  *    new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#1) num objects == 1
                  *    new EtchedLineBorder$BorderSide(EtchedLineBorder$BorderSide__static_init#2) num objects == 1
                  *    new EtchedLineBorder$BorderSide[](EtchedLineBorder$BorderSide__static_init#3) num objects == 1
                  *    $VALUES.length == 2
                  */
    46          TOP, 
    47          /** Creates a border at the bottom. */
    48          BOTTOM, 
    49      };
    50  
    51      /**
    52       * Creates a new etched line border.
    53       * 
    54       * @param type Etch type
    55       * @param side Border side
    56       */
    57      public EtchedLineBorder(final int type, final BorderSide side) {
                 /* 
    P/P           *  Method: void com.dmdirc.addons.ui_swing.components.EtchedLineBorder(int, EtchedLineBorder$BorderSide)
                  * 
                  *  Postconditions:
                  *    this.side == side
                  *    init'ed(this.side)
                  */
    58          super(type);
    59          
    60          this.side = side;
    61      }
    62  
    63      /** {@inheritDoc} */
    64      @Override
    65      public void paintBorder(final Component c, final Graphics g, final int x,
    66              final int y, final int width, final int height) {
                 /* 
    P/P           *  Method: void paintBorder(Component, Graphics, int, int, int, int)
                  * 
                  *  Preconditions:
                  *    g != null
                  *    init'ed(this.etchType)
                  *    this.side != null
                  *    x <= 231
                  *    y <= 231
                  *    (soft) init'ed(com.dmdirc.addons.ui_swing.components.EtchedLineBorder$1__static_init.new int[](EtchedLineBorder$1__static_init#1)[...])
                  *    (soft) height >= -231+1
                  *    (soft) width >= -231+2
                  * 
                  *  Presumptions:
                  *    com.dmdirc.addons.ui_swing.components.EtchedLineBorder_BorderSide:ordinal(...)@70 in {0,1}
                  *    com.dmdirc.addons.ui_swing.components.EtchedLineBorder_BorderSide:ordinal(...)@82 in {0,1}
                  * 
                  *  Test Vectors:
                  *    com.dmdirc.addons.ui_swing.components.EtchedLineBorder$1__static_init.new int[](EtchedLineBorder$1__static_init#1)[...]: {1}, {2}, {-231..0, 3..232-1}
                  *    this.etchType: {-231..0, 2..232-1}, {1}
                  */
    67          g.translate(x, y);
    68  
    69          g.setColor(etchType == LOWERED ? getShadowColor(c) : getHighlightColor(c));
                 /* 
    P/P           *  Method: com.dmdirc.addons.ui_swing.components.EtchedLineBorder$1__static_init
                  * 
                  *  Preconditions:
                  *    (soft) init'ed(com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide__static_init.new EtchedLineBorder$BorderSide[](EtchedLineBorder$BorderSide__static_init#3)[...])
                  * 
                  *  Presumptions:
                  *    com.dmdirc.addons.ui_swing.components.EtchedLineBorder_BorderSide:ordinal(...)@70 in {0,1}
                  *    com.dmdirc.addons.ui_swing.components.EtchedLineBorder_BorderSide:ordinal(...)@70 - values(...).length in range
                  * 
                  *  Postconditions:
                  *    new int[](EtchedLineBorder$1__static_init#1) num objects == 1
                  */
    70          switch (side) {
    71              case TOP:
    72                  g.drawLine(0, 0, width - 2, 0);
    73                  break;
    74              case BOTTOM:
    75                  g.drawLine(0, height - 1, width - 2, height - 1);
    76                  break;
    77              default:
    78                  break;
    79          }
    80  
    81          g.setColor(etchType == LOWERED ? getHighlightColor(c) : getShadowColor(c));
    82          switch (side) {
    83              case TOP:
    84                  g.drawLine(0, 1, width - 2, 1);
    85                  break;
    86              case BOTTOM:
    87                  g.drawLine(0, height, width - 2, height);
    88                  break;
    89              default:
    90                  break;
    91          }
    92  
    93          g.translate(-x, -y);
    94      }
    95  }