Messages

method

com.dmdirc.addons.ui_swing.components.statusbar. SwingStatusBar$2__static_init

method

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

method

com.dmdirc.addons.ui_swing.components.statusbar. SwingStatusBar__static_init

method	UpdaterLabel access$000(SwingStatusBar)
pre	x0 != null
post	return_value == x0.updateLabel
post	init'ed(return_value)

method	ErrorPanel access$100(SwingStatusBar)
pre	x0 != null
post	return_value == x0.errorPanel
post	init'ed(return_value)

method	InviteLabel access$200(SwingStatusBar)
pre	x0 != null
post	return_value == x0.inviteLabel
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar(SwingController, MainFrame)
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@71 != null
post	this.controller == controller
post	init'ed(this.controller)
post	this.errorPanel.controller == this.controller
post	this.errorPanel == &new ErrorPanel(SwingStatusB ar#2)
post	this.inviteLabel == &new InviteLabel(SwingStatu sBar#4)
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.errorPanel.mainFrame == this.mainFrame
post	this.inviteLabel.mainFrame == this.mainFrame
post	this.updateLabel.mainFrame == this.mainFrame
post	this.messageLabel == &new MessageLabel(SwingSta tusBar#1)
post	this.updateLabel == &new UpdaterLabel(SwingStat usBar#3)
post	new ErrorPanel(SwingStatusBar#2) num objects == 1
post	new InviteLabel(SwingStatusBar#4) num objects == 1
post	new JLabel(ErrorPanel#1) num objects == 1
post	new JLabel(InviteLabel#1) num objects == 1
post	new JMenuItem(ErrorPanel#3) num objects == 1
post	new JMenuItem(ErrorPanel#4) num objects == 1
post	new JMenuItem(InviteLabel#4) num objects == 1
post	new JMenuItem(InviteLabel#6) num objects == 1
post	new JPopupMenu(ErrorPanel#2) num objects == 1
post	new JPopupMenu(InviteLabel#3) num objects == 1
post	new MapList(InviteLabel#2) num objects == 1
post	new MessageLabel(SwingStatusBar#1) num objects == 1
post	new UpdaterLabel(SwingStatusBar#3) num objects == 1
post	this.errorPanel.dismiss == &new JMenuItem(ErrorPanel#3)
post	this.errorPanel.errorManager != null
post	this.errorPanel.label == &new JLabel(ErrorPanel #1)
post	this.errorPanel.menu == &new JPopupMenu(ErrorPa nel#2)
post	this.errorPanel.show == &new JMenuItem(ErrorPan el#4)
post	this.errorPanel.statusBar == this
post	this.errorPanel.statusBar != null
post	this.inviteLabel.accept == &new JMenuItem(InviteLabel#6)
post	init'ed(this.inviteLabel.activeFrame)
post	init'ed(this.inviteLabel.activeServer)
post	init'ed(this.inviteLabel.dialog)
post	this.inviteLabel.dismiss == &new JMenuItem(InviteLabel#4)
post	this.inviteLabel.inviteList == &new MapList(InviteLabel#2)
post	this.inviteLabel.label == &new JLabel(InviteLab el#1)
post	this.inviteLabel.menu == &new JPopupMenu(Invite Label#3)
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setText
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.MessageLabel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.UpdaterLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.UpdaterLabel:addMouseListener
unanalyzed	call on com.dmdirc.updater.UpdateChecker:addListene r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.UpdaterLabel:setVisible
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorCoun t
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel:setVisible
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on com.dmdirc.logger.ErrorManager:addErrorList ener
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.Server:addInviteListener
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setVisible
unanalyzed	call on closeDialog
unanalyzed	call on refreshDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setBorder
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on initContent
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on java.util.Collection:size
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on java.awt.Point:translate
unanalyzed	call on java.awt.Window:getLocationOnScreen
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.lang.Math:max
unanalyzed	call on java.lang.Math:min
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:setLayout(LayoutManager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:add(Component, Object)

method	void setMessage(String)
pre	this.messageLabel != 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 setMessage(String, StatusMessageNotifier)
pre	this.messageLabel != 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 setMessage(String, String)
pre	this.messageLabel != 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 setMessage(String, String, StatusMessageNotif ier)
pre	this.messageLabel != 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 com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t

method	void setMessage(String, StatusMessageNotifier, int)
pre	this.messageLabel != 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	void setMessage(String, String, StatusMessageNotif ier, int)
pre	this.messageLabel != 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	void clearMessage()
pre	this.messageLabel != null
post	this.messageLabel.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 addComponent(StatusBarComponent)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	java.util.Arrays:asList(...)@144 != null
test_vector	java.util.List:contains(...)@144: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on Component[] com.dmdirc.addons.ui_swing. components.statusbar.SwingStatusBar:getComponents()

method	void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar$1(SwingStatusBar, StatusBarComponent)
post	this.val$component == Param_2
post	init'ed(this.val$component)

method

void run()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:remove(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:add(Component, Object)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:validate()

method	void removeComponent(StatusBarComponent)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar$2(SwingStatusBar, StatusBarComponent)
post	this.val$component == Param_2
post	init'ed(this.val$component)

method

void run()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:remove(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:validate()

method	MessageLabel getMessageComponent()
post	return_value == this.messageLabel
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. statusbar.SwingStatusBar:setLayout(LayoutManager)