Messages

method

com.dmdirc.addons.ui_swing.components.statusbar. InviteAction__static_init

method

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

method

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

method

com.dmdirc.addons.ui_swing.components.statusbar. InviteLabel__static_init

method	MapList access$000(InviteLabel)
pre	x0 != null
post	return_value == x0.inviteList
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel(MainFrame)
presumption	com.dmdirc.ServerManager:getServerManager(...)@125 != null
presumption	com.dmdirc.ServerManager:getServers(...)@125 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.SERVER_ CONNECTED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.SERVER_ CONNECTERROR)
presumption	init'ed(com.dmdirc.actions.CoreActionType.SERVER_ DISCONNECTED)
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@91 != null
presumption	java.util.Iterator:next(...)@125 != null
presumption	this.dialog.parent@133 != null
presumption	this.dialog.parentWindow@133 != null
post	this.accept == &new JMenuItem(InviteLabel#6)
post	init'ed(this.activeFrame)
post	init'ed(this.activeServer)
post	init'ed(this.dialog)
post	this.dismiss == &new JMenuItem(InviteLabel#4)
post	this.inviteList == &new MapList(InviteLabel#2)
post	this.label == &new JLabel(InviteLabel#1)
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.menu == &new JPopupMenu(InviteLabel#3)
post	new JLabel(InviteLabel#1) num objects == 1
post	new JMenuItem(InviteLabel#4) num objects == 1
post	new JMenuItem(InviteLabel#6) num objects == 1
post	new JPopupMenu(InviteLabel#3) num objects == 1
post	new MapList(InviteLabel#2) num objects == 1
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 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 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.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
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setBorder
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
test_vector	java.util.Iterator:hasNext(...)@125: {0}, {1}

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

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 void com.dmdirc.util.MapList()

method

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

method	void actionPerformed(ActionEvent)
pre	this.inviteList != null
presumption	com.dmdirc.Invite:getServer(...)@104 != null
presumption	com.dmdirc.util.MapList:keySet(...)@101 != null
presumption	java.util.Iterator:next(...)@103 != null
test_vector	java.util.Iterator:hasNext(...)@101: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@103: {0}, {1}

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:keySet()

method not available - call not analyzed Info call on Collection com.dmdirc.util.MapList:values(O bject)

method not available - call not analyzed Info call on Server com.dmdirc.Invite:getServer()

method not available - call not analyzed Info call on void com.dmdirc.Server:removeInvite(Invite)

method

void com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel$2(InviteLabel)

method	void actionPerformed(ActionEvent)
pre	this.inviteList != null
presumption	com.dmdirc.util.MapList:keySet(...)@116 != null
presumption	java.util.Iterator:next(...)@118 != null
test_vector	java.util.Iterator:hasNext(...)@116: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@118: {0}, {1}

method not available - call not analyzed Info call on Set com.dmdirc.util.MapList:keySet()

method not available - call not analyzed Info call on Collection com.dmdirc.util.MapList:values(O bject)

method not available - call not analyzed Info call on void com.dmdirc.Invite:accept()

method not available - call not analyzed Info call on ServerManager com.dmdirc.ServerManager:getS erverManager()

method not available - call not analyzed Info call on List com.dmdirc.ServerManager:getServers()

method not available - call not analyzed Info call on List com.dmdirc.Server:getInvites()

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

method not available - call not analyzed Info call on void com.dmdirc.Server:addInviteListener(In viteListener)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method	StatusbarPopupWindow getWindow()
pre	init'ed(this.activeServer)
pre	init'ed(this.mainFrame)
post	return_value == &new InvitePopup(getWindow#1)
post	new InvitePopup(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)
post	return_value.server == this.activeServer
post	init'ed(return_value.server)
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 popuplateMenu()
pre	this.activeServer != null
pre	this.menu != null
presumption	com.dmdirc.Server:getInvites(...)@150 != null
presumption	java.util.Iterator:next(...)@151 != null
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on javax.swing.AbstractAction
test_vector	java.util.Iterator:hasNext(...)@151: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.Server:getInvites()

method	void update()
pre	init'ed(this.activeFrame)
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	(soft) this.inviteList != null
presumption	com.dmdirc.util.MapList:get(...)@173 != null
post	init'ed(this.activeServer)
post	this.dialog == One-of{old this.dialog, null}
post	init'ed(this.dialog)
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 com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
test_vector	this.activeFrame: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.util.MapList:containsKey(...)@168: {1}, {0}
test_vector	java.util.List:isEmpty(...)@173: {0}, {1}

method not available - call not analyzed Info call on Server com.dmdirc.FrameContainer:getServer( )

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.Server:getInvites()

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

method not available - call not analyzed Info call on void com.dmdirc.Server:addInviteListener(In viteListener)

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

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

method	void inviteReceived(Server, Invite)
pre	init'ed(this.activeFrame)
pre	this.inviteList != null
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
post	init'ed(this.activeServer)
post	this.dialog == One-of{old this.dialog, null}
post	init'ed(this.dialog)
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 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 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.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
test_vector	com.dmdirc.util.MapList:containsKey(...)@185: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

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

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

method	void inviteExpired(Server, Invite)
pre	init'ed(this.activeFrame)
pre	this.inviteList != null
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
post	init'ed(this.activeServer)
post	this.dialog == One-of{old this.dialog, null}
post	init'ed(this.dialog)
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 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 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.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
test_vector	com.dmdirc.util.MapList:containsKey(...)@195: {1}, {0}

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

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

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

method	void processEvent(ActionType, StringBuffer, Object[])
pre	arguments != null
pre	arguments.length >= 1
pre	init'ed(arguments[0])
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	(soft) this.inviteList != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.SERVER_ CONNECTED)
post	this.activeFrame == One-of{old this.activeFrame, arguments[0]}
post	possibly_updated(this.activeServer)
post	this.dialog == One-of{old this.dialog, null}
post	init'ed(this.dialog)
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 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 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.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 com.dmdirc.Server:addInviteListener(In viteListener)

method not available - call not analyzed Info call on void com.dmdirc.Server:removeInviteListener (InviteListener)

method	void mouseClicked(MouseEvent)
pre	this.activeServer != null
pre	this.menu != null
pre	(soft) e != null
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JPopupMenu:removeAll
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JSeparator
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@231: {-2³¹..0}, {1..2³²-1}

method	void com.dmdirc.addons.ui_swing.components. statusbar.InviteAction(Invite)
pre	invite != null
presumption	com.dmdirc.Invite:getSource(...).length@257 >= 1
presumption	com.dmdirc.Invite:getSource(...)@257 != null
post	this.invite == invite
post	this.invite != null

method not available - call not analyzed Info call on String com.dmdirc.Invite:getChannel()

method not available - call not analyzed Info call on String[] com.dmdirc.Invite:getSource()

method	void actionPerformed(ActionEvent)
pre	this.invite != null

method not available - call not analyzed Info call on void com.dmdirc.Invite:accept()

method	String toString()
pre	this.invite != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method not available - call not analyzed Info call on String com.dmdirc.Invite:getChannel()

method not available - call not analyzed Info call on String[] com.dmdirc.Invite:getSource()

	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 Server com.dmdirc.Invite:getServer()
	method not available - call not analyzed	Info	call on void com.dmdirc.Server:removeInvite(Invite)

	method not available - call not analyzed	Info	call on ServerManager com.dmdirc.ServerManager:getS erverManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.ServerManager:getServers()

	method not available - call not analyzed	Info	call on List com.dmdirc.Server:getInvites()
	method not available - call not analyzed	Info	call on void com.dmdirc.util.MapList:add(Object, Collection)

	method not available - call not analyzed	Info	call on String com.dmdirc.Invite:getChannel()
	method not available - call not analyzed	Info	call on String[] com.dmdirc.Invite:getSource()