ParamModePanel.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.checkBox != null
    prethis.textField != null
    test_vectorjavax.swing.JCheckBox:isSelected(...)@114: {0}, {1}

  • void com.dmdirc.addons.ui_swing.components.ParamModePanel(String, bool, String, ConfigManager)

    • Kind Annotation Text
    preconfigManager != null
    postinit'ed(this.mode)
    postinit'ed(this.originalValue)
    postnew JCheckBox(ParamModePanel#10) num objects == 1
    postnew ValidatingJTextField(ParamModePanel#11) num objects == 1
    postthis.checkBox == &new JCheckBox(ParamModePanel# 10)
    postthis.mode == thisMode
    postthis.originalValue == value
    postthis.textField == &new ValidatingJTextField(Par amModePanel#11)
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@85: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@74: {0}, {1}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@85: {0}, {1}
    test_vectorstate: {1}, {0}

  • com.dmdirc.addons.ui_swing.components.ParamModePanel__static_init

    • Kind Annotation Text

  • Component getCheckboxComponent()

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

  • String getMode()

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

  • String getModeName()

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

  • bool getState()

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

  • String getValue()

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

  • Component getValueComponent()

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