Messages

method

com.dmdirc.addons.osd.OsdWindow$1__static_init

method	com.dmdirc.addons.osd.OsdWindow__static_init
post	windows == &new ArrayList(OsdWindow__static_ init#1)
post	new ArrayList(OsdWindow__static_init#1) num objects == 1

method	void com.dmdirc.addons.osd.OsdWindow(String, bool, OsdPlugin)
pre	plugin != null
pre	(soft) windows != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@94 != null
post	this.config == config
post	init'ed(this.config)
post	this.label == &new JLabel(OsdWindow#5)
post	this.panel == &new JPanel(OsdWindow#1)
post	this.plugin == plugin
post	this.plugin != null
post	new JLabel(OsdWindow#5) num objects == 1
post	new JPanel(OsdWindow#1) num objects == 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 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	void com.dmdirc.addons.osd.OsdWindow(String, bool, int, int, OsdPlugin)
pre	plugin != null
pre	(soft) windows != null
presumption	com.dmdirc.Main:getUI(...)@110 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@126 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@133 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@135 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@149 != null
presumption	init'ed(java.awt.Color.BLACK)
presumption	javax.swing.JLabel:getFont(...)@135 != null
post	this.config == config
post	init'ed(this.config)
post	this.label == &new JLabel(OsdWindow#5)
post	this.panel == &new JPanel(OsdWindow#1)
post	this.plugin == plugin
post	this.plugin != null
post	new JLabel(OsdWindow#5) num objects == 1
post	new JPanel(OsdWindow#1) num objects == 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 java.util.TimerTask
test_vector	config: {0}, {1}

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setFoc usableWindowState(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setAlw aysOnTop(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setRes izable(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setUnd ecorated(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setDef aultCloseOperation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setLoc ation(int, int)

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 Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setCon tentPane(Container)

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:setLay out(LayoutManager)

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 Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:add(Co mponent, Object)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:addMou seMotionListener(MouseMotionListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:addMou seListener(MouseListener)

method

void com.dmdirc.addons.osd.OsdWindow$1(OsdWindow)

method	void run()
pre	(soft) com/dmdirc/addons/osd/OsdWindow.windows != 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 javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove

method	int getYPosition(OsdPlugin)
pre	plugin != null
pre	(soft) windows != null
presumption	com.dmdirc.addons.osd.OsdWindow:getHeight(...)@185 - com.dmdirc.addons.osd.OsdWindow:getY(...)@185 in {-4_294_967_300..2³¹-5}
presumption	com.dmdirc.addons.osd.OsdWindow:getY(...)@178 + com.dmdirc.addons.osd.OsdWindow:getHeight(... )@178 in {-2_147_483_653..2³²-6}
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@169 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@171 != null
presumption	java.util.ArrayList:iterator(...)@176 != null
presumption	java.util.ArrayList:iterator(...)@183 != null
presumption	java.util.Iterator:next(...)@176 != null
presumption	java.util.Iterator:next(...)@183 != null
post	init'ed(return_value)
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
test_vector	com.dmdirc.addons.osd.OsdWindow:isVisible(... )@177: {0}, {1}
test_vector	com.dmdirc.addons.osd.OsdWindow:isVisible(... )@184: {0}, {1}
test_vector	java.lang.String:equals(...)@174: {0}, {1}
test_vector	java.lang.String:equals(...)@181: {0}, {1}
test_vector	java.lang.String:equals(...)@188: {0}, {1}

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 String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on bool com.dmdirc.addons.osd.OsdWindow:isVisi ble()

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

method not available - call not analyzed Info call on int com.dmdirc.addons.osd.OsdWindow:getHeig ht()

method not available - call not analyzed Info call on bool com.dmdirc.addons.osd.OsdWindow:isVisi ble()

method	void closeAll()
pre	(soft) windows != null
presumption	java.util.ArrayList:iterator(...)@200 != null
presumption	java.util.Iterator:next(...)@200 != 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 javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove
test_vector	java.util.Iterator:hasNext(...)@200: {0}, {1}

method	void mouseClicked(MouseEvent)
pre	(soft) windows != 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 javax.swing.JDialog:dispose
unanalyzed	call on java.util.List:remove
test_vector	this.config: {1}, {0}

method	void mousePressed(MouseEvent)
pre	(soft) e != null
presumption	java.awt.event.MouseEvent:getPoint(...)@227 != null
presumption	java.awt.event.MouseEvent:getPoint(...)@228 != null
post	possibly_updated(this.startX)
post	possibly_updated(this.startY)
test_vector	this.config: {0}, {1}

method

void mouseReleased(MouseEvent)

method

void mouseEntered(MouseEvent)

method

void mouseExited(MouseEvent)

method	void mouseDragged(MouseEvent)
pre	e != null
pre	this.startX <= 2³¹
pre	this.startY <= 2³¹
presumption	java.awt.event.MouseEvent:getLocationOnScreen(... )@269 != null

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

method

void mouseMoved(MouseEvent)

method	void setFontSize(int)
pre	this.label != null
presumption	javax.swing.JLabel:getFont(...)@290 != null

method	void setBackgroundColour(String)
pre	this.panel != null

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String)

method	void setForegroundColour(String)
pre	this.label != null

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String)

method	void setVisible(bool)
pre	(soft) windows != null
test_vector	b: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.osd.OsdWindow:transf erFocusBackward()

method	void dispose()
pre	windows != null

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 UIController com.dmdirc.Main:getUI()
	method not available - call not analyzed	Info	call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.osd.OsdWindow:setLay out(LayoutManager)

	method not available - call not analyzed	Info	call on int com.dmdirc.addons.osd.OsdWindow:getY()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.osd.OsdWindow:getHeig ht()