Messages

method

com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupPanel$ToplessEtchedBorder__static_ini t

method

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

method

com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupPanel__static_init

method	StatusbarPopupWindow access$000(StatusbarPopupPane l)
pre	x0 != null
pre	init'ed(x0.dialog)
post	return_value == x0.dialog
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel()
post	this.label == &new JLabel(StatusbarPopupPanel#1 )
post	new JLabel(StatusbarPopupPanel#1) num objects == 1
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	void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel(JLabel)
post	this.label == label
post	init'ed(this.label)

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

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.StatusbarPopupPanel:setLayout(LayoutManag er)

method not available - call not analyzed Info call on Component com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupPanel:add(Compon ent)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:addMouseListener(Mous eListener)

method

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

method

void refreshDialog()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
post	init'ed(this.dialog)
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 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 com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getWindow
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 openDialog()
presumption	this.dialog.parent@110 != null
presumption	this.dialog.parentWindow@110 != 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 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 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 closeDialog()
pre	init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
post	this.dialog == null
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

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

method	void setText(String)
pre	this.label != null

method

void mouseClicked(MouseEvent)

method

void mousePressed(MouseEvent)

method

void mouseReleased(MouseEvent)

method	void mouseEntered(MouseEvent)
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 javax.swing.border.EtchedBorder
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.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
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 not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setForeground(Color)

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

method	void mouseExited(MouseEvent)
pre	init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
post	this.dialog == null
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 com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setForeground(Color)

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

method

void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel$ToplessEtchedBorder()

method	void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel$ToplessEtchedBorder(S tatusbarPopupPanel$1)
unanalyzed	call on javax.swing.border.EtchedBorder

method	void paintBorder(Component, Graphics, int, int, int, int)
pre	g != null
pre	height >= -2³¹+2
pre	init'ed(this.etchType)
pre	width >= -2³¹+2
pre	x <= 2³¹
pre	y <= 2³¹
presumption	init'ed(java.awt.Color.WHITE)
test_vector	this.etchType: {-2³¹..0, 2.. 2³²-1}, {1}

method not available - call not analyzed Info call on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupPanel$ToplessEtc hedBorder:getHighlightColor(Component)

method not available - call not analyzed Info call on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupPanel$ToplessEtc hedBorder:getShadowColor(Component)

	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.StatusbarPopupPanel:setLayout(LayoutManag er)

	method not available - call not analyzed	Info	call on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupPanel$ToplessEtc hedBorder:getHighlightColor(Component)
	method not available - call not analyzed	Info	call on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupPanel$ToplessEtc hedBorder:getShadowColor(Component)