PasteDialog.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • Window access$000(PasteDialog)

    • Kind Annotation Text
    preinit'ed(x0.parentWindow)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.parentWindow

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@197 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getFocusTraversalPolicy(...)@177 != null
    presumptionjava.awt.FocusTraversalPolicy:getComponentBefore(.. .)@177 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getFocusTraversalPolicy(...)@162 != null
    presumptionjava.awt.FocusTraversalPolicy:getComponentAfter(... )@162 != null

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.infoLabel.sas)
    pre(soft) this.editButton != null
    pre(soft) this.infoLabel != null
    pre(soft) this.parent != null
    pre(soft) this.scrollPane != null
    pre(soft) this.textField != null
    preactionEvent != null
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@225 != null
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getText(...)@226 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@240 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton(...)@251 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@224 != null
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    test_vectorjava.lang.Object:equals(...)@224: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@236: {0}, {1}
    test_vectorjava.lang.Object:equals(...)@251: {0}, {1}
    test_vectorjava.lang.String:isEmpty(...)@225: {1}, {0}

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@209 != null

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$1(PasteDialog, String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$2(PasteDialog, String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$3(PasteDialog, String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$3__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$4(PasteDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$4__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$5(PasteDialog)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog$5__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog(InputTextFrame, String, Window)

    • Kind Annotation Text
    prenewParent != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@97 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@98 != null
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    postinit'ed(this.parentWindow)
    postnew JButton(initComponents#3) num objects == 1
    postnew JScrollPane(initComponents#1) num objects == 1
    postnew SimpleAttributeSet(TextLabel#6) num objects == 1
    postnew TextAreaInputField(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#4) num objects == 1
    postnew TextLabel(initComponents#4).sas == &new SimpleAttributeSet(TextLabel#6)
    postthis.editButton == &new JButton(initComponents# 3)
    postthis.infoLabel == &new TextLabel(initComponents #4)
    postthis.parent != null
    postthis.parent == newParent
    postthis.parentWindow == parentWindow
    postthis.scrollPane == &new JScrollPane(initCompone nts#1)
    postthis.textField == &new TextAreaInputField(initC omponents#2)
    unanalyzedcall on com.dmdirc.WritableFrameContainer:getNumLin es
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:addKeyListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getCommandParser
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getContainer
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setTitle
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.awt.FocusTraversalPolicy
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.ActionMap:put
    unanalyzedcall on javax.swing.InputMap:put
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on javax.swing.JRootPane:getActionMap
    unanalyzedcall on javax.swing.JRootPane:getInputMap
    unanalyzedcall on javax.swing.JRootPane:registerKeyboardActio n
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.JScrollPane:setVisible
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.paste.PasteDialog__static_init

    • Kind Annotation Text

  • void initComponents(String)

    • Kind Annotation Text
    prethis.parent != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@124 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@137 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@138 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@139 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@140 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@141 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getContentPane(...)@142 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@118 != null
    postnew JButton(initComponents#3) num objects == 1
    postnew JScrollPane(initComponents#1) num objects == 1
    postnew SimpleAttributeSet(TextLabel#6) num objects == 1
    postnew TextAreaInputField(initComponents#2) num objects == 1
    postnew TextLabel(initComponents#4) num objects == 1
    postthis.editButton == &new JButton(initComponents# 3)
    postthis.infoLabel == &new TextLabel(initComponents #4)
    postthis.infoLabel.sas == &new SimpleAttributeSet(T extLabel#6)
    postthis.scrollPane == &new JScrollPane(initCompone nts#1)
    postthis.textField == &new TextAreaInputField(initC omponents#2)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.DefaultStyledDocument
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setAlignmen t
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule

  • void initListeners()

    • Kind Annotation Text
    prethis.editButton != null
    prethis.textField != null
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap(...)@189 != null
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap(...)@200 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getCancelButton(...)@150 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getOkButton(...)@149 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@154 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@169 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@184 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@186 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:getRootPane(...)@213 != null
    presumptionjavax.swing.JRootPane:getActionMap(...)@154 != null
    presumptionjavax.swing.JRootPane:getActionMap(...)@169 != null
    presumptionjavax.swing.JRootPane:getInputMap(...)@184 != null
    presumptionjavax.swing.JRootPane:getInputMap(...)@186 != null
    unanalyzedcall on javax.swing.AbstractAction

  • void keyPressed(KeyEvent)

    • Kind Annotation Text

  • void keyReleased(KeyEvent)

    • Kind Annotation Text

  • void keyTyped(KeyEvent)

    • Kind Annotation Text
    pre(soft) init'ed(this.infoLabel.sas)
    prethis.infoLabel != null
    prethis.parent != null
    prethis.textField != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getContainer(...)@263 != null
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.JTextPane:getDocument
    unanalyzedcall on javax.swing.JTextPane:setText
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • void run()

    • Kind Annotation Text
    preinit'ed(this.parentWindow)