method com.dmdirc.addons.ui_swing.components.renderers. DateCellRenderer__static_init










method void com.dmdirc.addons.ui_swing.components. renderers.DateCellRenderer()










method void setValue(Object)
prevalue != null









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. renderers.DateCellRenderer:setText(String)











method String duration(long)
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuilder:toStri ng(...)
test_vectorsecondsInput: {-263..3_599}, {3_600..264-1}
test_vectorsecondsInput/3_600: {-2_562_047_788_015_215..0}, {1..5_124_095_576_030_431}
test_vectorsecondsInput/60: {-153_722_867_280_912_930..59}, {60..307_445_734_561_825_860}