Messages

method

com.dmdirc.CustomWindow__static_init

method	void com.dmdirc.CustomWindow(String, String, Window)
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	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	init'ed(this.name)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.parent == parent
post	this.parent != null
post	this.title == title
post	init'ed(this.title)
post	this.window != null
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList

method not available - call not analyzed Info call on ConfigManager com.dmdirc.ui.interfaces. Window:getConfigManager()

method not available - call not analyzed Info call on Window com.dmdirc.ui.interfaces. UIController:getWindow(FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addWindow( Window, Window)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:open()

method	void com.dmdirc.CustomWindow(String, String)
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	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	init'ed(this.name)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	this.title == title
post	init'ed(this.title)
post	this.window != null
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList

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

method not available - call not analyzed Info call on Window com.dmdirc.ui.interfaces. UIController:getWindow(FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addWindow( Window)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:open()

method	Window getFrame()
pre	init'ed(this.window)
post	return_value == this.window
post	init'ed(return_value)

method	String toString()
post	return_value == this.name
post	init'ed(return_value)

method	void windowClosing()
pre	this.window != null
post	this.parent == null
post	this.window == null

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:removeWind ow(Window)

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

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

call too complex - analysis skipped Info call on Server getServer()

method	String getName()
post	return_value == this.name
post	init'ed(return_value)

method	String getTitle()
post	return_value == this.title
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
	call too complex - analysis skipped	Info	call on Server getServer()