InputTextFramePasteAction.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.inputFrame.inputField != null
    prethis.inputFrame != null
    unanalyzedcall on com.dmdirc.WritableFrameContainer:getNumLin es
    unanalyzedcall on com.dmdirc.WritableFrameContainer:sendLine
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getController
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setVisible
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on com.dmdirc.util.ReturnableThread:getObject
    unanalyzedcall on com.dmdirc.util.ReturnableThread:run
    unanalyzedcall on doPaste
    unanalyzedcall on java.awt.Toolkit:getDefaultToolkit
    unanalyzedcall on java.awt.Toolkit:getSystemClipboard
    unanalyzedcall on java.awt.datatransfer.Clipboard:getData
    unanalyzedcall on java.awt.datatransfer.Clipboard:isDataFlavo rAvailable
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on java.lang.String:replace
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread

  • void com.dmdirc.addons.ui_swing.actions.InputTextFramePasteAction(InputTextFrame)

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

  • com.dmdirc.addons.ui_swing.actions.InputTextFramePasteAction__static_init

  • Kind Annotation Text

  • bool isEnabled()

  • Kind Annotation Text
    presumptioninit'ed(java.awt.datatransfer.DataFlavor. stringFlavor)
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@72 != null
    presumptionjava.awt.Toolkit:getSystemClipboard(...)@72 != null
    postinit'ed(return_value)