TextPaneCopyAction.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.document != null
    pre(soft) this.textpane.document.lines != null
    preinit'ed(this.textpane.canvas.selection.endLine)
    preinit'ed(this.textpane.canvas.selection.endPos)
    preinit'ed(this.textpane.canvas.selection.startLine)
    preinit'ed(this.textpane.canvas.selection.startPos)
    prethis.textpane != null
    prethis.textpane.canvas != null
    prethis.textpane.canvas.selection != null
    unanalyzedcall on com.dmdirc.ui.messages.Styliser:stipControl Codes
    unanalyzedcall on getLine
    unanalyzedcall on getNumLines
    unanalyzedcall on java.awt.Toolkit:getDefaultToolkit
    unanalyzedcall on java.awt.Toolkit:getSystemClipboard
    unanalyzedcall on java.awt.datatransfer.Clipboard:setContents
    unanalyzedcall on java.awt.datatransfer.StringSelection
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:size

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

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

  • com.dmdirc.addons.ui_swing.textpane.TextPaneCopyAction__static_init

    • Kind Annotation Text