MessageLabel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • StatusMessageNotifier access$002(MessageLabel, StatusMessageNotifier)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x1
    postx0.messageNotifier == return_value

  • TimerTask access$100(MessageLabel)

    • Kind Annotation Text
    preinit'ed(x0.messageTimer)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.messageTimer

  • TimerTask access$102(MessageLabel, TimerTask)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x1
    postx0.messageTimer == return_value

  • void clearMessage()

    • Kind Annotation Text
    postthis.messageNotifier == null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void com.dmdirc.addons.ui_swing.components.statusbar.MessageLabel$1$1(MessageLabel$1)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.statusbar.MessageLabel$1$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.statusbar.MessageLabel$1(MessageLabel, Icon, String, StatusMessageNotifier, int)

    • Kind Annotation Text
    postinit'ed(this.val$icon)
    postinit'ed(this.val$newMessage)
    postinit'ed(this.val$newNotifier)
    postinit'ed(this.val$timeout)
    postthis.val$icon == Param_2
    postthis.val$newMessage == Param_3
    postthis.val$newNotifier == Param_4
    postthis.val$timeout == Param_5

  • com.dmdirc.addons.ui_swing.components.statusbar.MessageLabel$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.statusbar.MessageLabel()

    • Kind Annotation Text

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

    • Kind Annotation Text

  • void mouseClicked(MouseEvent)

    • Kind Annotation Text
    pre(soft) e != null
    preinit'ed(this.messageNotifier)
    test_vectorthis.messageNotifier: Addr_Set{null}, Inverse{null}

  • 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 run()

    • Kind Annotation Text
    preinit'ed(this.messageTimer)
    presumptionthis.val$timeout*1_000 + java.lang.System:currentTi meMillis(...)@130 in {-9_223_372_036_854_776_058.. 18_446_744_073_709_551_365}
    postinit'ed(this.messageNotifier)
    postinit'ed(this.messageTimer)
    postnew MessageLabel$1$1(run#1) num objects <= 1
    postthis.messageNotifier == this.val$newNotifier
    postthis.messageTimer == One-of{old this.messageTimer, &amp;new MessageLabel$1$1(run#1)}
    unanalyzedcall on java.util.TimerTask
    test_vectorjava.lang.String:equals(...)@121: {1}, {0}
    test_vectorthis.messageTimer: Addr_Set{null}, Inverse{null}

  • void run()

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void setMessage(String)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void setMessage(String, StatusMessageNotifier)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, StatusMessageNotifier, int)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, String)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, String, StatusMessageNotifier)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@86 != null
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, String, StatusMessageNotifier, int)

    • Kind Annotation Text
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@103 != null
    test_vectoriconType: Inverse{null}, Addr_Set{null}