Messages

method

com.dmdirc.FrameContainer$1__static_init

method

com.dmdirc.FrameContainer$IconChanger__static_ init

method	void access$100(FrameContainer)
pre	x0 != null
pre	init'ed(x0.icon)
pre	x0.listeners != null
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

method	com.dmdirc.FrameContainer__static_init
post	init'ed(LOGGER)

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method	void com.dmdirc.FrameContainer(String, ConfigManager)
pre	config != null
presumption	init'ed(java.awt.Color.BLACK)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config == config
post	this.config != null
post	this.icon == icon
post	init'ed(this.icon)
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == java.awt.Color.BLACK
post	init'ed(this.notification)
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

method	void close()
presumption	getFrame(...)@96 != null
presumption	getFrame(...)@99 != null

call too complex - analysis skipped Info call on Window getFrame()

call too complex - analysis skipped Info call on Window getFrame()

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

method	void setIcon(String)
pre	this.config != null
pre	this.listeners != null
post	this.icon == icon
post	init'ed(this.icon)
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

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:remove Listener(ConfigChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method	void iconUpdated()
pre	init'ed(this.icon)
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@131 != null
presumption	java.util.Iterator:next(...)@131 != null
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
test_vector	java.util.Iterator:hasNext(...)@131: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.interfaces.IconChangeListen er:iconChanged(Window, Icon)

method	Icon getIcon()
pre	init'ed(this.icon)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@143 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on IconManager com.dmdirc.ui.IconManager:getIc onManager()

method not available - call not analyzed Info call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

method	ConfigManager getConfigManager()
post	return_value == this.config
post	init'ed(return_value)

method	void activateFrame()
presumption	getFrame(...)@159 != null

call too complex - analysis skipped Info call on Window getFrame()

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

method	void clearNotification()
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@173 != null
presumption	getFrame(...)@166 != null
presumption	init'ed(java.awt.Color.BLACK)
presumption	java.lang.Object:getClass(...)@166 != null
presumption	java.util.Iterator:next(...)@173 != null
presumption	java.util.logging.Logger:getLogger(...)@47 != null
post	this.notification == java.awt.Color.BLACK
post	init'ed(this.notification)
test_vector	java.util.Iterator:hasNext(...)@173: {1}, {0}

call too complex - analysis skipped Info call on String toString()

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.interfaces.NotificationList ener:notificationCleared(Window)

method	void sendNotification(Color)
pre	com/dmdirc/Main.controller != null
pre	(soft) colour != null
pre	(soft) init'ed(this.notification)
pre	(soft) this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@192 != null
presumption	java.util.Iterator:next(...)@192 != null
post	this.notification == One-of{old this.notification, colour}
post	init'ed(this.notification)
test_vector	com.dmdirc.ui.interfaces.UIController:getActiveWind ow(...)@185: Addr_Set{null}, Inverse{null}
test_vector	java.awt.Color:equals(...)@187: {1}, {0}
test_vector	java.lang.Object:equals(...)@187: {1}, {0}

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

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.interfaces.NotificationList ener:notificationSet(Window, Color)

method	Color getNotification()
pre	init'ed(this.notification)
post	return_value == this.notification
post	init'ed(return_value)

method	bool ownsFrame(Window)
presumption	getFrame(...)@215 != null
post	init'ed(return_value)

call too complex - analysis skipped Info call on Window getFrame()

method	void windowOpened()
test_vector	this.config: Addr_Set{null}, Inverse{null}
test_vector	getFrame(...)@222: Inverse{null}, Addr_Set{null}

call too complex - analysis skipped Info call on Window getFrame()

method

void windowClosed()

method	void windowActivated()
pre	(soft) this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@251 != null
presumption	getFrame(...)@243 != null
presumption	getServer(...)@259 != null
presumption	java.lang.Object:getClass(...)@243 != null
presumption	java.util.Iterator:next(...)@251 != null
presumption	java.util.logging.Logger:getLogger(...)@47 != null
post	this.notification == One-of{old this.notification, java.awt.Color.BLACK}
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on toString
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.NotificationListener: notificationCleared
test_vector	getFrame(...)@246: Inverse{null}, Addr_Set{null}
test_vector	getServer(...)@258: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@251: {1}, {0}

call too complex - analysis skipped Info call on String toString()

call too complex - analysis skipped Info call on Window getFrame()

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.interfaces.SelectionListene r:selectionChanged(Window)

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

method	void windowDeactivated()
presumption	getFrame(...)@267 != null
presumption	java.lang.Object:getClass(...)@267 != null
presumption	java.util.logging.Logger:getLogger(...)@47 != null

call too complex - analysis skipped Info call on String toString()

call too complex - analysis skipped Info call on Window getFrame()

method	void addLine(String, Object[])
presumption	getFrame(...)@280 != null
test_vector	getFrame(...)@279: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on Window getFrame()

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:addLine(String, Object[])

method	void addLine(StringBuffer, Object[])
presumption	getFrame(...)@293 != null
test_vector	getFrame(...)@292: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on Window getFrame()

call too complex - analysis skipped Info call on Window getFrame()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:addLine(StringBuffer, Object[])

method	void addNotificationListener(NotificationListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeNotificationListener(NotificationListen er)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void addSelectionListener(SelectionListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeSelectionListener(SelectionListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void addIconChangeListener(IconChangeListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void removeIconChangeListener(IconChangeListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method

void com.dmdirc.FrameContainer$IconChanger(FrameCo ntainer)

method

void com.dmdirc.FrameContainer$IconChanger(FrameCo ntainer, FrameContainer$1)

method	void configChanged(String, String)
pre	init'ed(this.icon)
pre	this.listeners != null
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

	call too complex - analysis skipped	Info	call on Window getFrame()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. Window:close()

	method not available - call not analyzed	Info	call on IconManager com.dmdirc.ui.IconManager:getIc onManager()
	method not available - call not analyzed	Info	call on Icon com.dmdirc.ui.IconManager:getIcon(Stri ng)

	call too complex - analysis skipped	Info	call on String toString()
	call too complex - analysis skipped	Info	call on Window getFrame()