| Kind |
Annotation Text |
| pre | (soft) list != null |
| pre | (soft) value != null |
| pre | this.labelMap != null |
| presumption | com.dmdirc.addons.ui_swing.dialogs.prefs. PreferencesListCellRenderer:getFont(...)@77 != null |
| presumption | com.dmdirc.addons.ui_swing.dialogs.prefs. PreferencesListCellRenderer:getFont(...)@79 != null |
| presumption | java.util.Map:get(...)@74 != null |
| post | return_value != null |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel$IconLoader:execute |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:getBorder |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:getFont |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setBackground |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setBorder |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setForeground |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setPreferredSize |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. CategoryLabel:setToolTipText |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :getIcon |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :getParent |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :getPath |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :getSubcats |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :getTitle |
| unanalyzed | call on com.dmdirc.config.prefs.PreferencesCategory :isInline |
| unanalyzed | call on java.awt.Dimension |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.lang.Math:max |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on javax.swing.BorderFactory:createCompoundBor der |
| unanalyzed | call on javax.swing.BorderFactory:createEmptyBorder |
| unanalyzed | call on javax.swing.BorderFactory:createMatteBorder |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JList:getBackground |
| unanalyzed | call on javax.swing.JList:getForeground |
| unanalyzed | call on javax.swing.SwingWorker |
| unanalyzed | call on net.miginfocom.layout.PlatformDefaults:getU nitValueX |
| unanalyzed | call on net.miginfocom.layout.UnitValue:getValue |
| test_vector | isSelected: {0}, {1} |
| test_vector | java.util.Map:containsKey(...)@71: {1}, {0} |