InviteLabel.java

InviteLabel.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

MapList access$000(InviteLabel)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.inviteList

void actionPerformed(ActionEvent)

Kind	Annotation Text
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}

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	this.invite != null

void actionPerformed(ActionEvent)

Kind	Annotation Text
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}

void com.dmdirc.addons.ui_swing.components.statusbar.InviteAction(Invite)

Kind	Annotation Text
pre	invite != null
presumption	com.dmdirc.Invite:getSource(...).length@257 >= 1
presumption	com.dmdirc.Invite:getSource(...)@257 != null
post	this.invite != null
post	this.invite == invite

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.statusbar.InviteLabel(MainFrame)

Kind	Annotation Text
presumption	com.dmdirc.ServerManager:getServerManager(...)@125 != null
presumption	com.dmdirc.ServerManager:getServers(...)@125 != null
presumption	com.dmdirc.ui.IconManager:getIconManager(...)@91 != 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	java.util.Iterator:next(...)@125 != null
presumption	this.dialog.parent@133 != null
presumption	this.dialog.parentWindow@133 != null
post	init'ed(this.activeFrame)
post	init'ed(this.activeServer)
post	init'ed(this.dialog)
post	init'ed(this.mainFrame)
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
post	this.accept == &new JMenuItem(InviteLabel#6)
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	this.menu == &new JPopupMenu(InviteLabel#3)
unanalyzed	call on closeDialog
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.Server:addInviteListener
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setVisible
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:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on initContent
unanalyzed	call on java.awt.Font:deriveFont
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 java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on refreshDialog
test_vector	java.util.Iterator:hasNext(...)@125: {0}, {1}

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

Kind	Annotation Text

StatusbarPopupWindow getWindow()

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

void inviteExpired(Server, Invite)

Kind	Annotation Text
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	init'ed(this.activeFrame)
pre	this.inviteList != null
post	init'ed(this.activeServer)
post	init'ed(this.dialog)
post	this.dialog == One-of{old this.dialog, null}
unanalyzed	call on closeDialog
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.Server:addInviteListener
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on initContent
unanalyzed	call on java.awt.Font:deriveFont
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 java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on refreshDialog
test_vector	com.dmdirc.util.MapList:containsKey(...)@195: {1}, {0}

void inviteReceived(Server, Invite)

Kind	Annotation Text
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	init'ed(this.activeFrame)
pre	this.inviteList != null
post	init'ed(this.activeServer)
post	init'ed(this.dialog)
post	this.dialog == One-of{old this.dialog, null}
unanalyzed	call on closeDialog
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.Server:addInviteListener
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on initContent
unanalyzed	call on java.awt.Font:deriveFont
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 java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on refreshDialog
test_vector	com.dmdirc.util.MapList:containsKey(...)@185: {1}, {0}

void mouseClicked(MouseEvent)

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

void popuplateMenu()

Kind	Annotation Text
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}

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	(soft) this.inviteList != null
pre	arguments != null
pre	arguments.length >= 1
pre	init'ed(arguments[0])
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.SERVER_ CONNECTED)
post	init'ed(this.dialog)
post	possibly_updated(this.activeServer)
post	this.activeFrame == One-of{old this.activeFrame, arguments[0]}
post	this.dialog == One-of{old this.dialog, null}
unanalyzed	call on closeDialog
unanalyzed	call on com.dmdirc.FrameContainer:getServer
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.Server:addInviteListener
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.InviteLabel:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on initContent
unanalyzed	call on java.awt.Font:deriveFont
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 java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:size
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on refreshDialog

String toString()

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

void update()

Kind	Annotation Text
pre	(soft) init'ed(this.dialog)
pre	(soft) this.dialog.parent != null
pre	(soft) this.dialog.parentWindow != null
pre	(soft) this.inviteList != null
pre	init'ed(this.activeFrame)
presumption	com.dmdirc.util.MapList:get(...)@173 != null
post	init'ed(this.activeServer)
post	init'ed(this.dialog)
post	this.dialog == One-of{old this.dialog, null}
unanalyzed	call on com.dmdirc.Invite:getChannel
unanalyzed	call on com.dmdirc.Invite:getSource
unanalyzed	call on com.dmdirc.Invite:getTimestamp
unanalyzed	call on com.dmdirc.Server:getInvites
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated
unanalyzed	call on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzed	call on com.dmdirc.logger.ErrorLevel:toString
unanalyzed	call on com.dmdirc.logger.ErrorLevel:values
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzed	call on com.dmdirc.logger.ErrorManager:getErrors
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:values
unanalyzed	call on com.dmdirc.logger.ProgramError:getLevel
unanalyzed	call on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzed	call on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:values
unanalyzed	call on initContent
unanalyzed	call on java.awt.Font:deriveFont
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 java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:getLocationOnScreen
unanalyzed	call on javax.swing.JPanel:getWidth
unanalyzed	call on javax.swing.JPanel:setBackground
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setForeground
unanalyzed	call on javax.swing.JPanel:setLayout
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.UIManager:getColor
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.util.MapList:containsKey(...)@168: {1}, {0}
test_vector	java.util.List:isEmpty(...)@173: {0}, {1}
test_vector	this.activeFrame: Inverse{null}, Addr_Set{null}