Messages

method

com.dmdirc.addons.ui_swing.components.statusbar. MessageLabel$1$1__static_init

method

com.dmdirc.addons.ui_swing.components.statusbar. MessageLabel$1__static_init

method

com.dmdirc.addons.ui_swing.components.statusbar. MessageLabel__static_init

method	StatusMessageNotifier access$002(MessageLabel, StatusMessageNotifier)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.messageNotifier == return_value

method	TimerTask access$100(MessageLabel)
pre	x0 != null
pre	init'ed(x0.messageTimer)
post	return_value == x0.messageTimer
post	init'ed(return_value)

method	TimerTask access$102(MessageLabel, TimerTask)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.messageTimer == return_value

method

void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:addMouseListener(MouseListen er)

method	void setMessage(String)
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on setMessage
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void setMessage(String, StatusMessageNotifier)
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void setMessage(String, String)
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void setMessage(String, String, StatusMessageNotif ier)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@86 != null
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

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

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void setMessage(String, StatusMessageNotifier, int)
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void setMessage(String, String, StatusMessageNotif ier, int)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@103 != null
test_vector	iconType: Inverse{null}, Addr_Set{null}

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	void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel$1(MessageLabel, Icon, String, StatusMessageNotifier, int)
post	this.val$icon == Param_2
post	init'ed(this.val$icon)
post	this.val$newMessage == Param_3
post	init'ed(this.val$newMessage)
post	this.val$newNotifier == Param_4
post	init'ed(this.val$newNotifier)
post	this.val$timeout == Param_5
post	init'ed(this.val$timeout)

method	void run()
pre	init'ed(this.messageTimer)
presumption	this.val$timeout*1_000 + java.lang.System:currentTi meMillis(...)@130 in {-9_223_372_036_854_776_058.. 18_446_744_073_709_551_365}
post	this.messageNotifier == this.val$newNotifier
post	init'ed(this.messageNotifier)
post	this.messageTimer == One-of{old this.messageTimer, &new MessageLabel$1$1(run#1)}
post	init'ed(this.messageTimer)
post	new MessageLabel$1$1(run#1) num objects <= 1
unanalyzed	call on java.util.TimerTask
test_vector	this.messageTimer: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@121: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setIcon(Icon)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:getWidth()

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing. UIUtilities:clipStringifNeeded(JComponent, String, int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setText(String)

method

void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel$1$1(MessageLabel$1)

method	void run()
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on setMessage
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void clearMessage()
post	this.messageNotifier == null
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on setMessage
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void mouseClicked(MouseEvent)
pre	init'ed(this.messageNotifier)
pre	(soft) e != null
test_vector	this.messageNotifier: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. StatusMessageNotifier:clickReceived(int, int)

method

void mousePressed(MouseEvent)

method

void mouseReleased(MouseEvent)

method

void mouseEntered(MouseEvent)

method

void mouseExited(MouseEvent)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	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 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 not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:getWidth()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing. UIUtilities:clipStringifNeeded(JComponent, String, int)
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setText(String)