| Kind |
Annotation Text |
| pre | value != null |
| pre | value.type != null |
| presumption | init'ed(java.awt.Color.BLACK) |
| presumption | init'ed(java.awt.Color.GRAY) |
| presumption | init'ed(java.awt.Color.WHITE) |
| presumption | java.awt.Font:deriveFont(...)@60 != null |
| presumption | javax.swing.JLabel:getFont(...)@60 != null |
| post | return_value != null |
| post | return_value == this |
| unanalyzed | call on com.dmdirc.updater.UpdateChecker:getCompone nts |
| unanalyzed | call on com.dmdirc.updater.UpdateComponent:getName |
| unanalyzed | call on java.lang.Enum:toString |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:replace |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.util.List:iterator |