SwingStatusBar.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • UpdaterLabel access$000(SwingStatusBar)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.updateLabel

  • ErrorPanel access$100(SwingStatusBar)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.errorPanel

  • InviteLabel access$200(SwingStatusBar)

    • Kind Annotation Text
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.inviteLabel

  • void addComponent(StatusBarComponent)

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptionjava.util.Arrays:asList(...)@144 != null
    test_vectorjava.util.List:contains(...)@144: {1}, {0}

  • void clearMessage()

    • Kind Annotation Text
    prethis.messageLabel != null
    postthis.messageLabel.messageNotifier == null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void com.dmdirc.addons.ui_swing.components.statusbar.SwingStatusBar$1(SwingStatusBar, StatusBarComponent)

    • Kind Annotation Text
    postinit'ed(this.val$component)
    postthis.val$component == Param_2

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.statusbar.SwingStatusBar$2(SwingStatusBar, StatusBarComponent)

    • Kind Annotation Text
    postinit'ed(this.val$component)
    postthis.val$component == Param_2

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

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.statusbar.SwingStatusBar(SwingController, MainFrame)

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

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

    • Kind Annotation Text

  • MessageLabel getMessageComponent()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.messageLabel

  • void removeComponent(StatusBarComponent)

    • Kind Annotation Text
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)

  • void run()

    • Kind Annotation Text

  • void run()

    • Kind Annotation Text

  • void setMessage(String)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void setMessage(String, StatusMessageNotifier)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void setMessage(String, StatusMessageNotifier, int)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, String)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on setMessage

  • void setMessage(String, String, StatusMessageNotifier)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater

  • void setMessage(String, String, StatusMessageNotifier, int)

    • Kind Annotation Text
    prethis.messageLabel != null
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater