ValidatingJTextField.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addKeyListener(KeyListener)

    • Kind Annotation Text
    prethis.textField != null

  • void addMouseListener(MouseListener)

    • Kind Annotation Text
    prethis.textField != null

  • void changedUpdate(DocumentEvent)

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.errorIcon != null
    prethis.textField != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled

  • void checkError()

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.errorIcon != null
    prethis.textField != null
    presumptioncom.dmdirc.config.prefs.validator.Validator:validat e(...)@99 != null
    test_vectorjavax.swing.JTextField:isEnabled(...)@98: {0}, {1}

  • void com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField(Validator)

    • Kind Annotation Text
    pre(soft) validator != null
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JTextField(ValidatingJTextField#1) num objects == 1
    postthis.errorIcon == &new JLabel(ValidatingJTextFi eld#1)
    postthis.textField == &new JTextField(ValidatingJTe xtField#1)
    postthis.validator != null
    postthis.validator == validator
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:setLayout
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getDocument
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled
    unanalyzedcall on javax.swing.text.Document:addDocumentListen er
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField(JTextField, Validator)

    • Kind Annotation Text
    pre(soft) validator != null
    pretextField != null
    presumptioncom.dmdirc.ui.IconManager:getIconManager(...)@82 != null
    presumptionjavax.swing.JTextField:getDocument(...)@91 != null
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postthis.errorIcon == &new JLabel(ValidatingJTextFi eld#1)
    postthis.textField != null
    postthis.textField == textField
    postthis.validator != null
    postthis.validator == validator
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled

  • com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField__static_init

    • Kind Annotation Text

  • void copy()

    • Kind Annotation Text
    prethis.textField != null

  • void cut()

    • Kind Annotation Text
    prethis.textField != null

  • Document getDocument()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • Font getFont()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • String getSelectedText()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • int getSelectionEnd()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • int getSelectionStart()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • String getText()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • String getText(int, int)

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • JTextField getTextField()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.textField

  • Validator getValidator()

    • Kind Annotation Text
    preinit'ed(this.validator)
    postinit'ed(return_value)
    postreturn_value == this.validator

  • void insertUpdate(DocumentEvent)

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.errorIcon != null
    prethis.textField != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled

  • bool isEditable()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • void paste()

    • Kind Annotation Text
    prethis.textField != null

  • void removeKeyListener(KeyListener)

    • Kind Annotation Text
    prethis.textField != null

  • void removeMouseListener(MouseListener)

    • Kind Annotation Text
    prethis.textField != null

  • void removeUpdate(DocumentEvent)

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.errorIcon != null
    prethis.textField != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled

  • void replaceSelection(String)

    • Kind Annotation Text
    prethis.textField != null

  • void requestFocus()

    • Kind Annotation Text
    prethis.textField != null

  • bool requestFocusInWindow()

    • Kind Annotation Text
    prethis.textField != null
    postinit'ed(return_value)

  • void select(int, int)

    • Kind Annotation Text
    prethis.textField != null

  • void selectAll()

    • Kind Annotation Text
    prethis.textField != null

  • void setDragEnabled(bool)

    • Kind Annotation Text
    prethis.textField != null

  • void setEditable(bool)

    • Kind Annotation Text
    prethis.textField != null

  • void setEnabled(bool)

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.errorIcon != null
    prethis.textField != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:firePropertyChange
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason
    unanalyzedcall on com.dmdirc.config.prefs.validator. ValidationResponse:isFailure
    unanalyzedcall on com.dmdirc.config.prefs.validator. Validator:validate
    unanalyzedcall on javax.swing.JLabel:isVisible
    unanalyzedcall on javax.swing.JLabel:setToolTipText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JTextField:getText
    unanalyzedcall on javax.swing.JTextField:isEnabled

  • void setSelectionEnd(int)

    • Kind Annotation Text
    prethis.textField != null

  • void setSelectionStart(int)

    • Kind Annotation Text
    prethis.textField != null

  • void setText(String)

    • Kind Annotation Text
    prethis.textField != null

  • void setToolTipText(String)

    • Kind Annotation Text
    prethis.textField != null

  • void setTransferHandler(TransferHandler)

    • Kind Annotation Text
    prethis.textField != null

  • bool validateText()

    • Kind Annotation Text
    pre(soft) this.validator != null
    prethis.textField != null
    presumptioncom.dmdirc.config.prefs.validator.Validator:validat e(...)@119 != null
    postinit'ed(return_value)
    unanalyzedcall on javax.swing.JTextField:getText
    test_vectorjavax.swing.JTextField:isEnabled(...)@118: {0}, {1}