| method | void mouseClicked(MouseEvent) |
| pre | mouseEvent != null |
| pre | (soft) init'ed(this.mainFrame) |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. CHECKING) |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED) |
| presumption | com.dmdirc.updater.UpdateChecker:getStatus(... )@120 != null |
| presumption | com.dmdirc.updater.UpdateChecker:getStatus(... )@124 != null |
| presumption | init'ed(java.awt.Dialog$ModalityType.MODELESS) |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@120: {0}, {1} |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@124: {1}, {0} |
| test_vector | java.awt.event.MouseEvent:getButton(...)@119: {-231..0, 2..232-1}, {1} |
| method | void statusChanged(UpdateChecker$STATE) |
| pre | newStatus != null |
| presumption | com.dmdirc.ui.IconManager:getIconManager(...)@142 != null |
| presumption | com.dmdirc.ui.IconManager:getIconManager(...)@146 != null |
| presumption | com.dmdirc.ui.IconManager:getIconManager(...)@149 != null |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. CHECKING) |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. IDLE) |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. RESTART_REQUIRED) |
| presumption | init'ed(com.dmdirc.updater.UpdateChecker$STATE. UPDATES_AVAILABLE) |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@134: {0}, {1} |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@140: {0}, {1} |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@144: {0}, {1} |
| test_vector | com.dmdirc.updater.UpdateChecker_STATE:equals(... )@147: {0}, {1} |