CustomWindow.java

CustomWindow.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
pre	com/dmdirc/Main.controller != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@78 != null
presumption	com.dmdirc.ui.interfaces.UIController:getWindow(... )@83 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	init'ed(this.name)
post	init'ed(this.notification)
post	init'ed(this.title)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == &"custom"
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.name == name
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	this.title == title
post	this.window != null
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator

Kind	Annotation Text
pre	com/dmdirc/Main.controller != null
pre	parent != null
presumption	com.dmdirc.ui.interfaces.UIController:getWindow(... )@63 != null
presumption	com.dmdirc.ui.interfaces.Window:getConfigManager(.. .)@57 != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	init'ed(this.name)
post	init'ed(this.notification)
post	init'ed(this.title)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config != null
post	this.icon == &"custom"
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.name == name
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	this.parent != null
post	this.parent == parent
post	this.title == title
post	this.window != null
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on getFrame
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator

Kind	Annotation Text

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name

Kind	Annotation Text
pre	init'ed(this.parent)
presumption	com.dmdirc.ui.interfaces.Window:getContainer(... )@125 != null
post	init'ed(return_value)

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.title

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.name