Last Msg First Msg
























method com.dmdirc.addons.lagdisplay.PingHistoryPanel__ static_init










method void com.dmdirc.addons.lagdisplay.PingHistoryPanel (LagDisplayPlugin)
preplugin != null
presumptioncom.dmdirc.Main:getUI(...)@74 != null
presumptioncom.dmdirc.ServerManager:getServerManager(...)@74 != null
presumptioncom.dmdirc.addons.lagdisplay.LagDisplayPlugin:getHi story(...)@74 != null
presumptioncom.dmdirc.util.RollingList:getList(...)@77 != null
presumptionjava.util.Iterator:next(...)@77 != null
postthis.history != null
postinit'ed(this.maximum)
postthis.plugin == plugin
postthis.plugin != null
test_vectorjava.util.Iterator:hasNext(...)@77: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.addons.lagdisplay. PingHistoryPanel:setMinimumSize(Dimension)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.lagdisplay. PingHistoryPanel:setMaximumSize(Dimension)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.lagdisplay. PingHistoryPanel:setOpaque(bool)










  method not available - call not analyzedInfocall on ServerManager com.dmdirc.ServerManager:getS erverManager()
  method not available - call not analyzedInfocall on UIController com.dmdirc.Main:getUI()
  method not available - call not analyzedInfocall on Window com.dmdirc.ui.interfaces. UIController:getActiveWindow()
  method not available - call not analyzedInfocall on Server com.dmdirc.ServerManager:getServerFr omFrame(Window)
  method not available - call not analyzedInfocall on RollingList com.dmdirc.addons.lagdisplay. LagDisplayPlugin:getHistory(Server)










  method not available - call not analyzedInfocall on List com.dmdirc.util.RollingList:getList()











method void paint(Graphics)
pre(float) (this.maximum) != +0
preg != null
prethis.history != null
preinit'ed(this.maximum)
pre(soft) this.plugin != null
presumption(float) (com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight(...)@95 - 10)/(float) (this.maximum) != +0
presumption(float) (com.dmdirc.addons.lagdisplay. PingHistoryPanel:getWidth(...)@93 - 3)/(float) (1) != +0
presumption(int) ((java.awt.geom.Rectangle2D:getHeight(... )@126/2 + lastY) - 1) in {-231.. 232-1}
presumption(int) (-((float) (java.lang.Long:longValue(... )@109)*((float) (com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight(...)@95 - 10)/(float) (this.maximum)) - (float) (com.dmdirc.addons. lagdisplay.PingHistoryPanel:getHeight(...)@109 - 5))) in {-2_...
presumption(int) (-((java.awt.geom.Rectangle2D:getHeight(... )@123 + 10)/((float) (com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight(...)@95 - 10)/(float) (this.maximum)) - (float) (last1))) in {-231..232-1}
presumption(int) (java.awt.geom.Rectangle2D:getHeight(... )@151) in {-2_147_483_651..232-4}
presumption(int) (java.awt.geom.Rectangle2D:getWidth(... )@121) in {-2_147_483_658..4_294_967_285}
presumption(int) (java.awt.geom.Rectangle2D:getWidth(... )@151) in {-2_147_483_653..232-6}
presumption(int) (java.lang.Math:ceil(...)@122) in {-231..232-1}
presumptioncom.dmdirc.addons.lagdisplay.PingHistoryPanel:getHe ight(...)@88 >= -231+1
presumptioncom.dmdirc.addons.lagdisplay.PingHistoryPanel:getHe ight(...)@89 >= -231+2
presumptioncom.dmdirc.addons.lagdisplay.PingHistoryPanel:getWi dth(...)@89 >= -231+1
presumptioncom.dmdirc.util.RollingList:getList(...)@102 != null
presumptioncom.dmdirc.util.RollingList:getList(...)@93 != null
presumptioninit'ed(java.awt.Color.DARK_GRAY)
presumptionjava.awt.Font:getStringBounds(...)@119 != null
presumptionjava.awt.Graphics:getFont(...)@119 != null
presumptionjava.awt.Graphics:getFont(...)@90 != null
presumptionjava.util.Iterator:next(...)@155 != null
presumptionjava.util.List:get(...)@106 != null
presumptionjava.util.List:get(...)@131 != null
presumptionjava.util.List:get(...)@143 != null
presumptionjava.util.List:size(...)@93 >= -231+1
test_vectorcom.dmdirc.addons.lagdisplay.LagDisplayPlugin:shoul dShowLabels(...)@117: {0}, {1}
test_vectorcom.dmdirc.util.RollingList:isEmpty(...)@97: {0}, {1}
test_vectorjava.awt.Rectangle:intersects(...)@156: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@155: {0}, {1}









  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight()










  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getWidth()










Prev Msg Next Msg
  divide by zero
Low Prob.
check that (float) (1) != +0
  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getWidth()
  method not available - call not analyzedInfocall on List com.dmdirc.util.RollingList:getList()
Prev Msg Next Msg










  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight()










  method not available - call not analyzedInfocall on bool com.dmdirc.util.RollingList:isEmpty()










  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getWidth()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight()










  method not available - call not analyzedInfocall on List com.dmdirc.util.RollingList:getList()










  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getHeight()










  method not available - call not analyzedInfocall on bool com.dmdirc.addons.lagdisplay. LagDisplayPlugin:shouldShowLabels()










  method not available - call not analyzedInfocall on String com.dmdirc.addons.lagdisplay. LagDisplayPlugin:formatTime(Object)










  method not available - call not analyzedInfocall on int com.dmdirc.addons.lagdisplay. PingHistoryPanel:getWidth()