method com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow$1__static_init

method com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow$GappedEtchedBorder__static_ini t

method com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow__static_init










method JPanel access$100(StatusbarPopupWindow)
prex0 != null
postreturn_value == x0.parent
postinit'ed(return_value)










method void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow(JPanel, Window)
presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
postthis.parent == parent
postinit'ed(this.parent)
postthis.parentWindow == parentWindow
postinit'ed(this.parentWindow)









  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setDefaultCloseOpera tion(int)











method void setVisible(bool)
pre(soft) this.parent != null
pre(soft) this.parentWindow != null
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getHeight(...)@99 <= 231
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getWidth(...)@100 - (java.awt.Window:getWidth(...)@100 + java.awt.Window:getLocationOnScreen(...).x@100) in {-4_294_967_305..2_147_483_638}
presumptionjavax.swing.JPanel:getWidth(...)@100 + javax.swing.JPanel:getLocationOnScreen(...).x@100 <= com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth(...)@100 + 232
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getWidth(...)@99/2 - javax.swing.JPanel:getWidth(...)@99/2 in {-3_221_225_471..231}
presumptionjava.awt.Window:getLocationOnScreen(...)@100 != null
presumptionjava.awt.Window:getWidth(...)@100 + java.awt.Window:getLocationOnScreen(...).x@100 in {-4_294_967_286..8_589_934_590}
presumptionjavax.swing.JPanel:getLocationOnScreen(...)@100 != null
presumptionjavax.swing.JPanel:getLocationOnScreen(...)@98 != null
presumptionjavax.swing.JPanel:getWidth(...)@100 + javax.swing.JPanel:getLocationOnScreen(...).x@100 in {-232+1..8_589_934_590}
unanalyzedcall on com.dmdirc.Server:getInvites
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.Invite:getChannel
unanalyzedcall on javax.swing.JLabel
unanalyzedcall on javax.swing.JPanel:add
unanalyzedcall on com.dmdirc.Invite:getSource
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on com.dmdirc.Invite:getTimestamp
unanalyzedcall on com.dmdirc.ui.messages.Formatter:formatDura tion
unanalyzedcall on com.dmdirc.logger.ErrorManager:getErrorMana ger
unanalyzedcall on com.dmdirc.logger.ErrorManager:getErrors
unanalyzedcall on com.dmdirc.util.MapList
unanalyzedcall on com.dmdirc.logger.ProgramError:getLevel
unanalyzedcall on com.dmdirc.util.MapList:add
unanalyzedcall on com.dmdirc.logger.ProgramError:getReportSta tus
unanalyzedcall on javax.swing.JLabel:getFont
unanalyzedcall on java.awt.Font:deriveFont
unanalyzedcall on javax.swing.JLabel:setFont
unanalyzedcall on com.dmdirc.logger.ErrorLevel:values
unanalyzedcall on com.dmdirc.util.MapList:containsKey
unanalyzedcall on com.dmdirc.util.MapList:values
unanalyzedcall on java.util.Collection:size
unanalyzedcall on com.dmdirc.logger.ErrorLevel:toString
unanalyzedcall on com.dmdirc.logger.ErrorLevel:getIcon
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on javax.swing.JSeparator
unanalyzedcall on com.dmdirc.logger.ErrorReportStatus:values
unanalyzedcall on com.dmdirc.logger.ErrorReportStatus:toStrin g
unanalyzedcall on javax.swing.border.EtchedBorder
test_vectorb: {0}, {1}









  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)










  method not available - call not analyzedInfocall on Component com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupWindow:add(Compo nent)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setUndecorated(bool)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusableWindowSt ate(bool)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setFocusable(bool)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setResizable(bool)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:pack()










  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getHeight()










  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:getWidth()










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setLocation(Point)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.components. StandardDialog:setVisible(bool)











method void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow$GappedEtchedBorder(S tatusbarPopupWindow)

method void com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow$GappedEtchedBorder(S tatusbarPopupWindow, StatusbarPopupWindow$1)
unanalyzedcall on javax.swing.border.EtchedBorder










method void paintBorder(Component, Graphics, int, int, int, int)
preg != null
preheight >= -231+1
preinit'ed(this.etchType)
prethis.parent != null
prewidth >= -231+1
prex <= 231
prey <= 231
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...). x@143 - javax.swing.JPanel:getLocationOnScreen(... ).x@143 in range
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...). x@145 - (javax.swing.JPanel:getWidth(...)@145 + javax.swing.JPanel:getLocationOnScreen(...). x@145) in range
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...). x@145 - (javax.swing.JPanel:getWidth(...)@145 + javax.swing.JPanel:getLocationOnScreen(...). x@145) in {-232-1..231-2}
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...)@143 != null
presumptioncom.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...)@145 != null
presumptionjavax.swing.JPanel:getLocationOnScreen(...).x@143 - com.dmdirc.addons.ui_swing.components.statusbar. StatusbarPopupWindow:getLocationOnScreen(...). x@143 in {-231..232-1}
presumptionjavax.swing.JPanel:getLocationOnScreen(...)@143 != null
presumptionjavax.swing.JPanel:getLocationOnScreen(...)@145 != null
presumptionjavax.swing.JPanel:getWidth(...)@145 + javax.swing.JPanel:getLocationOnScreen(...).x@145 in {-232+2..8_589_934_590}
test_vectorthis.etchType: {-231..0, 2.. 232-1}, {1}









  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupWindow$GappedEtc hedBorder:getHighlightColor(Component)
  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupWindow$GappedEtc hedBorder:getShadowColor(Component)










  method not available - call not analyzedInfocall on Point com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupWindow:getLocati onOnScreen()










  method not available - call not analyzedInfocall on Point com.dmdirc.addons.ui_swing. components.statusbar.StatusbarPopupWindow:getLocati onOnScreen()