Messages

method

com.dmdirc.addons.osd.OsdPlugin__static_init

method

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

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void onLoad()
post	this.command == &new OsdCommand(onLoad#1)
post	new OsdCommand(onLoad#1) num objects == 1
post	this.command.plugin == this
post	this.command.plugin != null
unanalyzed	call on com.dmdirc.commandparser.commands. GlobalCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand

method	void onUnload()
pre	init'ed(this.command)

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandManager:unregisterCommand(CommandInfo)

method	void showConfig(PreferencesManager)
pre	manager != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@82 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@83 != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@116 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. COLOUR)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
post	init'ed(this.backgroundSetting)
post	init'ed(this.fontSizeSetting)
post	init'ed(this.foregroundSetting)
post	init'ed(this.x)
post	init'ed(this.y)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String)

method not available - call not analyzed Info call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on PreferencesSetting com.dmdirc.config.prefs. PreferencesSetting:registerChangeListener(SettingCh angeListener)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(String, String, String, String, Map)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addChangeListener(CategoryChang eListener)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesManager:registerSaveListener(Preferences Interface)

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

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method	void categoryDeselected(PreferencesCategory)
pre	com/dmdirc/addons/osd/OsdWindow.windows != null
pre	this.osdWindow != null
presumption	com.dmdirc.addons.osd.OsdWindow:getLocationOnScreen (...)@132 != null
presumption	com.dmdirc.addons.osd.OsdWindow:getLocationOnScreen (...)@133 != null
post	this.osdWindow == null
post	init'ed(this.x)
post	init'ed(this.y)
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove

method not available - call not analyzed Info call on Point com.dmdirc.addons.osd. OsdWindow:getLocationOnScreen()

method	void save()
pre	init'ed(this.x)
pre	init'ed(this.y)
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@142 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@143 != null

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, int)

method	void settingChanged(PreferencesSetting)
pre	init'ed(this.osdWindow)
pre	(soft) setting != null
pre	(soft) init'ed(this.backgroundSetting)
pre	(soft) init'ed(this.fontSizeSetting)
pre	(soft) init'ed(this.foregroundSetting)
pre	(soft) this.osdWindow.label != null
pre	(soft) this.osdWindow.panel != null
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
test_vector	this.osdWindow: Inverse{null}, Addr_Set{null}
test_vector	java.lang.Object:equals(...)@155: {0}, {1}
test_vector	java.lang.Object:equals(...)@157: {0}, {1}
test_vector	java.lang.Object:equals(...)@159: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.config.prefs. PreferencesSetting:getValue()

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()
method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.osd. OsdPlugin:getDomain()
method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, int)