PasteAction.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
    prethis.comp != null

  • void com.dmdirc.addons.ui_swing.actions.PasteAction(JTextComponent)

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

  • com.dmdirc.addons.ui_swing.actions.PasteAction__static_init

    • Kind Annotation Text

  • bool isEnabled()

    • Kind Annotation Text
    prethis.comp != null
    presumptioninit'ed(java.awt.datatransfer.DataFlavor. stringFlavor)
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@73 != null
    presumptionjava.awt.Toolkit:getSystemClipboard(...)@73 != null
    presumptionjava.awt.datatransfer.Clipboard:getContents(... )@73 != null
    postinit'ed(return_value)
    test_vectorjavax.swing.text.JTextComponent:isEditable(... )@72: {0}, {1}
    test_vectorjavax.swing.text.JTextComponent:isEnabled(...)@72: {0}, {1}