BrowserPlugin.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
    precom/dmdirc/Main.controller != null
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:add
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:pack
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setIconImage
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setLayout
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setLocationRelativeTo
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setTitle
    unanalyzedcall on com.dmdirc.addons.addonbrowser. DownloaderWindow:setVisible
    unanalyzedcall on com.dmdirc.ui.interfaces.MainWindow:getIcon
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getMa inWindow
    unanalyzedcall on java.lang.Thread
    unanalyzedcall on java.lang.Thread:start
    unanalyzedcall on javax.swing.ImageIcon:getImage
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JProgressBar
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.addonbrowser.BrowserPlugin()

    • Kind Annotation Text
    postthis.loaded == 0

  • com.dmdirc.addons.addonbrowser.BrowserPlugin__static_init

    • Kind Annotation Text

  • void onLoad()

    • Kind Annotation Text
    postthis.loaded == 1

  • void onUnload()

    • Kind Annotation Text
    postthis.loaded == 0

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    pre(soft) manager != null
    preinit'ed(this.loaded)
    presumptionarr$.length@62 <= 232-1
    presumptionarr$.length@66 <= 232-1
    presumptioncom.dmdirc.addons.ui_swing.components.pluginpanel. PluginPanel:getComponents(...)@62 != null
    presumptioncom.dmdirc.config.prefs.PreferencesCategory:getObje ct(...)@61 != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@61 != null
    presumptionjavax.swing.JButton:getActionListeners(...)@66 != null
    presumptionjavax.swing.JButton:getText(...)@63 != null
    test_vectorjava.lang.String:startsWith(...)@63: {0}, {1}
    test_vectorthis.loaded: {0}, {1}