TextPanePageUpAction.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.textpane.canvas.textPane != null
    preinit'ed(this.textpane.canvas.scrollBarPosition)
    prethis.textpane != null
    prethis.textpane.canvas != null
    prethis.textpane.scrollBar != null
    postthis.textpane.canvas.scrollBarPosition <= 4_294_967_285
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
    unanalyzedcall on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
    unanalyzedcall on javax.swing.JScrollBar:getValue
    unanalyzedcall on javax.swing.JScrollBar:setValue
    unanalyzedcall on setScrollBarPosition

  • void com.dmdirc.addons.ui_swing.textpane.TextPanePageUpAction(TextPane)

    • Kind Annotation Text
    postinit'ed(this.textpane)
    postthis.textpane == textpane

  • com.dmdirc.addons.ui_swing.textpane.TextPanePageUpAction__static_init

    • Kind Annotation Text