| method | void com.dmdirc.addons.ui_swing.components. ParamModePanel(String, bool, String, ConfigManager) |
| pre | configManager != null |
| post | this.checkBox == &new JCheckBox(ParamModePanel# 10) |
| post | this.mode == thisMode |
| post | init'ed(this.mode) |
| post | this.originalValue == value |
| post | init'ed(this.originalValue) |
| post | this.textField == &new ValidatingJTextField(Par amModePanel#11) |
| post | new JCheckBox(ParamModePanel#10) num objects == 1 |
| post | new ValidatingJTextField(ParamModePanel#11) num objects == 1 |
| unanalyzed | call on javax.swing.UIManager:getLookAndFeel |
| unanalyzed | call on java.lang.Object:getClass |
| unanalyzed | call on java.lang.Class:getName |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.System:getProperty |
| test_vector | state: {1}, {0} |
| test_vector | com.dmdirc.config.ConfigManager:getOptionBool(... )@85: {0}, {1} |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionString(... )@74: {0}, {1} |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionString(... )@85: {0}, {1} |