UpdaterLabel.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.statusbar.UpdaterLabel(MainFrame)

    • Kind Annotation Text
    postinit'ed(this.mainFrame)
    postthis.mainFrame == mainFrame

  • com.dmdirc.addons.ui_swing.components.statusbar.UpdaterLabel__static_init

    • Kind Annotation Text

  • void mouseClicked(MouseEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.mainFrame)
    premouseEvent != null
    presumptioncom.dmdirc.updater.UpdateChecker:getStatus(... )@120 != null
    presumptioncom.dmdirc.updater.UpdateChecker:getStatus(... )@124 != null
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. CHECKING)
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED)
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@120: {0}, {1}
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@124: {1}, {0}
    test_vectorjava.awt.event.MouseEvent:getButton(...)@119: {-231..0, 2..232-1}, {1}

  • void mouseEntered(MouseEvent)

    • Kind Annotation Text

  • void mouseExited(MouseEvent)

    • Kind Annotation Text

  • void mousePressed(MouseEvent)

    • Kind Annotation Text

  • void mouseReleased(MouseEvent)

    • Kind Annotation Text

  • void statusChanged(UpdateChecker$STATE)

    • Kind Annotation Text
    prenewStatus != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@142 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@146 != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@149 != null
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. CHECKING)
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. IDLE)
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED)
    presumptioninit'ed(com.dmdirc.updater.UpdateChecker$STATE. UPDATES_AVAILABLE)
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@134: {0}, {1}
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@140: {0}, {1}
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@144: {0}, {1}
    test_vectorcom.dmdirc.updater.UpdateChecker_STATE:equals(... )@147: {0}, {1}