| Kind |
Annotation Text |
| pre | e != null |
| presumption | init'ed(com.dmdirc.logger.ErrorLevel.LOW) |
| presumption | init'ed(java.awt.datatransfer.DataFlavor. stringFlavor) |
| presumption | java.awt.Toolkit:getDefaultToolkit(...)@73 != null |
| presumption | java.awt.Toolkit:getDefaultToolkit(...)@80 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@73 != null |
| presumption | java.awt.Toolkit:getSystemClipboard(...)@80 != null |
| presumption | java.awt.datatransfer.Clipboard:getData(...)@80 != null |
| presumption | java.awt.event.ActionEvent:getSource(...)@66 != null |
| test_vector | java.awt.datatransfer.Clipboard:isDataFlavorAvailab le(...)@73: {1}, {0} |