OsdWindow.java

OsdWindow.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void closeAll()

Kind	Annotation Text
pre	(soft) windows != null
presumption	java.util.ArrayList:iterator(...)@200 != null
presumption	java.util.Iterator:next(...)@200 != null
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on javax.swing.JDialog:setVisible
test_vector	java.util.Iterator:hasNext(...)@200: {0}, {1}

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.osd.OsdWindow(String, bool, int, int, OsdPlugin)

Kind	Annotation Text
pre	(soft) windows != null
pre	plugin != 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	init'ed(this.config)
post	new JLabel(OsdWindow#5) num objects == 1
post	new JPanel(OsdWindow#1) num objects == 1
post	this.config == config
post	this.label == &new JLabel(OsdWindow#5)
post	this.panel == &new JPanel(OsdWindow#1)
post	this.plugin != null
post	this.plugin == plugin
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.TimerTask
unanalyzed	call on javax.swing.JDialog:setVisible
test_vector	config: {0}, {1}

void com.dmdirc.addons.osd.OsdWindow(String, bool, OsdPlugin)

Kind	Annotation Text
pre	(soft) windows != null
pre	plugin != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@94 != null
post	init'ed(this.config)
post	new JLabel(OsdWindow#5) num objects == 1
post	new JPanel(OsdWindow#1) num objects == 1
post	this.config == config
post	this.label == &new JLabel(OsdWindow#5)
post	this.panel == &new JPanel(OsdWindow#1)
post	this.plugin != null
post	this.plugin == plugin
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.addons.osd.OsdPlugin:getDomain
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:add
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:addMouseLis tener
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:addMouseMot ionListener
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getHeight
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:getY
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:isVisible
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:pack
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setAlwaysOn Top
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setContentP ane
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setDefaultC loseOperation
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setFocusabl eWindowState
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setLayout
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:setLocation
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:transferFoc usBackward
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getMa inWindow
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.Math:min
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on javax.swing.JDialog
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on javax.swing.JDialog:setVisible
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on javax.swing.JLabel:setHorizontalAlignment
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.border.LineBorder
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.osd.OsdWindow__static_init

Kind	Annotation Text
post	new ArrayList(OsdWindow__static_init#1) num objects == 1
post	windows == &new ArrayList(OsdWindow__static_ init#1)

void dispose()

Kind	Annotation Text
pre	windows != null

int getYPosition(OsdPlugin)

Kind	Annotation Text
pre	(soft) windows != null
pre	plugin != 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 com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on javax.swing.JDialog:setVisible
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}

void mouseClicked(MouseEvent)

Kind	Annotation Text
pre	(soft) windows != null
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on javax.swing.JDialog:setVisible
test_vector	this.config: {1}, {0}

void mouseDragged(MouseEvent)

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

void mouseEntered(MouseEvent)

Kind	Annotation Text

void mouseExited(MouseEvent)

Kind	Annotation Text

void mouseMoved(MouseEvent)

Kind	Annotation Text

void mousePressed(MouseEvent)

Kind	Annotation Text
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}

void mouseReleased(MouseEvent)

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	(soft) com/dmdirc/addons/osd/OsdWindow.windows != null
unanalyzed	call on com.dmdirc.addons.osd.OsdWindow:transferFoc usBackward
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on javax.swing.JDialog:dispose
unanalyzed	call on javax.swing.JDialog:setVisible

void setBackgroundColour(String)

Kind	Annotation Text
pre	this.panel != null

void setFontSize(int)

Kind	Annotation Text
pre	this.label != null
presumption	javax.swing.JLabel:getFont(...)@290 != null

void setForegroundColour(String)

Kind	Annotation Text
pre	this.label != null

void setVisible(bool)

Kind	Annotation Text
pre	(soft) windows != null
test_vector	b: {0}, {1}