OsdPlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void categoryDeselected(PreferencesCategory)

    • Kind Annotation Text
    precom/dmdirc/addons/osd/OsdWindow.windows != null
    prethis.osdWindow != null
    presumptioncom.dmdirc.addons.osd.OsdWindow:getLocationOnScreen (...)@132 != null
    presumptioncom.dmdirc.addons.osd.OsdWindow:getLocationOnScreen (...)@133 != null
    postinit'ed(this.x)
    postinit'ed(this.y)
    postthis.osdWindow == null
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on javax.swing.JDialog:dispose

  • void categorySelected(PreferencesCategory)

    • Kind Annotation Text
    pre(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
    preinit'ed(this.x)
    preinit'ed(this.y)
    prethis.backgroundSetting != null
    prethis.fontSizeSetting != null
    prethis.foregroundSetting != null
    postnew JLabel(OsdWindow#5) num objects == 1
    postnew JPanel(OsdWindow#1) num objects == 1
    postnew OsdWindow(categorySelected#1) num objects == 1
    postthis.osdWindow == &new OsdWindow(categorySelect ed#1)
    postthis.osdWindow.config == 1
    postthis.osdWindow.label == &new JLabel(OsdWindow#5 )
    postthis.osdWindow.panel == &new JPanel(OsdWindow#1 )
    postthis.osdWindow.plugin != null
    postthis.osdWindow.plugin == this
    unanalyzedcall on com.dmdirc.Main:getUI
    unanalyzedcall on com.dmdirc.addons.osd.OsdPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:add
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseLis tener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:addMouseMot ionListener
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:pack
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setAlwaysOn Top
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setContentP ane
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setDefaultC loseOperation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setFocusabl eWindowState
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLayout
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setLocation
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setResizabl e
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:setUndecora ted
    unanalyzedcall on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionCo lour
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.interfaces.UIController:getMa inWindow
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on java.awt.Font:deriveFont
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JDialog:setVisible
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:getFont
    unanalyzedcall on javax.swing.JLabel:setFont
    unanalyzedcall on javax.swing.JLabel:setForeground
    unanalyzedcall on javax.swing.JLabel:setHorizontalAlignment
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.border.LineBorder
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.osd.OsdPlugin()

    • Kind Annotation Text

  • com.dmdirc.addons.osd.OsdPlugin__static_init

    • Kind Annotation Text

  • void onLoad()

    • Kind Annotation Text
    postnew OsdCommand(onLoad#1) num objects == 1
    postthis.command == &new OsdCommand(onLoad#1)
    postthis.command.plugin != null
    postthis.command.plugin == this
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. GlobalCommand

  • void onUnload()

    • Kind Annotation Text
    preinit'ed(this.command)

  • void save()

    • Kind Annotation Text
    preinit'ed(this.x)
    preinit'ed(this.y)
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@142 != null
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@143 != null

  • void settingChanged(PreferencesSetting)

    • Kind Annotation Text
    pre(soft) init'ed(this.backgroundSetting)
    pre(soft) init'ed(this.fontSizeSetting)
    pre(soft) init'ed(this.foregroundSetting)
    pre(soft) setting != null
    pre(soft) this.osdWindow.label != null
    pre(soft) this.osdWindow.panel != null
    preinit'ed(this.osdWindow)
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on java.awt.Font:deriveFont
    unanalyzedcall on javax.swing.JLabel:getFont
    unanalyzedcall on javax.swing.JLabel:setFont
    unanalyzedcall on javax.swing.JLabel:setForeground
    unanalyzedcall on javax.swing.JPanel:setBackground
    test_vectorjava.lang.Object:equals(...)@155: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@157: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@159: {0}, {1}
    test_vectorthis.osdWindow: Inverse{null}, Addr_Set{null}

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    premanager != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@82 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@83 != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@116 != null
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. COLOUR)
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
    postinit'ed(this.backgroundSetting)
    postinit'ed(this.fontSizeSetting)
    postinit'ed(this.foregroundSetting)
    postinit'ed(this.x)
    postinit'ed(this.y)