/* 
    P/P   *  Method: com.dmdirc.addons.ui_swing.components.renderers.DateCellRenderer__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.renderers;
    24  
    25  import java.util.Date;
    26  
    27  import javax.swing.table.DefaultTableCellRenderer;
    28  
    29  /**
    30   * List cell renderer for dates.
    31   */
    32  public final class DateCellRenderer extends DefaultTableCellRenderer {
    33      
    34      /**
    35       * A version number for this class. It should be changed whenever the class
    36       * structure is changed (or anything else that would prevent serialized
    37       * objects being unserialized with the new class).
    38       */
    39      private static final long serialVersionUID = 1;
    40      
    41      /** Creates a new instance of DateCellRenderer. */
    42      public DateCellRenderer() {
                 /* 
    P/P           *  Method: void com.dmdirc.addons.ui_swing.components.renderers.DateCellRenderer()
                  */
    43          super();
    44      }
    45      
    46      /** {@inheritDoc} */
    47      @Override
    48      public void setValue(final Object value) {
                 /* 
    P/P           *  Method: void setValue(Object)
                  * 
                  *  Preconditions:
                  *    value != null
                  */
    49          setText("" + duration((new Date().getTime() - ((Date) value).getTime()) / 1000));
    50      }
    51      
    52      /**
    53       * Get the duration in seconds as a string.
    54       *
    55       * @param secondsInput to get duration for
    56       *
    57       * @return Duration as a string
    58       */
    59      private String duration(final long secondsInput) {
                 /* 
    P/P           *  Method: String duration(long)
                  * 
                  *  Postconditions:
                  *    java.lang.StringBuilder:toString(...)._tainted == 0
                  *    return_value == &java.lang.StringBuilder:toString(...)
                  * 
                  *  Test Vectors:
                  *    secondsInput: {-263..3_599}, {3_600..264-1}
                  *    secondsInput/3_600: {-2_562_047_788_015_215..0}, {1..5_124_095_576_030_431}
                  *    secondsInput/60: {-153_722_867_280_912_930..59}, {60..307_445_734_561_825_860}
                  */
    60          final StringBuilder result = new StringBuilder();
    61          final long hours = secondsInput / 3600;
    62          final long minutes = secondsInput / 60 % 60;
    63          //final long seconds = secondsInput % 60;
    64          
    65          if (hours > 0) { 
    66              result.append(hours).append("h ");
    67          }
    68          
    69          result.append(minutes).append("m");
    70          
    71          return result.toString();
    72      }
    73  }