| Kind |
Annotation Text |
| pre | (soft) init'ed(value.enable) |
| pre | (soft) init'ed(value.toggle) |
| pre | (soft) value.pi != null |
| pre | (soft) value.theme != null |
| pre | list != null |
| presumption | init'ed(java.awt.Color.BLACK) |
| presumption | init'ed(java.awt.Color.GRAY) |
| presumption | javax.swing.JLabel:getFont(...)@104 != null |
| post | return_value != null |
| post | return_value == this |
| unanalyzed | call on com.dmdirc.plugins.PluginInfo:isLoaded |
| test_vector | isSelected: {0}, {1} |
| test_vector | value.enable: {1}, {0} |
| test_vector | value.toggle ^ com.dmdirc.plugins.PluginInfo:isLoad ed(...)@65: {1}, {0} |