| Kind |
Annotation Text |
| pre | list != null |
| pre | value != null |
| presumption | com.dmdirc.Topic:getTime(...)@72 in {-9_223_372_036_854_775..18_446_744_073_709_551} |
| post | return_value != null |
| post | return_value == this |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI |
| unanalyzed | call on java.awt.Font:getFamily |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on javax.swing.JTextPane |
| unanalyzed | call on javax.swing.JTextPane:getDocument |
| unanalyzed | call on javax.swing.JTextPane:setText |
| unanalyzed | call on javax.swing.UIManager:getFont |
| unanalyzed | call on javax.swing.plaf.basic.BasicTextPaneUI |
| unanalyzed | call on javax.swing.text.DefaultStyledDocument |
| unanalyzed | call on javax.swing.text.SimpleAttributeSet |
| unanalyzed | call on javax.swing.text.StyleConstants:setAlignmen t |
| unanalyzed | call on javax.swing.text.StyledDocument:setParagrap hAttributes |
| unanalyzed | call on javax.swing.text.html.HTMLDocument:getStyle Sheet |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit |
| unanalyzed | call on javax.swing.text.html.StyleSheet:addRule |
| test_vector | com.dmdirc.Topic:instanceof(...)@66: {0}, {1} |
| test_vector | isSelected: {0}, {1} |