PingHistoryPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.lagdisplay.PingHistoryPanel(LagDisplayPlugin)

    • Kind Annotation Text
    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
    postinit'ed(this.maximum)
    postthis.history != null
    postthis.plugin != null
    postthis.plugin == plugin
    test_vectorjava.util.Iterator:hasNext(...)@77: {0}, {1}

  • com.dmdirc.addons.lagdisplay.PingHistoryPanel__static_init

    • Kind Annotation Text

  • void paint(Graphics)

    • Kind Annotation Text
    pre(float) (this.maximum) != +0
    pre(soft) this.plugin != null
    preg != null
    preinit'ed(this.maximum)
    prethis.history != 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}