Messages

method

com.dmdirc.addons.osd.OsdCommand__static_init

method	void com.dmdirc.addons.osd.OsdCommand(OsdPlugin)
post	this.plugin == plugin
post	init'ed(this.plugin)

method not available - call not analyzed Info call on void com.dmdirc.commandparser.commands. GlobalCommand()

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

method	bool showOSD(String, String)
pre	this.plugin != null
pre	(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
post	return_value == 1
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 javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
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:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:isVisible
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getY
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getHeight
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.Math:min
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

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Styliser:stipControlCodes(String)

method	void execute(InputWindow, bool, CommandArguments)
pre	args != null
pre	(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
pre	(soft) this.plugin != null
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@74 >= 1
presumption	com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@74 != null
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
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 javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
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:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:isVisible
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getY
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getHeight
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.Math:min
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
test_vector	com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@74: {0}, {1..+Inf}
test_vector	java.lang.String:equalsIgnoreCase(...)@74: {0}, {1}

method not available - call not analyzed Info call on String[] com.dmdirc.commandparser. CommandArguments:getArguments()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. CommandArguments:getArgumentsAsString()

method	String getName()
post	return_value == &"osd"

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"osd --close - closes all OSD windows&#10;osd <message> - show the specified message in an OSD window"

method	AdditionalTabTargets getSuggestions(int, List)
pre	(soft) previousArgs != null
presumption	java.util.List:get(...)@108 != null
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {-2³¹..-1}, {0}, {1..2³²-1}
test_vector	java.lang.String:equals(...)@108: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()