Messages

method

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

method	ErrorManager access$000(ErrorPanel)
pre	x0 != null
post	return_value == x0.errorManager
post	init'ed(return_value)

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

method	ErrorLevel access$102(ErrorPanel, ErrorLevel)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.errorLevel == return_value

method	com.dmdirc.addons.ui_swing.components.statusbar. ErrorPanel__static_init
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@62 != null
post	init'ed(DEFAULT_ICON)

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 ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()

method	void com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel(SwingController, MainFrame, SwingStatusBar)
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@71 != null
post	this.controller == controller
post	init'ed(this.controller)
post	this.dismiss == &new JMenuItem(ErrorPanel#3)
post	this.errorManager != null
post	this.label == &new JLabel(ErrorPanel#1)
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.menu == &new JPopupMenu(ErrorPanel#2)
post	this.show == &new JMenuItem(ErrorPanel#4)
post	this.statusBar == statusBar
post	init'ed(this.statusBar)
post	new JLabel(ErrorPanel#1) num objects == 1
post	new JMenuItem(ErrorPanel#3) num objects == 1
post	new JMenuItem(ErrorPanel#4) num objects == 1
post	new JPopupMenu(ErrorPanel#2) num objects == 1
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
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

method not available - call not analyzed Info call on int com.dmdirc.logger.ErrorManager:getError Count()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.ErrorManager:addErro rListener(ErrorListener)

method	StatusbarPopupWindow getWindow()
post	return_value == &new ErrorPopup(getWindow#1)
post	new ErrorPopup(getWindow#1) num objects == 1
post	return_value.parent == this
post	return_value.parent != null
post	return_value.parentWindow == this.mainFrame
post	init'ed(return_value.parentWindow)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setDefaultCloseOpera tion

method	void clearError()
pre	this.label != null
post	this.errorLevel == null

method	void errorAdded(ProgramError)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void errorDeleted(ProgramError)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method

void errorStatusChanged(ProgramError)

method

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

method

void checkErrors()

method	void run()
pre	this.errorManager != null
pre	(soft) this.label != null
presumption	com.dmdirc.logger.ErrorManager:getErrors(...)@147 != null
presumption	com.dmdirc.logger.ProgramError:getLevel(...)@153 != null
presumption	com.dmdirc.logger.ProgramError:getLevel(...)@155 != null
presumption	java.util.Iterator:next(...)@152 != null
post	init'ed(this.errorLevel)
unanalyzed	call on javax.swing.JLabel:setIcon
test_vector	com.dmdirc.logger.ErrorLevel:moreImportant(... )@153: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@152: {0}, {1}
test_vector	java.util.List:isEmpty(...)@149: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.logger.ErrorManager:getErro rs()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel:setVisible(bool)

method not available - call not analyzed Info call on ErrorLevel com.dmdirc.logger. ProgramError:getLevel()

method not available - call not analyzed Info call on bool com.dmdirc.logger.ErrorLevel:moreImpor tant(ErrorLevel)

method not available - call not analyzed Info call on ErrorLevel com.dmdirc.logger. ProgramError:getLevel()

method not available - call not analyzed Info call on Icon com.dmdirc.logger.ErrorLevel:getIcon()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel:setVisible(bool)

method	bool isReady()
pre	this.statusBar != null
post	init'ed(return_value)

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

method	void mousePressed(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.menu != null
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show

method	void mouseReleased(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.menu != null
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show

method	void mouseEntered(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.menu != null
post	this.dialog != null
post	new ErrorPopup(getWindow#1) num objects <= 1
post	init'ed(new ErrorPopup(getWindow#1).parent)
post	init'ed(new ErrorPopup(getWindow#1).parentWindow)
post	init'ed(new ErrorPopup(getWindow#1).server)
post	new InvitePopup(getWindow#1) num objects <= 1
post	init'ed(new InvitePopup(getWindow#1).parent)
post	possibly_updated(new InvitePopup(getWindow#1). parentWindow)
post	possibly_updated(new InvitePopup(getWindow#1). server)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setDefaultCloseOpera tion
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setForeground
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on openDialog
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on initContent
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on javax.swing.JLabel
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:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.util.MapList:add
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:containsKey
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.JPanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getWindow

method	void mouseExited(MouseEvent)
pre	mouseEvent != null
pre	init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	(soft) this.menu != null
post	this.dialog == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBorder
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setForeground
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
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.Server:getInvites
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on javax.swing.JLabel
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:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.util.MapList:add
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:containsKey
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose

method	void mouseClicked(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.controller != null
pre	(soft) this.menu != null
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on javax.swing.JPopupMenu:show
test_vector	java.awt.event.MouseEvent:getButton(...)@223: {-2³¹..0, 2..2³²-1}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController:showErrorDialog()

method	void checkMouseEvent(MouseEvent)
pre	e != null
pre	(soft) this.menu != null
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@235: {0}, {1}

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) this.controller != null
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@250 != null
presumption	com.dmdirc.logger.ErrorManager:getErrorManager(... )@253 != null
presumption	com.dmdirc.logger.ErrorManager:getErrors(...)@250 != null
test_vector	java.util.Iterator:hasNext(...)@252: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. SwingController:showErrorDialog()

method not available - call not analyzed Info call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()

method not available - call not analyzed Info call on List com.dmdirc.logger.ErrorManager:getErro rs()

method not available - call not analyzed Info call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()

method not available - call not analyzed Info call on void com.dmdirc.logger.ErrorManager:deleteE rror(ProgramError)

	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.logger.ErrorManager:getError Count()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. statusbar.ErrorPanel:setVisible(bool)

	method not available - call not analyzed	Info	call on ErrorLevel com.dmdirc.logger. ProgramError:getLevel()
	method not available - call not analyzed	Info	call on bool com.dmdirc.logger.ErrorLevel:moreImpor tant(ErrorLevel)

	method not available - call not analyzed	Info	call on ErrorManager com.dmdirc.logger. ErrorManager:getErrorManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.logger.ErrorManager:getErro rs()