SystrayPlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pree != null
    presumptioncom.dmdirc.Main:getUI(...)@111 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@111 != null
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@110 != null
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@112 != null
    test_vectorjava.lang.String:equals(...)@110: {0}, {1}
    test_vectorjava.lang.String:equals(...)@112: {0}, {1}

  • ValidationResponse checkPrerequisites()

    • Kind Annotation Text
    postnew ValidationResponse(checkPrerequisites#1) num objects <= 1
    postnew ValidationResponse(checkPrerequisites#2) num objects <= 1
    postreturn_value in Addr_Set{&amp;new ValidationRespons e(checkPrerequisites#2),&amp;new ValidationResponse (checkPrerequisites#1)}
    test_vectorjava.awt.SystemTray:isSupported(...)@120: {0}, {1}

  • void com.dmdirc.addons.systray.SystrayPlugin()

    • Kind Annotation Text
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@78 != null
    postnew TrayIcon(SystrayPlugin#4) num objects == 1
    postthis.icon == &amp;new TrayIcon(SystrayPlugin#4)

  • com.dmdirc.addons.systray.SystrayPlugin__static_init

    • Kind Annotation Text

  • void mouseClicked(MouseEvent)

    • Kind Annotation Text
    pree != null
    presumptioncom.dmdirc.Main:getUI(...)@172 != null
    presumptioncom.dmdirc.Main:getUI(...)@173 != null
    presumptioncom.dmdirc.Main:getUI(...)@175 != null
    presumptioncom.dmdirc.Main:getUI(...)@176 != null
    presumptioncom.dmdirc.Main:getUI(...)@177 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@172 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@173 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@175 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@176 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@177 != null
    test_vectorcom.dmdirc.ui.interfaces.MainWindow:isVisible(... )@172: {0}, {1}
    test_vectorjava.awt.event.MouseEvent:getButton(...)@171: {-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 notify(String, String)

    • Kind Annotation Text
    prethis.icon != null
    presumptioninit'ed(java.awt.TrayIcon$MessageType.NONE)
    unanalyzedcall on com.dmdirc.ui.messages.Styliser:stipControl Codes
    unanalyzedcall on java.awt.TrayIcon:displayMessage

  • void notify(String, String, TrayIcon$MessageType)

    • Kind Annotation Text
    prethis.icon != null

  • void onLoad()

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CLIENT_ MINIMISED)
    presumptionjava.awt.SystemTray:getSystemTray(...)@131 != null
    postnew PopupCommand(onLoad#1) num objects <= 1
    postnew PopupCommand(onLoad#1).parent != null
    postnew PopupCommand(onLoad#1).parent == this
    postthis.command == One-of{&amp;new PopupCommand(onLoad #1), old this.command}
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. ServerCommand

  • void onUnload()

    • Kind Annotation Text
    prethis.command != null
    presumptionjava.awt.SystemTray:getSystemTray(...)@143 != null
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:unr egisterCommand

  • void processEvent(ActionType, StringBuffer, Object[])

    • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@229 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@226 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getMainWindow (...)@229 != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.CLIENT_ MINIMISED)
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@226: {0}, {1}

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    premanager != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@161 != null
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)