| method | void com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel(JList, PreferencesCategory, int, int) |
| pre | category != null |
| pre | parentList != null |
| presumption | (int) (net.miginfocom.layout.UnitValue:getValue(... )@52*3/2) in {-231..232-1} |
| presumption | com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:getFont(...)@81 != null |
| presumption | com.dmdirc.config.prefs.PreferencesCategory:getPath (...)@91 != null |
| presumption | com.dmdirc.config.prefs.PreferencesCategory:getSubc ats(...)@93 != null |
| presumption | init'ed(java.awt.Color.GRAY) |
| presumption | init'ed(java.awt.Color.LIGHT_GRAY) |
| presumption | java.util.Iterator:next(...)@93 != null |
| presumption | net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@52 != null |
| presumption | (int) (net.miginfocom.layout.UnitValue:getValue(... )@52*3/2) + java.lang.Math:max(...)@81 in {-231..232-1} |
| post | this.category == category |
| post | this.category != null |
| post | this.index == index |
| post | init'ed(this.index) |
| post | init'ed(this.padding) |
| post | this.parentList == parentList |
| post | this.parentList != null |
| unanalyzed | call on javax.swing.SwingWorker |
| test_vector | com.dmdirc.config.prefs.PreferencesCategory:getPare nt(...)@76: Addr_Set{null}, Inverse{null} |
| test_vector | com.dmdirc.config.prefs.PreferencesCategory:isInlin e(...)@94: {1}, {0} |
| test_vector | java.lang.String:equals(...)@91: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@93: {0}, {1} |