ActionNamePanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addListeners()

    • Kind Annotation Text
    prethis.name != null

  • void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionNamePanel()

    • Kind Annotation Text
    postnew FileNameValidator(initComponents#3) num objects == 1
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JTextField(initComponents#2) num objects == 1
    postnew ValidatingJTextField(initComponents#1) num objects == 1
    postnew ValidatingJTextField(initComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#1). textField == &new JTextField(initComponents#2)
    postnew ValidatingJTextField(initComponents#1). validator == &new FileNameValidator(initCompone nts#3)
    postthis.name == &new ValidatingJTextField(initComp onents#1)
    postthis.originalName == &""
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
    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.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
    unanalyzedcall on com.dmdirc.config.prefs.validator. FileNameValidator
    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.BorderFactory:createTitledBorde r
    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.JPanel
    unanalyzedcall on javax.swing.JTextField
    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.dialogs.actioneditor.ActionNamePanel(String)

    • Kind Annotation Text
    postnew FileNameValidator(initComponents#3) num objects == 1
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JTextField(initComponents#2) num objects == 1
    postnew ValidatingJTextField(initComponents#1) num objects == 1
    postnew ValidatingJTextField(initComponents#1). errorIcon == &new JLabel(ValidatingJTextField#1 )
    postnew ValidatingJTextField(initComponents#1). textField == &new JTextField(initComponents#2)
    postnew ValidatingJTextField(initComponents#1). validator == &new FileNameValidator(initCompone nts#3)
    postthis.name == &new ValidatingJTextField(initComp onents#1)
    postthis.originalName != null
    postthis.originalName == One-of{&"", name}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:addPropertyChangeLi stener
    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.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:getBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setBorder
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. actioneditor.ActionNamePanel:setLayout
    unanalyzedcall on com.dmdirc.config.prefs.validator. FileNameValidator
    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.BorderFactory:createTitledBorde r
    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
    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
    test_vectorname: Inverse{null}, Addr_Set{null}

  • com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionNamePanel__static_init

    • Kind Annotation Text

  • String getActionName()

    • Kind Annotation Text
    prethis.name != null
    prethis.name.textField != null
    postinit'ed(return_value)
    unanalyzedcall on javax.swing.JTextField:getText

  • bool hasNameChanged()

    • Kind Annotation Text
    prethis.name != null
    prethis.name.textField != null
    presumptionjavax.swing.JTextField:getText(...)@272 != null
    postinit'ed(return_value)
    unanalyzedcall on javax.swing.JTextField:getText

  • void initComponents()

    • Kind Annotation Text
    postnew FileNameValidator(initComponents#3) num objects == 1
    postnew JLabel(ValidatingJTextField#1) num objects == 1
    postnew JTextField(initComponents#2) num objects == 1
    postnew ValidatingJTextField(initComponents#1) num objects == 1
    postthis.name == &new ValidatingJTextField(initComp onents#1)
    postthis.name.errorIcon == &new JLabel(ValidatingJT extField#1)
    postthis.name.textField == &new JTextField(initComp onents#2)
    postthis.name.validator == &new FileNameValidator(i nitComponents#3)
    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 layoutComponents()

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

  • void propertyChange(PropertyChangeEvent)

    • Kind Annotation Text
    preevt != null

  • void setActionName(String)

    • Kind Annotation Text
    prethis.name != null
    prethis.name.textField != null
    unanalyzedcall on javax.swing.JTextField:setText

  • void setEnabled(bool)

    • Kind Annotation Text
    pre(soft) this.name.validator != null
    prethis.name != null
    prethis.name.errorIcon != null
    prethis.name.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
    unanalyzedcall on javax.swing.JTextField:setEnabled

  • void validateName()

    • Kind Annotation Text
    pre(soft) this.name.validator != null
    prethis.name != null
    prethis.name.errorIcon != null
    prethis.name.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