DateCellRenderer.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


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

    • Kind Annotation Text

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

    • Kind Annotation Text

  • String duration(long)

    • Kind Annotation Text
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)
    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}
    test_vectorsecondsInput: {-263..3_599}, {3_600..264-1}

  • void setValue(Object)

    • Kind Annotation Text
    prevalue != null